Sciweavers

Share
DLOG
2010
8 years 8 months ago
Supporting the Development of Data Wrapping Ontologies (Extended Abstract)
es (Extended Abstract) Lina Lubyte and Sergio Tessaris KRDB Research Centre, Free University of Bozen-Bolzano
Lina Lubyte, Sergio Tessaris
DLOG
2010
8 years 8 months ago
Towards Formal Comparison of Ontology Linking, Mapping and Importing
Multiple distributed and modular ontology representation frameworks have recently appeared. They typically extend Description Logics (DL), with new constructs to represent relation...
Martin Homola, Luciano Serafini
DLOG
2010
8 years 8 months ago
Automata-Based Abduction for Tractable Diagnosis
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 ...
Thomas Hubauer, Steffen Lamparter, Michael Pirker
DLOG
2010
8 years 8 months ago
An Algebraic Approach to Dynamic Epistemic Logic
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...
Prakash Panangaden, Caitlin Phillips, Doina Precup...
DLOG
2010
8 years 8 months ago
Structure Preserving TBox Repair using Defaults
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...
Thomas Scharrenbach, Rolf Grütter, Bettina Wa...
DLOG
2010
8 years 8 months ago
Optimized DL Reasoning via Core Blocking
Birte Glimm, Ian Horrocks, Boris Motik
DLOG
2010
8 years 8 months ago
A Multi-Context System Computing Modalities
Tarek Richard Besold, Bernhard Schiemann
DLOG
2010
8 years 8 months ago
Paraconsistent Description Logics Revisited
Abstract. Inconsistency handling is of growing importance in Knowledge Representation since inconsistencies may frequently occur in an open world. Paraconsistent (or inconsistency-...
Norihiro Kamide
DLOG
2010
8 years 8 months ago
TBox Classification in Parallel: Design and First Evaluation
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...
Mina Aslani, Volker Haarslev
DLOG
2010
8 years 8 months ago
A MapReduce Algorithm for EL+
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...
Raghava Mutharaju, Frederick Maier, Pascal Hitzler
books