Abstract
In this paper we focus on the combination of Description Logics (DLs) and negation-free rules, both expressed in the standard First-Order logic semantics. We propose an algorithm that is sound for every such combination but not complete. Our algorithm uses existing standard reasoning tools for retrieving facts from the DL Knowledge Base with which rules are put together to form a logic program. Rule reasoner is then used for answering queries in this program. We identify the reasons behind the incompleteness and chose a subset which combines restricted DL and rules. This subset consists of DL Horn-\(\mathcal{SHIQ}\) language and rules such that DL predicates are allowed only in the rule bodies and all the rules are DL-safe. A prototype implementation of the reasoning process is also presented. The combination chosen here can express strictly more information in the DL component compared to the well known combination DLP extended using rules.
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
Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics 5(2), 51–53 (2007)
W3c semantic web activity, November 2 (2001)
Kifer, M., Boley, H. (eds.): Rif basic logic dialect, w3c editor’s draft, December 18 (2008)
de Bruijn, J. (ed.): Rif rdf and owl compatibility, w3c editor’s draft, September 22 (2008)
Grau, B.C., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U.: OWL 2: The next step for OWL. Journal of Web Semantics: Science, Services and Agents on the World Wide Web 6(4), 309–322 (2008)
W3C OWL Working Group (eds.): Owl 2 web ontology language, document overview, September 22 (2008)
Levy, A.Y., Rousset, M.-C.: Combining horn rules and description logics in carin. Artif. Intell. 104(1-2), 165–209 (1998)
Rosati, R.: DL+log: Tight integration of description logics and disjunctive datalog, pp. 68–78 (2006)
Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: Al-log: Integrating datalog and description logics. J. Intell. Inf. Syst. 10(3), 227–252 (1998)
Sattler, U., Baader, F.: Number restrictions on complex roles in description logics, a preliminary report. In: Proceedings of the 5th International Conference on the Principles of Knowledge Representation and Reasoning (KR 1996), pp. 328–338 (1996)
Tobies, S., Horrocks, I., Sattler, U.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol. 1705, pp. 161–180. Springer, Heidelberg (1999)
Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: Swrl: A semantic web rule language combining owl and ruleml. W3c member submission, World Wide Web Consortium (2004)
Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: WWW, pp. 48–57 (2003)
Motik, B., Sattler, U., Studer, R.: Query answering for owl-dl with rules. J. Web Sem. 3(1), 41–60 (2005)
Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI, pp. 466–471. Professional Book Center (2005)
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)
Krtözsch, M., Rudolph, S., Hitzler, P.: Complexity boundaries for horn description logics. In: AAAI, pp. 452–457. AAAI Press (2007)
Eiter, T., Gottlob, G., Ortiz, M., Šimkus, M.: Query answering in the description logic horn-. In: Hölldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol. 5293, pp. 166–179. Springer, Heidelberg (2008)
Tessaris, S.: Questions and answers: reasoning and querying in Description Logic. PhD thesis, University of Manchester (2001)
Sagonas, K., Swift, T., Warren, D.S.: Xsb as an efficient deductive database engine. SIGMOD Rec. 23(2), 442–453 (1994)
Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible sroiq. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) KR, pp. 57–67. AAAI Press (2006)
The XSB System, http://xsb.sourceforge.net/xsbsystem.html
EMCL Master Thesis 2008-09, http://www.emcl-study.eu/fileadmin/master_theses/thesis_al.pdf
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Al Manir, M.S. (2011). Towards RIF-OWL Combination: An Effective Reasoning Technique in Integrating OWL and Negation-Free Rules. In: Olken, F., Palmirani, M., Sottara, D. (eds) Rule-Based Modeling and Computing on the Semantic Web. RuleML 2011. Lecture Notes in Computer Science, vol 7018. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24908-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-24908-2_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24907-5
Online ISBN: 978-3-642-24908-2
eBook Packages: Computer ScienceComputer Science (R0)