An Approach to Exploring Description Logic Knowledge Bases

From International Center for Computational Logic

Toggle side column

An Approach to Exploring Description Logic Knowledge Bases

Felix DistelFelix Distel
Felix Distel
An Approach to Exploring Description Logic Knowledge Bases
In Barış Sertkaya and Léonard Kwuida, eds., Proceedings of the 8th International Conference on Formal Concept Analysis, (ICFCA 2010), volume 5986 of Lecture Notes in Artificial Intelligence, 209-224, 2010. Springer
  • KurzfassungAbstract
    This paper is the successor to two previous papers published at the ICFCA conference. In the first paper we have shown that in the Description Logics EL and ELgfp , the set of general concept inclusions holding in a finite model always has a finite basis. An exploration formalism that can be used to obtain this basis was presented in the second paper. In this paper we show how this formalism can be modified such that counterexamples to GCIs can be provided in the form of ABox- individuals. In a second part of the paper we examine which description logics can be used for this ABox.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
The final publication is available at Springer.
@inproceedings{ Distel-ICFCA-10b,
  author = {Felix {Distel}},
  booktitle = {Proceedings of the 8th International Conference on Formal Concept Analysis, (ICFCA 2010)},
  editor = {Bar\i{}{\c{s}} {Sertkaya} and L\'eonard {Kwuida}},
  pages = {209--224},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  title = {An Approach to Exploring Description Logic Knowledge Bases},
  volume = {5986},
  year = {2010},
}