LATPub373

PublikationenPublications

• Nach AutorBy Author
  • Franz BaaderFranz Baader
  • Ulrike SattlerUlrike Sattler
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

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
Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), 2007. AAAI Press

• 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{ BGSS07,
  author = {Franz {Baader} and Bernhard {Ganter} and Ulrike {Sattler} and Baris {Sertkaya}},
  booktitle = {Proceedings of the Twentieth International Joint Conference on Artificial Intelligence {(IJCAI-07)}},
  publisher = {AAAI Press},
  title = {Completing Description Logic Knowledge Bases using Formal Concept Analysis},
  year = {2007},
}