TY  - RPRT
T1  - Hybrid inferences in KL-ONE-based knowledge representation systems
T3  - Kaiserslautern ; Saarbrücken : DFKI, 1990
A1  - Hollunder,Bernhard
Y1  - 2011/04/07
N2  - 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.
KW  - Künstliche Intelligenz
KW  - Terminologische Sprache
CY  - Saarbrücken
PB  - Universitäts- und Landesbibliothek
AD  - Postfach 151141, 66041 Saarbrücken
UR  - http://scidok.sulb.uni-saarland.de/volltexte/2011/3557
ER  -