A predicate-ordered logic for knowledge representation on the web

摘要

Web ontology languages play an important role in the Semantic Web, and its approach to knowledge representation on the web can be adopted to represent knowledge in the knowledge grid model and system. However, the logic foundation of web ontology languages needs to be further explored. This paper presents a predicate-ordered logic, called Predicate-Ordered Sort-Ordered Logic (POSOL), as a rigid logic framework for knowledge representation on the web. Based on an order-sorted logic for knowledge representation, it introduces a partially ordering on predicates to model the sub-property construct in web ontology languages such as RDFS and OWL. Some structures and properties of the POSOL signature and the POSOL knowledge base are studied. The bridging between the POSOL and the order-sorted logic is given. In addition, it briefly discusses the mappings from RDFS and OWL into POSOL, as well as some usage of POSOL within the knowledge grid model.