Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-24776
Titel: Terminological cycles in KL-ONE-based knowledge representation languages
Verfasser: Baader, Franz
Sprache: Englisch
Erscheinungsjahr: 1990
Quelle: Kaiserslautern ; Saarbrücken : DFKI, 1990
SWD-Schlagwörter: Künstliche Intelligenz
Terminologische Sprache
DDC-Sachgruppe: 004 Informatik
Dokumentart : Report (Bericht)
Kurzfassung: Cyclic definitions are often prohibited in terminological knowledge representation languages, because, from a theoretical point of view, their semantics is not clear and, from a practical point of view, existing inference algorithms may go astray in the presence of cycles. In this paper we consider terminological cycles in a very small KL-ONE-based language. For this language, the effect of the three types of semantics introduced by Nebel (1987, 1989, 1989a) can be completely described with the help of finite automata. These descriptions provide a rather intuitive understanding of terminologies with cyclic definitions and give insight into the essential features of the respective semantics. In addition, one obtains algorithms and complexity results for subsumption determination. The results of this paper may help to decide what kind of semantics is most appropriate for cyclic definitions, not only for this small language, but also for extended languages. As it stands, the greatest fixed-point semantics comes off best. The characterization of this semantics is easy and has an obvious intuitive interpretation. Furthermore, important constructs--such as value-restriction with respect to the transitive or reflexive-transitive closure of a role--can easily be expressed.
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-35492
hdl:20.500.11880/24832
http://dx.doi.org/10.22028/D291-24776
Schriftenreihe: Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x]
Band: 90-01
SciDok-Publikation: 4-Mär-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_01_1.pdf19,41 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.