Completing Description Logic Knowledge Bases Using Formal Concept Analysis

Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler

IJCAI 2007 pp. 230-235

doi:10.25368/2022.155 /ijcai/2007/baader2007ijcai-completing/

Abstract

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 assertional part 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 sense.

PDF IJCAI Semantic Scholar

Cite

Text

Baader et al. "Completing Description Logic Knowledge Bases Using Formal Concept Analysis." International Joint Conference on Artificial Intelligence, 2007. doi:10.25368/2022.155

Markdown

[Baader et al. "Completing Description Logic Knowledge Bases Using Formal Concept Analysis." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/baader2007ijcai-completing/) doi:10.25368/2022.155

BibTeX

@inproceedings{baader2007ijcai-completing,
  title     = {{Completing Description Logic Knowledge Bases Using Formal Concept Analysis}},
  author    = {Baader, Franz and Ganter, Bernhard and Sertkaya, Baris and Sattler, Ulrike},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {230-235},
  doi       = {10.25368/2022.155},
  url       = {https://mlanthology.org/ijcai/2007/baader2007ijcai-completing/}
}