Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-40255
Titel: Subsumption Algorithms for Some Attributive Concept Description Languages
VerfasserIn: Hollunder, Bernhard
Sprache: Englisch
Erscheinungsjahr: 1989
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: This paper investigates subsumption algorithms for logic-based knowledge representation languages of the KL-ONE family. We amalgamate the attributive concept description language ALC, that contains value restrictions, intersections, unions and complements with number restrictions, role hierarchies (to model the KL-ONE’s roleset differentiation), and Feature Logic, respectively. We show that deciding consistency and subsumption of ALC extended with number restrictions and ALC extended with role hierarchies is PSPACE-complete. Furthermore, for all these languages we give subsumption algorithms.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-402553
hdl:20.500.11880/36264
http://dx.doi.org/10.22028/D291-40255
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 89,16
Datum des Eintrags: 14-Aug-2023
Fakultät: SE - Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professur: SE - Sonstige
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes



Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.