论文信息 - The Logical Difference for EL: From Terminologies Towards TBoxes

The Logical Difference for EL: From Terminologies Towards TBoxes

In this paper we are concerned with the logical difference problem between ontologies. The logical difference is the set of subsumption queries that follow from a first ontology but not from a second one. We revisit our solution to logical difference problem for EL-terminologies based on finding simulations between hypergraph representations of the terminologies, and we investigate a possible extension of the method to general EL-TBoxes.

Shasha Feng | Dirk Walther | Michel Ludwig

[1] Dirk Walther,et al. The Logical Difference for ℰℒℋr-Terminologies using Hypergraphs , 2014, ECAI.

[2] Boris Konev,et al. The Logical Difference Problem for Description Logic Terminologies , 2008, IJCAR.

[3] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[4] Ulrike Sattler,et al. The Hybrid µ-Calculus , 2001, IJCAR.

[5] Sebastian Rudolph,et al. ExpExpExplosion: Uniform Interpolation in General EL Terminologies , 2012, ECAI.

[6] Martin Hofmann. Proof-theoretic approach to description-logic , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).

[7] Boris Konev,et al. The Logical Difference for the Lightweight Description Logic EL , 2012, J. Artif. Intell. Res..

[8] Dirk Walther,et al. The Concept Difference for EL-Terminologies using Hypergraphs , 2013, DChanges.

[9] Franz Baader,et al. Pushing the EL Envelope , 2005, IJCAI.

[10] Sebastian Brandt,et al. Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and - What Else? , 2004, ECAI.