SweetProlog: A System to Integrate Ontologies and Rules

Abstract. This paper describes the design and implementation of SweetProlog, 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.

• Type: Conference
• Year: 2004
• Where: RULEML
• Authors: Loredana Laera, Valentina A. M. Tamma, Trevor J. M. Bench-Capon, Giovanni Semeraro
• Keywords: OWL Ontologies, Prolog Engine, RULEML 2004, Web Rules