Translator Disclaimer
1 March 1991 Logical account of a terminological tool
Author Affiliations +
YAK (Yet Another Krapfen) is a hybrid knowledge representation environment following the tradition of KL-ONE and KRYPTON. In its terminological box (TBOX) concepts and roles are described by means of a language called KFL that, even if inspired to FL-, captures a different set of descriptions, especially allowing the formulation of structured roles, that are aimed to be more adequate for the representational goal. KFL results to have a valid and complete calculus for the notion of subsumption, and a tractable algorithm that realize it is available. In the present paper it is shown how the semantics of a sufficiently significative subset of KFL can be described in terms of standard first order logic semantics. It is so possible to develop a notion of 'relation' between KFL and a full first order logic language formulated ad hoc and usable as formalization of an assertional box (ABOX). We then use this notion to justify the use of the terminological classification algorithm of the TBOX of YAK as part of the deduction machinery of the ABOX. In this way, the whole hybrid environment can take real and consistent advantages both from the TBOX and its tractable classification algorithm, and from the ABOX, and its wider expressive capability.
© (1991) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Paolo Bresciani "Logical account of a terminological tool", Proc. SPIE 1468, Applications of Artificial Intelligence IX, (1 March 1991);


On a concept of computer game implementation based on a...
Proceedings of SPIE (August 07 2017)
The Role of Understanding in Automated Program Synthesis
Proceedings of SPIE (April 05 1985)
Reference And Description In Natural Language
Proceedings of SPIE (March 29 1988)
Hypothetico-deductive diagnoses
Proceedings of SPIE (March 01 1992)

Back to Top