2004 | OriginalPaper | Chapter
SweetProlog: A System to Integrate Ontologies and Rules
Authors : Loredana Laera, Valentina Tamma, Trevor Bench-Capon, Giovanni Semeraro
Published in: Rules and Rule Markup Languages for the Semantic Web
Publisher: Springer Berlin Heidelberg
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.