Completing Description Logic Knowledge Bases using Formal Concept Analysis

Franz BaaderFranz Baader, Bernhard GanterBernhard Ganter, Ulrike SattlerUlrike Sattler, Baris SertkayaBaris Sertkaya

Download

Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya
Completing Description Logic Knowledge Bases using Formal Concept Analysis
In Christine {Golbreich} and Aditya {Kalyanpur} and Bijan {Parsia}, eds., Proceedings of the Third International Workshop OWL: Experiences and Directions {(OWLED 2007)}, volume 258, 2007. CEUR-WS

Details
Bibtex

KurzfassungAbstract
We propose an approach for extending both the terminological and the

 assertional part of a Description Logic knowledge base by using
 information provided by the knowledge base and by a domain expert. The use
 of techniques from Formal Concept Analysis ensures that, on the one hand, the
 interaction with the expert is kept to a minimum, and, on the other
 hand, we can show that the extended knowledge base is complete in a

certain, well-defined sense.

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ BGSS07b,
  author = {Franz {Baader} and Bernhard {Ganter} and Ulrike {Sattler} and Baris {Sertkaya}},
  booktitle = {Proceedings of the Third International Workshop OWL: Experiences and Directions {(OWLED 2007)}},
  editor = {Christine {Golbreich} and Aditya {Kalyanpur} and Bijan {Parsia}},
  publisher = {CEUR-WS},
  title = {Completing Description Logic Knowledge Bases using Formal Concept Analysis},
  volume = {258},
  year = {2007},
}