Big Chemical Encyclopedia

Chemical substances, components, reactions, process design ...

Articles Figures Tables About

Knowledge representation language

Baader F. A formal definition for expressive power of knowledge representation languages. In Proceedings of the 9th European Conference on Artificial Intelligence, ECAI-90, Stockholm, Sweden, 1990, p. 53-58. [Pg.752]

MacGregor, R. and Bates, R., The LOOM Knowledge Representation Language, Tech. Report RS-87-188, Information Sciences Institute, University of Southern California, Los Angeles, CA, 1987. [Pg.59]

Knowledge machine (KM) is a frame-based knowledge representation langnage similar to KRL and other KL-ONE representation languages such as Loom and CLASSIC [13-15], In KM, a frame denotes either a class (i.e., type) or an instance (i.e., individual). Frames have slots, or binary predicates, in which the fillers are axioms about the slot s value. These axioms have both declarative and procedural semantics, allowing for procedural inference. [Pg.51]

Abstract. This article describes our current work on the combination of an ontology-based knowledge representation and formal analysis procedures. We use formalized system engineering knowledge and partial architectural information (induced by a set of requirements) to formalize natural language requirements and to identify inconsistencies based on this formahzation. Our analysis combines requirements specified by patterns and an ontology-based product breakdown structure. As an example, we identify inconsistencies between Mean Time Between Failure (MTBF) specifications of systems and their subsystems. [Pg.108]


See other pages where Knowledge representation language is mentioned: [Pg.49]    [Pg.59]    [Pg.455]    [Pg.353]    [Pg.27]    [Pg.53]    [Pg.54]    [Pg.58]    [Pg.60]    [Pg.62]    [Pg.74]    [Pg.78]    [Pg.109]    [Pg.150]    [Pg.49]    [Pg.59]    [Pg.455]    [Pg.353]    [Pg.27]    [Pg.53]    [Pg.54]    [Pg.58]    [Pg.60]    [Pg.62]    [Pg.74]    [Pg.78]    [Pg.109]    [Pg.150]    [Pg.138]    [Pg.240]    [Pg.749]    [Pg.642]    [Pg.28]    [Pg.210]    [Pg.248]    [Pg.134]    [Pg.143]    [Pg.5]    [Pg.14]    [Pg.49]    [Pg.53]    [Pg.148]    [Pg.160]    [Pg.456]    [Pg.218]    [Pg.1184]    [Pg.114]    [Pg.245]    [Pg.121]    [Pg.129]    [Pg.241]    [Pg.1275]    [Pg.60]    [Pg.75]    [Pg.110]    [Pg.286]   
See also in sourсe #XX -- [ Pg.49 ]




SEARCH



Knowledge representation

Language Representation

© 2024 chempedia.info