- AutorIn
- Franz Baader Institute for Theoretical Computer Science TU Dresden
- Bernhard GanterInstitute for Algebra TU Dresden
- Ulrike SattlerDepartment of Computer Science University of Manchester
- Barış Sertkaya
- Titel
- Completing Description Logic Knowledge Bases using Formal Concept Analysis
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-793483
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 06-02
- Erstveröffentlichung
- 2006
- DOI
- https://doi.org/10.25368/2022.155
- Abstract (EN)
- 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.
- Freie Schlagwörter (DE)
- Subsumtion, formale Begriffsanalyse, Beschreibungslogik
- Freie Schlagwörter (EN)
- subsumption, formal concept analysis, description logic
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 136
- Publizierende Institution
- Technische Universität Dresden, Dresden
- Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-793483
- Veröffentlichungsdatum Qucosa
- 16.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0