Sciweavers

DLOG
2009
13 years 9 months ago
Concept Projection in Algebras for Computing Certain Answer Descriptions
Jeffrey Pound, David Toman, Grant E. Weddell, Jiew...
DLOG
2009
13 years 9 months ago
OntoComP System Description
Abstract. We describe OntoComP, a Prot
Baris Sertkaya
DLOG
2009
13 years 9 months ago
A Comparison of Query Rewriting Techniques for DL-lite
Héctor Pérez-Urbina, Boris Motik, Ia...
DLOG
2009
13 years 9 months ago
Soundness Preserving Approximation for TBox Reasoning in R
Abstract. TBox reasoning in description logics is hard. For example, reasoning in SROIQ (i.e. OWL2-DL) is N2EXPTIME-complete; even with R, a fragment of SROIQ supporting ALC GCIs a...
Yuan Ren, Jeff Z. Pan, Yuting Zhao
DLOG
2009
13 years 9 months ago
Importing Ontologies with Hidden Content
Bernardo Cuenca Grau, Boris Motik
DLOG
2009
13 years 9 months ago
OWL Reasoning in the Real World: Searching for Godot
I will provide an overview of many of the use cases that we looked at to apply OWL ABox reasoning in the real world. The fields we covered included (a) healthcare, and life science...
Kavitha Srinivas
DLOG
2009
13 years 9 months ago
A Conflict-based Operator for Mapping Revision
Ontology matching is one of the key research topics in the field of the Semantic Web. There are many matching systems that generate mappings between different ontologies either aut...
Guilin Qi, Qiu Ji, Peter Haase
DLOG
2009
13 years 9 months ago
A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics
Least Common Subsumers (LCS) have been proposed in Description Logics (DL) to capture the commonalities between two or more concepts.
Francesco M. Donini, Simona Colucci, Tommaso Di No...
DLOG
2009
13 years 9 months ago
Algebraic Tableau Algorithm for ALCOQ
Jocelyne Faddoul, Volker Haarslev, Ralf Mölle...
DLOG
2009
13 years 9 months ago
Axiom Pinpointing is Hard
Rafael Peñaloza, Baris Sertkaya