Abstract
Rules and Ontologies are two parts of the Semantic Web which considerably afford highly adaptable and generic approaches according to their interoperability and unified application. Within this paper we present a proposal and conceptualization of R2RIF, a rule integration plugin for Protégé OWL, aiming to combine ontologies and rules to build appropriate conceptual models for a domain of interest. Hence, this task comes up with several specific topics regarding transformation of different rule languages into one common interoperable W3C Rule-Interchange-Format (RIF), converting domain knowledge within ontologies into Horn Logic axioms and terms, and merging them with semantic compatible RIF rules. Subsumption reasoning and consistency checks of such ontology/rule models deliver expressive domain models. According to transformation and conversion tasks, R2RIF delivers generic algorithms and workflows to be adaptable for different ontology and rule languages.
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
Boley, H., Hallmark, G., Kifer, M., Paschke, A., Polleres, A., Reynolds, D.: RIF Core Dialect. W3C Recommendation (2010), http://www.w3.org/TR/2010/REC-rif-core-20100622/
Davenport, T., Prusak, L.: Working Knowledge. Harvard School Press, Boston (2000)
De Sainte Marie, C., Paschke, A., Hallmark, G.: RIF Production Rule Dialect. W3C Recommendation (2010), http://www.w3.org/TR/rif-prd/
Gerber, A., Van der Merwe, A., Barnard, A.: A Functional Semantic Web Architecture. Springer, Heidelberg (2008)
Gruber, T.: A translation approach to portable ontology specifications. Knowledge Acquisition 5(2), 199–220 (1993), http://ksl-web.standford.edu/KSL_Abstracts/KSL-92-1.html
Guarino, N., Giaretta, P.: Ontologies and Knowledge Bases: Towards a Terminological Clarification. In: Mars, N.I.J. (ed.) Towards Very Large Knowledge Bases: Knowledge Building and Knowledge Sharing, pp. 24–32. ISO Press, Amsterdam (1995)
Horrocks, I., Parsia, B., Patel-Schneider, P.F., Hendler, J.: Semantic Web Architecture: Stack or Two Towers? In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, pp. 37–41. Springer, Heidelberg (2005)
Kifer, M.: Rule Interchange Format: The Framework. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol. 5341, pp. 1–11. Springer, Heidelberg (2008)
Neumayr, B., Grün, K., Schrefl, M.: Multi-Level Domain Modeling with M-Objects and M-Relationships. In: Proceedings of the 6th Asia-Pacific Conference on Conceptual Modeling (APPCM 2009), vol. 96, pp. 107–116. Australian Computer Scoiety, Darlinghurst (2009)
Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML (May 2004), W3C Member Submission, http://www.w3.org/Submission/SWRL/
Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logics. In: Proc. Twelfth International World Wide Web Conference (WWW 2003), pp. 48–57 (2003)
Patel-Schneider, P.F., Hayes, P., Horrocks, I., van Harmelen, F.: OWL Web Ontology Language; Semantics and Abstract Syntax, W3C Candidate Recommendation (2002), http://www.w3.org/TR/owl-semantics/
Hustadt, U.: Do we need the closed-world assumption in knowledge representation. In: Baader, F., Buchheit, M., Jeusfeld, M., Nutt, W. (eds.) Working Notes of the KI 1994 Workshop: Reasoning about Structured Objects: Knowledge Representation Meets Databases (KRDB 1994). Document, vol. D-94-11, pp. 24–26. DFKI (1994)
Etzioni, O., Golden, K., Weld, D.: Tractable Closed World Reasoning with Updates. In: Proc. KR 2004 (1994)
Bertino, E., Provetti, A., Salvetti, F.: Local Closed-World Assumptions for reasoning about Semantic Web data. In: APPIA-GULP-PRODE 2003, pp. 314–323 (2003)
Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. Journal of Web Semantics 3(1), 41–60 (2005)
Kifer, M., Lausen, G., Wu, J.: Logical Foundations of Object-Oriented and Frame-Based Languages. J. ACM 42(4), 741–843 (1995)
Chirico, U.: JIProlog 3, Reference Manual (2007), http://www.ugosweb.com/Download/JIPrologRefManual.pdf
Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. J. Web Sem. 5(2), 51–53 (2007)
Song Dong, J., Hung Lee, C., Beng Lee, H., Yuan Fang, L., Wang, H.H.: A combined approach to checking web ontologies. In: WWW 2004, pp. 712–714 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pomarolli, A., Anderlik, S., Küng, J. (2012). R2RIF - Rule Integration Plugin for Protégé OWL. In: Moreno-Díaz, R., Pichler, F., Quesada-Arencibia, A. (eds) Computer Aided Systems Theory – EUROCAST 2011. EUROCAST 2011. Lecture Notes in Computer Science, vol 6927. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27549-4_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-27549-4_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-27548-7
Online ISBN: 978-3-642-27549-4
eBook Packages: Computer ScienceComputer Science (R0)