Abstract
In this paper, we focus on the impact of ontology changes on production rules, in the context of rule programs written over the entities of OWL ontologies. Then, ontology evolutions may make rules inconsistent with respect to the knowledge modeled by the ontology. To address this problem, we propose to combine two approaches: the syntactic approach of the \(\mathcal{M}{\rm odel}\)-\(\mathcal{D}{\rm etect}\)-\(\mathcal{R}{\rm epair}\) (\({\mathcal{MDR}}\)) method, and a semantic approach based on a formal description of production rules and rule program inconsistencies. The present paper shows on simple use cases the expected benefits of such a combination, which relies on existing implementations.
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., Damásio, C.V., Grosof, B., Horrocks, I., Kifer, M., Maluszynski, J., Patel-Schneider, P.F.: Combining rules and ontologies: a survey. Technical Report IST506779/Linköping/I3-D3/D/PU/a1, Linköping University (2005), http://rewerse.net/publications/rewerse-description/REWERSE-DEL-2005-I3-D3.html
Berstel, B., Leconte, M.: Using constraints to verify properties of rule programs. In: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2010, pp. 349–354. IEEE Computer Society (2010)
Berstel-Da Silva, B.: Formalizing both refraction-based and sequential executions of production rule programs. In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol. 7438, pp. 47–61. Springer, Heidelberg (2012)
Berstel-Da Silva, B.: Verification of business rules programs. Ph.D. thesis, Albert-Ludwigs-Universität Freiburg, Germany (2012), http://www.freidok.uni-freiburg.de/volltexte/8799/
Chniti, A., Albert, P., Charlet, J.: A loose coupling approach for combining OWL ontologies and business rules. In: RuleML 2012@ECAI Challenge, at the 6th International Symposium on Rules Research Based and Industry Focused 2012. CEUR Workshop proceedings, vol. 874, pp. 103–110 (2012)
Chniti, A., Albert, P., Charlet, J.: MDROntology: An ontology for managing ontology changes impacts on business rules. In: Joint Workshop on Knowledge Evolution and Ontology Dynamics 2012. In conjunction with International Semantic Web Conference (ISWC 2012). CEUR Workshop proceedings (2012)
Chniti, A., Boussadi, A., Degoulet, P., Albert, P., Charlet, J.: Pharmaceutical validation of medication orders using an OWL ontology and business rules. In: Joint Workshop on Semantic Technologies Applied to Biomedical Informatics and Individualized Medicine (SATBI+SWIM 2012). In conjunction with International Semantic Web Conference, ISWC 2012. CEUR Workshop proceedings (2012)
Djedidi, R., Aufaure, M.-A.: ONTO-EVO A L an ontology evolution approach guided by pattern modeling and quality evaluation. In: Link, S., Prade, H. (eds.) FoIKS 2010. LNCS, vol. 5956, pp. 286–305. Springer, Heidelberg (2010)
IBM. VISA Europe: Processing payments with unprecedented agility and reliability (2011), http://www.ibm.com/software/success/cssdb.nsf/CS/SSAO-8FNJEB .
IBM. IBMJRules v8.0 User’s Manual (2012), http://publib.boulder.ibm.com/infocenter/dmanager/v8r0/
Ontorule Project. Ontologies meet Business Rules (2012), http://ontorule-project.eu
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Berstel-Da Silva, B., Chniti, A. (2013). Detection of Inconsistencies in Rules Due to Changes in Ontologies: Let’s Get Formal. In: Faber, W., Lembo, D. (eds) Web Reasoning and Rule Systems. RR 2013. Lecture Notes in Computer Science, vol 7994. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39666-3_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-39666-3_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39665-6
Online ISBN: 978-3-642-39666-3
eBook Packages: Computer ScienceComputer Science (R0)