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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Antoniou, G.: A nonmonotonic rule system using ontologies. In: Proceedings of the International Workshop on Rule Markup Languages for Business Rules on the Semantic Web (2002)
Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American (2001), http://www.sciam.com/2001/0501issue/0501berners
Boley, H., Tabet, S., Wagner, G.: Design rationale of RuleML: A markup language for semantic web rules. In: International Semantic Web Working Symposium, SWWS (2001)
Clocksin, W.F., Mellish, C.S.: Programing in Prolog. Springer, Berlin (1987)
Dean, M., Schreiber, G., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D., Patel-Schneider, P., Stein, L.: OWL Web Ontology Language Reference, http://www.w3.org/TR/2003/WD-owl-ref-20030331/
Grosof, B.N., Gandhe, M.D., Finin, T.W.: SweetJess: Inferencing in situated courteous ruleml via translation to and from jess rules. Working paper, May 2 (2003), http://ebusiness.mit.edu/bgrosof/
Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proc. of the Twelfth International World Wide Web Conference (WWW 2003), pp. 48–57. ACM, New York (2003)
Grosof, B.N.: Courteous logic programs: Prioritized conflict handling for rules. Technical report, IBM Research Report RC 20836 (December 30, 1997) (revised from May 8, 1997)
Grosof, B.N.: A courteous compiler from generalized courteous logic programs to ordinary logic programs (Preliminary Report). Technical report, IBM T.J. Watson Research Center (July 1999), http://www.research.ibm.com/people/g/grosof/papers.html
Grosof, B.N.: SweetDeal: Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process Descriptions. In: Proceedings of the twelfth international conference on World Wide Web, Budapest, Hungary (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Laera, L., Tamma, V., Bench-Capon, T., Semeraro, G. (2004). SweetProlog: A System to Integrate Ontologies and Rules. In: Antoniou, G., Boley, H. (eds) Rules and Rule Markup Languages for the Semantic Web. RuleML 2004. Lecture Notes in Computer Science, vol 3323. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30504-0_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-30504-0_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23842-3
Online ISBN: 978-3-540-30504-0
eBook Packages: Springer Book Archive