Sciweavers

Share
DLOG
2009
9 years 2 days ago
OntoComP System Description
Abstract. We describe OntoComP, a Prot
Baris Sertkaya
DLOG
2009
9 years 2 days 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
9 years 2 days ago
Importing Ontologies with Hidden Content
Bernardo Cuenca Grau, Boris Motik
DLOG
2009
9 years 2 days 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
9 years 2 days 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
9 years 2 days 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
9 years 2 days ago
Algebraic Tableau Algorithm for ALCOQ
Jocelyne Faddoul, Volker Haarslev, Ralf Mölle...
DLOG
2009
9 years 2 days ago
Axiom Pinpointing is Hard
Rafael Peñaloza, Baris Sertkaya
books