{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T15:49:18Z","timestamp":1781106558624,"version":"3.54.1"},"reference-count":29,"publisher":"IGI Global Scientific Publishing","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,1]]},"abstract":"<jats:p>Knowledge is continually changing over time. As such, semantic modelling knowledge formalisms, such as ontologies, must follow this evolution and change accordingly. However, ontology changes should never affect consistency. An ontology needs to remain in a consistent state along the whole ontology engineering process. In the literature, most of the approaches check\/repair ontology inconsistencies in an a posteriori manner. This costs time and resources. In this article, an inconsistency prevention approach is proposed. It relies on OWL 2 DL change kits, which anticipate inconsistencies upon each change request. The proposed approach predicts potential inconsistencies, provides an a priori repair action, and applies the required changes. Consistency rules are defined and used to check logical inconsistencies, but also syntactical invalidities or style issues. A prot\u00e9g\u00e9 extension is implemented to validate the proposal.<\/jats:p>","DOI":"10.4018\/ijswis.2019010104","type":"journal-article","created":{"date-parts":[[2018,10,23]],"date-time":"2018-10-23T13:49:35Z","timestamp":1540302575000},"page":"76-101","source":"Crossref","is-referenced-by-count":2,"title":["A Preventive Approach for Consistent OWL 2 DL Ontology Versions"],"prefix":"10.4018","volume":"15","author":[{"given":"Wassim","family":"Jaziri","sequence":"first","affiliation":[{"name":"Taibah University, Saudi Arabia, & Sfax University, Tunisia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Leila","family":"Bayoudhi","sequence":"additional","affiliation":[{"name":"Sfax University, Tunisia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Najla","family":"Sassi","sequence":"additional","affiliation":[{"name":"Taibah University, Saudi Arabia, & Sfax University, Tunisia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"IJSWIS.2019010104-0","doi-asserted-by":"crossref","unstructured":"Bayoudhi, L., Sassi, N., & Jaziri, W. (2017). Overview and Reflexion on OWL 2 DL Ontology Consistency Rules. In The second International Conference on Internet of Things, Data and Cloud Computing (ICC 2017).","DOI":"10.1145\/3018896.3036376"},{"key":"IJSWIS.2019010104-1","unstructured":"Copeland, M. (2016). Version Analysis for Fault Detection in OWL Ontologies [Master thesis]. University of Manchester."},{"key":"IJSWIS.2019010104-2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11829-6_19"},{"key":"IJSWIS.2019010104-3","first-page":"1295","article-title":"Inconsistencies","volume":"AAAI 2006","author":"G.Flouris","year":"2006","journal-title":"Negations and Changes in Ontologies."},{"key":"IJSWIS.2019010104-4","doi-asserted-by":"crossref","unstructured":"Flouris, G., Manakanatas, D., Kondylakis, H., Plexousakis, D., & Antoniou, G. (2008). Ontology change: Classification and Survey. The Knowledge Engineering Review, 23(2), 117-152.","DOI":"10.1017\/S0269888908001367"},{"key":"IJSWIS.2019010104-5","unstructured":"Gueffaz, M. (2012). ScaleSem: Model Checking et Web S\u00e9mantique [PhD thesis]. University of Burgundy."},{"key":"IJSWIS.2019010104-6","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.06.005"},{"key":"IJSWIS.2019010104-7","unstructured":"Haase, P. (2006). Semantic Technologies for Distributed Information Systems [PhD Thesis], Karlsruhe University."},{"key":"IJSWIS.2019010104-8","unstructured":"Haase, P., Lewen, H., Studer, R., & Erdmann, M. (2008). The NeOn Ontology Engineering Toolkit. In WWW 2008 Developers Track."},{"key":"IJSWIS.2019010104-9","doi-asserted-by":"crossref","unstructured":"Haase, P., & Stojanovic, L. (2005). Consistent Evolution of OWL Ontologies. In A. G\u00f3mez-P\u00e9rez & J. Euzenat (Eds.), In European Semantic Web Conference (pp. 182\u2013197). Springer.","DOI":"10.1007\/11431053_13"},{"key":"IJSWIS.2019010104-10","author":"M.Horridge","year":"2015","journal-title":"The OWL Explanation Workbench: A toolkit for working with justifications for entailments in OWL ontologies."},{"key":"IJSWIS.2019010104-11","doi-asserted-by":"publisher","DOI":"10.1504\/IJMSO.2010.033284"},{"key":"IJSWIS.2019010104-12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54025-7_23"},{"key":"IJSWIS.2019010104-13","doi-asserted-by":"crossref","unstructured":"Kalyanpur, A., Parsia, B., Horridge, M., & Sirin, E. (2007). Finding All Justifications of OWL DL Entailments. In The semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007 (pp. 267\u2013280).","DOI":"10.1007\/978-3-540-76298-0_20"},{"issue":"05","key":"IJSWIS.2019010104-14","first-page":"851","article-title":"Ontology Evolution and Challenges.","volume":"29","author":"A. M.Khattak","year":"2013","journal-title":"Journal of Information Science and Engineering"},{"key":"IJSWIS.2019010104-15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30475-3_17"},{"key":"IJSWIS.2019010104-16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17749-1_12"},{"key":"IJSWIS.2019010104-17","first-page":"278","article-title":"Tempus Fugit - Towards an Ontology Update Language.","author":"U.L\u00f6sch","year":"2009","journal-title":"6th Annual European Semantic Web Conference (ESWC2009)"},{"issue":"2","key":"IJSWIS.2019010104-18","first-page":"35","article-title":"A Review on Evolution and Versioning of Ontology Based Information Systems.","volume":"17","author":"A.Mahajan","year":"2015","journal-title":"IOSR Journal of Computer Engineering"},{"key":"IJSWIS.2019010104-19","doi-asserted-by":"crossref","DOI":"10.1016\/j.knosys.2014.10.007","article-title":"Algebraic graph transformations for formalizing ontology changes and evolving ontologies.","volume":"73","author":"M.Mahfoudh","year":"2015","journal-title":"Knowledge-Based Systems"},{"key":"IJSWIS.2019010104-20","unstructured":"Motik, B., Patel-Schneider, P. F., & Parsia, B. (2012, December). OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax (2nd ed.). Retrieved from http:\/\/www.w3.org\/TR\/owl2-syntax\/"},{"key":"IJSWIS.2019010104-21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-34129-3_9"},{"key":"IJSWIS.2019010104-22","first-page":"267","author":"M.Poveda-Villal\u00f3n","year":"2012","journal-title":"Validating Ontologies with OOPS!"},{"key":"IJSWIS.2019010104-23","first-page":"355","article-title":"Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies.","author":"S.Schlobach","year":"2003","journal-title":"Eighteenth International Joint Conference on Artificial Intelligence"},{"key":"IJSWIS.2019010104-24","unstructured":"Stojanovic, L. (2004). Methods and Tools for Ontology Evolution [Thesis]. University of Karlsruhe, Karlsruhe."},{"key":"IJSWIS.2019010104-25","unstructured":"Tahwil, M. F. (2010). An AntiPattern-Based OWL Ontology Debugging Tool [Master thesis]. Computer Science institute, Politechnic university of Madrid, Madrid."},{"key":"IJSWIS.2019010104-26","article-title":"Debugging OWL-DL Ontologies: A Heuristic Approach.","author":"H.Wang","year":"2005","journal-title":"Proc. 4th International Conf. Semantic Web"},{"key":"IJSWIS.2019010104-27","doi-asserted-by":"crossref","unstructured":"Zablith, F., Antoniou, G., d'Aquin, M., Flouris, G., Kondylakis, H., Motta, E., ... & Sabou, M. (2015). Ontology evolution: a process-centric survey. The knowledge engineering review, 30(1), 45-75.","DOI":"10.1017\/S0269888913000349"},{"key":"IJSWIS.2019010104-28","unstructured":"Wassim Jaziri received his Ph.D. degree in Computer Science in 2004 from INSA-Rouen, France. He received an Accreditation to supervise research (French HDR, a required grade to be a full Professor) in Computer Science in 2010 from Sfax University-Tunisia. Currently, He is Professor in Computer Science at the College of Computer Science and Engineering, Taibah University, KSA. His main interests are Geographic Information Systems, Spatio-temporal Databases, Spatial Decision Aid, Data and Knowledge Modelling, Ontology and Optimization."}],"container-title":["International Journal on Semantic Web and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=217013","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,6]],"date-time":"2022-05-06T07:55:45Z","timestamp":1651823745000},"score":1,"resource":{"primary":{"URL":"http:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/IJSWIS.2019010104"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2019,1]]},"references-count":29,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.4018\/ijswis.2019010104","relation":{},"ISSN":["1552-6283","1552-6291"],"issn-type":[{"value":"1552-6283","type":"print"},{"value":"1552-6291","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,1]]}}}