A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf
.
SweetProlog: A System to Integrate Ontologies and Rules
[chapter]
2004
Lecture Notes in Computer Science
This paper describes the design and implementation of Sweet-Prolog, a system for translating Web rules into Prolog. It enables the integration of ontologies and rules on the Semantic Web. This is achieved via a translation of OWL ontologies described in Description Logics and rules expressed in OWLRuleML into a set of facts and rules described in Prolog. Finally, the resulting logic program is interrogated by a Prolog engine to deduce new knowledge.
doi:10.1007/978-3-540-30504-0_15
fatcat:k3uwjp2f3zd3do7kgs6g4qpovi