- Titel
- NExpTime-complete Description Logics with Concrete Domains
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-789022
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 00-01
- Erstveröffentlichung
- 2000
- DOI
- https://doi.org/10.25368/2022.104
- Abstract (EN)
- Aus der Einleitung: „Description logics (DLs) are a family of logical formalisms well-suited for the representation of and reasoning about conceptual knowledge on an abstract logical level. However, for many knowledge representation applications, it is essential to integrate the abstract logical knowledge with knowledge of a more concrete nature. As an example, consider the modeling of manufacturing processes, where it is necessary to represent 'abstract' entities like subprocesses and workpieces and also 'concrete' knowledge, e.g., about the duration of processes and physical dimensions of the manufactured objects [2; 25].”
- Freie Schlagwörter (DE)
- Wissensrepräsentation, Beschreibungslogik, Formalismus
- Freie Schlagwörter (EN)
- knowledge representation and reasoning, description logic, logical formalism
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 136
- Publizierende Institution
- Aachen University of Technology, Aachen
- Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-789022
- Veröffentlichungsdatum Qucosa
- 20.05.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0