Title: |
Combining a DL Reasoner and a Rule Engine for Improving Entailment-based OWL Reasoning |
Author(s): |
G. Meditskos, N. Bassiliades.
|
Availability: |
Click here to download the PDF (Acrobat Reader) file (16 pages).
|
Keywords: |
|
Appeared in: |
Proc. 7th International Semantic Web Conference (ISWC-2008), 26-30 Oct 2008, Karlsruhe, Germany, Springer, LNCS, Vol. 5318, pp. 277-292, 2008.
|
Abstract: |
We introduce the notion of the mixed DL and entailment-based (DLE) OWL reasoning, defining a framework inspired from the hybrid and homogeneous paradigms for integration of rules and ontologies. The idea is to combine the TBox inferencing capabilities of the DL algorithms and the scalability of the rule paradigm over large ABoxes. Towards this end, we define a framework that uses a DL reasoner to reason over the TBox of the ontology (hybrid-like) and a rule engine to apply a domain-specific version of ABox-related entailments (homogeneous-like) that are generated by TBox queries to the DL reasoner. The DLE framework enhances the entailment-based OWL reasoning paradigm in two directions. Firstly, it disengages the manipulation of the TBox semantics from any incomplete entailment-based approach, using the efficient DL algorithms. Secondly, it achieves faster application of the ABox-related entailments and efficient memory usage, comparing it to the conventional entailment-based approaches, due to the low complexity and the domainspecific nature of the entailments. |
See also : |
DLEJena Web Site
|
This paper has been cited by the following:
1 |
Franz Schenk, “An Active Domain Node Architecture for the Semantic Web”, PhD Thesis, Georg-August-Universitat zu Gottingen, October 2008. |
2 |
Samia Bouarroudj, “Raisonnement sur une ontologie enrichie par des règles SWRL pour la recherché semantique d'images annotees”, MSc thesis, Université 20 Aout 1955 – Skikda, Faculté Des Sciences De L’ingénieur, Département Informatique, Algeria, 2010. |
3 |
Hui Shi, “Adaptive Reasoning for ScienceWeb”, Literature Review and Dissertation Research Proposal, Department of Computer Science, Old Dominion University, Norfolk, USA, May 2011. |
4 |
Bry Francois, Furche Tim, Ley Clemens, Marnette Bruno, Linse Benedikt, Schaffert Sebastian, “Datalog Relaunched: Simulation Unification and Value Invention, Proceedings of the Datalog 2.0 Workshop, 2011. |
5 |
Francisco Javier Lopez Pellicer, "Semantic Linkage Of The Invisible Geospatial Web", PhD Dissertation, Computer Science and Systems Engineering Department, Universidad de Zaragoza, 2011 |
6 |
Luis G. Nardin, Anarosa A.F. Brandao, Jaime S. Sichman, Experiments on semantic interoperability of agent reputation models using the SOARI architecture, Engineering Applications of Artificial Intelligence, In Press, Corrected Proof, Available online 17 June 2011, ISSN 0952-1976, DOI: 10.1016/j.engappai.2011.05.004. |
7 |
Giorgos Stoilos and Bernardo Cuenca Grau, "Repairing Incomplete Reasoners", Proceedings of the 24th International Workshop on Description Logics, July 13–16, 2011, Barcelona, Spain, pp. 411-421. |
8 |
G. Stoilos, B.C. Grau B. Motik, I. Horrocks, "Repairing Ontologies for Incomplete Reasoners", In Proceedings of the 10th International Semantic Web Conference (ISWC 2011). Springer LNCS, Volume 7031, PART 1, 2011, pp. 681-696, 2011. |
9 |
Hui Shi, “Adaptive Reasoning for Semantic Queries”, White Paper, Department of Computer Science, Old Dominion University, Norfolk, USA, May 2011. |
10 |
Gong Xai Ge Wei Yi, “Rule-based reasoning method-oriented semantic Web browser”, Journal of Nanjing Normal University: Engineering and Technology, 2011, Vol. 4, pp. 40-46. |
11 |
Francisco J. López Pellicer, Rubén Béjar, F. Javier Zarazaga Soria, Providing Semantic Links to the Invisible Geospatial Web, 1st Edition, Notes in Geoinformatics Research, Prensas Universitarias de Zaragoza, ISBN 978-84-15538-00-4, 2012. |
12 |
Ovunc Ozturk, Tugba Ozacar, Murat Osman Unal?r, The extension-based inference algorithm for pD*, Data and Knowledge Engineering, Volume 72, February 2012, Pages 172-201, ISSN 0169-023X, 10.1016/j.datak.2011.10.003. |
13 |
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, and Ian Horrocks. Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. J. of Artificial Intelligence Research, 43 (2012) pp. 419–476. |
14 |
Bernardo Cuenca Grau, Ian Horrocks, Markus Krotzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang, "Acyclicity Conditions and their Application to Query Answering in Description Logics", In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012). 2012 |
15 |
Kyung Eun Park, “Collaboration Framework For A Context-Aware Environment With Multi-Device Enabled Applications”, PhD dissertation, Department of Computer and Information Sciences, Towson University, Maryland, USA, December 2012. |
16 |
Chen, L., Zhang, H., Chen, Y., & Guo, W. (2012). Blank Nodes in RDF. Journal Of Software, 7(9), 1993-1999. doi:10.4304/jsw.7.9.1993-1999 |
17 |
B. Cuenca Grau, I. Horrocks, M. Krötzsch, C. Kupke, D. Magka, B. Motik and Z. Wang (2013) "Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies", Volume 47, pages 741-808. |
18 |
Wenge Rong; Rifan Li; Hao Sheng; Yuanxin Ouyang; Zhang Xiong, "Combination of DM and OBDA for Ontology Generation from Relational Database," Dependable, Autonomic and Secure Computing (DASC), 2013 IEEE 11th International Conference on , vol., no., pp.386,393, 21-22 Dec. 2013, doi: 10.1109/DASC.2013.94 |
19 |
Souad Bouaicha, Zizette Boufaida, “Reasoning on Hybrid Ontology Using Extended SWRL Rules”, Journal of Emerging Technologies in Web Intelligence, Vol 6, No 1 (2014), pp. 3-8, Feb 2014. |
20 |
Stoilos, G., “Ontology-based data access using rewriting, OWL 2 RL systems and repairing”, 2014, 8465 LNCS, pp. 317-332. |
21 |
Jaroslaw Bak, Maciej Nowak and Czeslaw Jedrzejek. RuQAR: Reasoning Framework for OWL 2 RL Ontologies. 11th European Semantic Web Conference (ESWC 2014), 2014, Lecture Notes in Computer Science 8798, pp. 195 – 198. |
22 |
J Bąk, M Nowak, C Jędrzejak, “Rule-based reasoning with OWL 2 RL ontologies”, Studia Informatica, Vol 35, No 2, 2014, pp. 111-125. |
23 |
Filip Radulovic, Raúl García-Castro, Asunción Gómez-Pérez, SemQuaRE — An extension of the SQuaRE quality model for the evaluation of semantic technologies, Computer Standards & Interfaces, Volume 38, February 2015, Pages 101-112, ISSN 0920-5489, http://dx.doi.org/10.1016/j.csi.2014.09.001. |
|