A predicate-ordered logic for knowledge representation on the web

Authors:
Yuzhong Qu
Affiliations:
Department of Computer Science and Engineering, Southeast University, Nanjing 210096, PR China
Venue:
Future Generation Computer Systems - Special issue: Semantic grid and knowledge grid: the next-generation web
Year:
2004

Citing 4
Cited 1

An order-sorted logic for knowledge representation systems

Artificial Intelligence
On the relative expressiveness of description logics and predicate logics

Artificial Intelligence
Expressiveness of concept expressions in first-order description logics

Artificial Intelligence
Enabling knowledge representation on the Web by extending RDF schema

Proceedings of the 10th international conference on World Wide Web

Using ontologies to facilitate post-processing of association rules by domain experts

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.