DLOG
2010
13 years 2 months ago
2010
es (Extended Abstract) Lina Lubyte and Sergio Tessaris KRDB Research Centre, Free University of Bozen-Bolzano
DLOG
2010
13 years 2 months ago
2010
Multiple distributed and modular ontology representation frameworks have recently appeared. They typically extend Description Logics (DL), with new constructs to represent relation...
DLOG
2010
13 years 2 months ago
2010
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...
DLOG
2010
13 years 2 months ago
2010
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...
DLOG
2010
13 years 2 months ago
2010
Unsatisfiable concepts are a major cause for inconsistencies in Description Logics knowledge bases. Popular methods for repairing such concepts aim to remove or rewrite axioms to r...
DLOG
2010
13 years 2 months ago
2010
DLOG
2010
13 years 2 months ago
2010
DLOG
2010
13 years 2 months ago
2010
Abstract. Inconsistency handling is of growing importance in Knowledge Representation since inconsistencies may frequently occur in an open world. Paraconsistent (or inconsistency-...
DLOG
2010
13 years 2 months ago
2010
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
DLOG
2010
13 years 2 months ago
2010
Abstract. Recently, the use of the MapReduce framework for distributed RDF Schema reasoning has shown that it is possible to compute the deductive closure of sets of over a billion...