SciDok

Eingang zum Volltext in SciDok

Lizenz

Report (Bericht) zugänglich unter
URN: urn:nbn:de:bsz:291-scidok-35575
URL: http://scidok.sulb.uni-saarland.de/volltexte/2011/3557/


Hybrid inferences in KL-ONE-based knowledge representation systems

Hollunder, Bernhard

Quelle: (1990) Kaiserslautern ; Saarbrücken : DFKI, 1990
pdf-Format:
Dokument 1.pdf (10.433 KB)

Bookmark bei Connotea Bookmark bei del.icio.us
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

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English