Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-24961
Titel: The complexity of concept languages
Verfasser: Donini, Francesco M.
Lenzerini, Maurizio
Nardi, Daniele
Nutt, Werner
Sprache: Englisch
Erscheinungsjahr: 1995
Quelle: Kaiserslautern ; Saarbrücken : DFKI, 1995
SWD-Schlagwörter: Künstliche Intelligenz
DDC-Sachgruppe: 004 Informatik
Dokumentart : Report (Bericht)
Kurzfassung: The basic feature of Terminological Knowledge Representation Systems is to represent knowledge by means of taxonomies, here called terminologies , and to provide a specialized reasoning engine to do inferences on these structures. The taxonomy is built through a representation language called concept language (or description logic), which is given well-defined set-theoretic semantics. The efficiency of reasoning has often been advocated as a primary motivation for the use of such systems. Deduction methods and computational properties of reasoning problems in concept languages are the subject of this paper. The main contributions of the paper are: (1) a complexity analysis of concept satisfiability and subsumption for a wide class of concept languages; (2) the algorithms for these inferences that comply with the worst-case complexity of the reasoning task they perform.
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-37463
hdl:20.500.11880/25017
http://dx.doi.org/10.22028/D291-24961
Schriftenreihe: Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x]
Band: 95-07
SciDok-Publikation: 30-Jun-2011
Fakultät: Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Fakultät / Institution:SE - Sonstige Einrichtungen

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
RR_95_07.pdf504,01 kBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.