Consistent Hybrid Knowledge Representation in Order-Sorted Logic

Abstract-- We consider a hybrid knowledge representation system for ontological knowledge bases in order to maintain knowledge consistency between taxonomic knowledge and assertional knowledge. We restrict the scope of knowledge into sortal properties (or sorts) because those are fundamental for the purpose of ontologies. Each sort is represented by three characteristics: meta-properties, a set of identity conditions (ICs) and subsumption relation. We provide a Horn-clause calculus extended in order-sorted logic for subsumption consistency checking by using set theoretical inclusion with both IC sets and individuals. We prove the soundness of our sorted calculus in terms of Herbrand model and illustrate the logic system by using a finite number of knowledge bases, given a Kripke frame. Keywords-- subsumption consistency, hybrid knowledge representation, order-sorted logic, Kripke frame, Herbrand model

• Type: Conference
• Year: 2004
• Where: IJIT
• Authors: Nwe Ni Tun, Satoshi Tojo
• Keywords: Artificial Intelligence, Hybrid Knowledge Representation, IJIT 2004, Knowledge Bases, Subsumption Consistency