.png){kind=icon}
.png){kind=icon}
Return
A predicate-ordered logic for knowledge representation on the web
.png){kind=icon}
PRE
AI
DOI：10.1016/S0167-739X(03)00161-4.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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. (C) 2003 Published by Elsevier B.V.
Keywords:
knowledge grid
semantic web
knowledge representation
order-sorted logic
predicate-ordered
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
F
IF:
6.1
Papers:
6.8K
Citations:
2.3W
Organization
No organization information available