An Entailment Relation for Reasoning on the Web

Abstract

Abstract. Reasoning on the Web is receiving an increasing attention because of emerging fields such as Web adaption and Semantic Web. Indeed, the advanced functionalities striven for in these fields call for reasoning capabilities. Reasoning on the Web, however, is usually done using existing techniques rarely fitting the Web. As a consequence, additional data processing like data conversion from Web formats (e.g. XML or HTML) into some other formats (e.g. classical logic terms and formulas) is often needed and aspects of the Web (e.g. its inherent inconsistency) are neglected. This article first gives requirements for an entailment tuned to reasoning on the Web. Then, it describes how classical logic's entailment can be modified so as to enforce these requirements. Finally, it discusses how the proposed entailment can be used in applying logic programming to reasoning on the Web.

Conceptual logic programs

“…However, consecutively adding the newly acquired knowledge that everybody is actually married with a rule married(X ) ← , will make sure that nobody ever works late according to our current knowledge. This type of nonmonotonicity is one of the main strengths of logic programming paradigms for knowledge representation; it was identified in [10] as one of the requirements on a logic for reasoning on the Web. DLs lack this feature and are monotonic, e.g., one could try to translate the above rule as the DL axiom ¬Married Works_late.…”

A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language

“…The simulation unification algorithm has first been presented at [8]. A declarative semantics in form of a model theory in the style of classical logic is currently being worked on and first results have been published in [9]. A prototype of Xcerpt exists and has been demonstrated at [10].…”

Semantic Web Reasoning with Conceptual Logic Programs

“…Additionally, CLP enables nonmonotonic reasoning on the Semantic Web, identified in [7] as one of the requirements on a logic for reasoning on the Web.…”