Completing Description Logic Knowledge Bases using Formal Concept Analysis

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Completing Description Logic Knowledge Bases using Formal Concept Analysis

Franz BaaderFranz Baader,  Bernhard GanterBernhard Ganter,  Ulrike SattlerUlrike Sattler,  Baris SertkayaBaris Sertkaya
Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya
Completing Description Logic Knowledge Bases using Formal Concept Analysis
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-06-02, 2006. LTCS-Report
  • 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 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.
  • Bemerkung: Note: See http://lat.inf.tu-dresden.de/research/reports.html.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@techreport{ BGSS-LTCS-06-02,
  address = {Germany},
  author = {Franz {Baader} and Bernhard {Ganter} and Ulrike {Sattler} and Baris {Sertkaya}},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {LTCS-06-02},
  title = {Completing Description Logic Knowledge Bases using Formal Concept Analysis},
  type = {LTCS-Report},
  year = {2006},
}