- Titel
- Exploring finite models in the Description Logic ELgfp
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795091
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 08-05
- Erstveröffentlichung
- 2008
- DOI
- https://doi.org/10.25368/2022.168
- Abstract (EN)
- In a previous ICFCA paper we have shown that, in the Description Logics EL and ELgfp, the set of general concept inclusions holding in a finite model always has a finite basis. In this paper, we address the problem of how to compute this basis efficiently, by adapting methods from formal concept analysis.
- Freie Schlagwörter (DE)
- Subsumtion, Beschreibungslogik, strukturelle Charakterisierung
- Freie Schlagwörter (EN)
- subsumption, description logic, structural characterization
- 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-795091
- Veröffentlichungsdatum Qucosa
- 16.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0