Sciweavers

RULEML
2004
Springer

SweetProlog: A System to Integrate Ontologies and Rules

13 years 9 months ago
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.
Loredana Laera, Valentina A. M. Tamma, Trevor J. M
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where RULEML
Authors Loredana Laera, Valentina A. M. Tamma, Trevor J. M. Bench-Capon, Giovanni Semeraro
Comments (0)