Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-24902
Titel: Augmenting concept languages by transitive closure of roles : an alternative to terminological cycles
Verfasser: Baader, Franz
Sprache: Englisch
Erscheinungsjahr: 1990
Quelle: Kaiserslautern ; Saarbrücken : DFKI, 1990
SWD-Schlagwörter: Künstliche Intelligenz
DDC-Sachgruppe: 004 Informatik
Dokumentart : Report (Bericht)
Kurzfassung: In Baader (1990a, 1990b), we have considered different types of semantics for terminologicial cycles in the concept language FL0 which allows only conjunction of concepts and value restrictions. It turned out that greatest fixed-point semantics (gfp-semantics) seems to be most appropriate for cycles in this language. In the present paper we shall show that the concept defining facilities of FL0 with cyclic definitions and gfp-semantics can also be obtained in a different way. One may replace cycles by role definitions involving union, composition, and transitive closure of roles. This proposes a way of retaining, in an extended language, the pleasant features of gfp-semantics for FL0 with cyclic definitions without running into the troubles caused by cycles in larger languages. Starting with the language ALC of Schmidt-Schauß&Smolka (1988) — which allows negation, conjunction and disjunction of concepts as well as value restrictions and exists-in restrictions — we shall disallow cyclic concept definitions, but instead shall add the possibility of role definitions involving union, composition, and transitive closure of roles. In contrast to other terminological KR-systems which incorporate the transitive closure operator for roles, we shall be able to give a sound and complete algorithm for concept subsumption. Surprisingly, this algorithm can also be used to decide subsumption with respect to concept equations, i.e., arbitrary equational axioms of the form C = D where C and D are concept terms. This is so because concept terms of our extended language can be used to encode finite sets of concept equations.
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-36620
hdl:20.500.11880/24958
http://dx.doi.org/10.22028/D291-24902
Schriftenreihe: Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x]
Band: 90-13
SciDok-Publikation: 27-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_90_13.pdf199,82 kBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.