DLOG 2009 | Sciweavers

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

claim paper

Read More »

28

click to vote

DLOG
2009

78views Automated Reasoning» more DLOG 2009»

Importing Ontologies with Hidden Content

13 years 8 months ago

Download www.comlab.ox.ac.uk

Bernardo Cuenca Grau, Boris Motik

claim paper

Read More »

46

click to vote

DLOG
2009

125views Automated Reasoning» more DLOG 2009»

OWL Reasoning in the Real World: Searching for Godot

13 years 8 months ago

Download dl.kr.org

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

claim paper

Read More »

41

click to vote

DLOG
2009

155views Automated Reasoning» more DLOG 2009»

A Conflict-based Operator for Mapping Revision

13 years 8 months ago

Download web.comlab.ox.ac.uk

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

claim paper

Read More »

30

click to vote

DLOG
2009

95views Automated Reasoning» more DLOG 2009»

A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics

13 years 8 months ago