Abstract
Using rules in conjunction with ontologies is a major challenge for the Semantic Web. We propose a pragmatic approach for reasoning with ontologies and rules, based on the Semantic Web standards and tools currently available. We first achieved an implementation of SWRL, the emerging OWL/RuleML-combining rule standard, using the Protégé OWL plugin. We then developed a Protégé plugin, SWRLJessTab, which enables to compute inferences with the Racer classifier and the Jess inference engine, in order to reason with rules and ontologies, both represented in OWL. A small example, including an OWL ontology and a SWRL rule base, shows that all the domain knowledge, i.e. the SWRL rule base and the OWL ontology, is required to obtain complete inferences. It illustrates that some reasoning support must be provided to interoperate between SWRL and OWL, not only syntactically and semantically, but also inferentially.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, L.D., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference. W3C Working Draft (2003), http://www.w3.org/TR/owl-ref
Boley, H., Tabet, S., Wagner, G.: Design Rationale of RuleML: A Markup Language for Semantic Web Rules. In: International Semantic Web Working Symposium, Stanford, USA (2001)
Dameron, O., Burgun, A., Morandi, X., Gibaud, B.: Modelling dependencies between relations to insure consistency of a cerebral cortex anatomy knowledge base. In: Proceedings of Medical Informatics in Europe (2003)
Dameron, O., Gibaud, B., Musen, M.: Using semantic dependencies for consistency management of an ontology of brain-cortex anatomy. In: KR-MED 2004 (2004)
Eriksson, H.: Using JessTab to Integrate Protege and Jess. IEEE Intelligent Systems 18(2), 43–50 (2003)
Friedman-Hill, E.J.: Jess 6.1 manual. Sandia National Laboratories (2003)
Gennari, J., Musen, M., Fergerson, R., Grosso, W., Crubézy, M., Eriksson, H., Noy, N., Tu, S.: The evolution of Protégé-2000: An environment for knowledge-based systems development. International Journal of Human-Computer Studies 58(1), 89–123 (2003)
Goasdoue, F., Lattes, V., Rousset, M.C.: The Use of Carin Language and Algorithms for Information Integration. The PICSEL System International Journal of Cooperative Information Systems 9(4), 383–401 (2000)
Golbreich, C., Dameron, O., Gibaud, B., Burgun, A.: Web ontology language requirements w.r.t. expressiveness of taxonomy and axioms in medicine. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 180–194. Springer, Heidelberg (2003)
Golbreich, C., Imai, A.: Combining SWRL rules and OWL ontologies with Protégé OWL Plugin, Jess, and RACER. In: 7th International Protégé Conference, Bethesda (2004)
Golbreich, C., Mercier, S.: Construction of the dialysis and transplantation ontology: advantages, limits, and questions about Protégé OWL. In: Workshop on Medical Applications of Protege, 7th International Protégé Conference, Bethesda (2004)
Golbreich, C., Burgun, A.: Biomedical Information Integration, a hot issue. Poster at MEDINFO 2004, San Francisco (2004)
Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proc. 12th Intl. Conf. on the World Wide Web (WWW 2003), Budapest, Hungary, May 20-23 (2003)
Haarslev, V., Möller, R.: Description of the RACER System and its Applications. In: Description Logics 2001 (2001)
Horrocks, I., Patel-Schneider, P., Harold, B., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML. Version 0.5 (November 2003)
Horrocks, I., Patel-Schneider, P.F.: A Proposal for an OWL Rules Language. In: Proceedings International WWW Conference, New York, USA (2004)
Horrocks, I., Sattler, U.: Decidability of SHIQ with Complex Role Inclusion Axioms. In: IJCAI 2003 (2003)
Schmidt-Schauß, M.: Schmidt-Schauß Subsumption in KL-ONE is Undecidable. In: Proc. of KR 1989, pp. 421–431. Morgan Kaufmann, San Francisco (1989)
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
Golbreich, C. (2004). Combining Rule and Ontology Reasoners for the Semantic Web. 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_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-30504-0_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23842-3
Online ISBN: 978-3-540-30504-0
eBook Packages: Springer Book Archive