Completing Description Logic Knowledge Bases Using Formal Concept Analysis

Baader, Franz; Ganter, Bernhard; Sertkaya, Baris; Sattler, Ulrike

Completing Description Logic Knowledge Bases Using Formal Concept Analysis

Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler

Download BibTeX Cite

Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. Pages 230-234.

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 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.

Franz Baader, Bernhard Ganter, Baris Sertkaya, and Ulrike Sattler. 2007. Completing Description Logic Knowledge Bases Using Formal Concept Analysis. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07. IJCAI, 230–234. https://ijcai.org/proceedings/2007/35

@inproceedings{ijcai2007p35,
  title     = {Completing Description Logic Knowledge Bases Using Formal Concept Analysis},
  author    = {Baader, Franz and Ganter, Bernhard and Sertkaya, Baris and Sattler, Ulrike},
  booktitle = {Proceedings of the Twentieth International Joint Conference on
               Artificial Intelligence, {IJCAI-07}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Ramon López de Mántaras},
  pages     = {230--234},
  year      = {2007},
  url       = {https://ijcai.org/proceedings/2007/35},
}

TY  - CPAPER
TI  - Completing Description Logic Knowledge Bases Using Formal Concept Analysis
AU  - Baader, Franz
AU  - Ganter, Bernhard
AU  - Sertkaya, Baris
AU  - Sattler, Ulrike
T2  - Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2007
SP  - 230
EP  - 234
UR  - https://ijcai.org/proceedings/2007/35
ER  -