Eingang zum Volltext in SciDok
Lizenz
Report (Bericht) zugänglich unter
Hybrid inferences in KL-ONE-based knowledge representation systems
URN: urn:nbn:de:bsz:291-scidok-35575
URL: http://scidok.sulb.uni-saarland.de/volltexte/2011/3557/
Quelle:
(1990) Kaiserslautern ; Saarbrücken : DFKI, 1990
pdf-Format:
Dokument 1.pdf (10.433 KB)
SWD-Schlagwörter:
Künstliche Intelligenz , Terminologische Sprache
Institut:
DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
DDC-Sachgruppe:
Informatik
Dokumentart:
Report (Bericht)
Schriftenreihe:
Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x]
Bandnummer:
90-06
Sprache:
Englisch
Erstellungsjahr:
1990
Publikationsdatum:
07.04.2011
Kurzfassung auf Englisch:
We investigate algorithms for hybrid inferences in KL-ONE-based knowledge representation systems. Those systems employ two kinds of formalisms: the terminological and the assertional formalism. The terminological formalism consists of a concept description language to define concepts and relations between concepts for describing a terminology. On the other hand, the assertional formalism allows to introduce objects, which are instances of concepts and relations of a terminology. We present algorithms for hybrid inferences such as
* determining subsumption between concepts
* checking the consistency of such a knowledge base
* computing the most specialized concepts an object is instance of
* computing all objects that are instances of a certain concept.
Lizenz:
Standard-Veröffentlichungsvertrag