{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,3]],"date-time":"2026-02-03T17:05:58Z","timestamp":1770138358652,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T00:00:00Z","timestamp":1490140800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,3,22]]},"DOI":"10.1145\/3018896.3036376","type":"proceedings-article","created":{"date-parts":[[2018,2,23]],"date-time":"2018-02-23T16:12:59Z","timestamp":1519402379000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Overview and reflexion on OWL 2 DL ontology consistency rules"],"prefix":"10.1145","author":[{"given":"Leila","family":"Bayoudhi","sequence":"first","affiliation":[{"name":"Sfax University, Sfax, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Najla","family":"Sassi","sequence":"additional","affiliation":[{"name":"Sfax University, Sfax, Tunisia and Taibah University, KSA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wassim","family":"Jaziri","sequence":"additional","affiliation":[{"name":"Sfax University, Sfax, Tunisia and Taibah University, KSA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,3,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIW.2007.69"},{"key":"e_1_3_2_1_2_1","volume-title":"The Semantic Web: ESWC 2013 Satellite Events. Springer Berlin Heidelberg. 113--124","author":"Copeland M."},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the 7th International Conference on Formal Ontology in Information Systems - FOIS2012","author":"Denaux R.","year":"2012"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/2174889.2174910"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 21st National Conference on Artificial Intelligence AAAI","author":"Flouris G.","year":"2006"},{"key":"e_1_3_2_1_6_1","unstructured":"Gueffaz M. 2012. ScaleSem : Model Checking et Web S\u00e9mantique. PhD thesis University of Bourgogne France.  Gueffaz M. 2012. ScaleSem : Model Checking et Web S\u00e9mantique. PhD thesis University of Bourgogne France."},{"key":"e_1_3_2_1_7_1","unstructured":"Haase P. 2006. Semantic Technologies for Distributed Information Systems. PhD thesis Karlsruhe University Germany.  Haase P. 2006. Semantic Technologies for Distributed Information Systems. PhD thesis Karlsruhe University Germany."},{"key":"e_1_3_2_1_8_1","unstructured":"Haase P. Lewen H. Studer R. and Tran D. 2008. The neon ontology engineering toolkit. Www Developers Track (2008) 4--6.  Haase P. Lewen H. Studer R. and Tran D. 2008. The neon ontology engineering toolkit. Www Developers Track (2008) 4--6."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431053_13"},{"key":"e_1_3_2_1_10_1","unstructured":"Horridge M. 2011. Justification based explanation in ontologies. PhD thesis University of Manchester.  Horridge M. 2011. Justification based explanation in ontologies. PhD thesis University of Manchester."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2019470.2019471"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJMSO.2014.063137"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEMAPRO.2009.22"},{"key":"e_1_3_2_1_14_1","volume-title":"IGI-Global. (USA","author":"Jaziri W.","year":"2010"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJMSO.2010.033284"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 7th Chinese Semantic Web Symposium and the 2nd Chinese Web Science Conference- CSWS2013","author":"Ji Q.","year":"2013"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2012.05.005"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30475-3_17"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2013.01.001"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.07.017"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02121-3_23"},{"key":"e_1_3_2_1_22_1","article-title":"A Review on Evolution and Versioning of Ontology Based Information Systems","author":"Mahajan A.","year":"2015","journal-title":"IOSR Journal of Computer Engineering Ver."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2014.10.007"},{"key":"e_1_3_2_1_24_1","volume-title":"OWL 2 Web Ontology Language - Structural Specification and Functional-Style Syntax","year":"2012"},{"key":"e_1_3_2_1_25_1","volume-title":"OWL 2 Web Ontology Language Direct Semantics","year":"2012"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/11762256_17"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33876-2_24"},{"key":"e_1_3_2_1_28_1","volume-title":"Ontology Versioning: An Approach for Ontology Evolution. Ontology Theory, Management and Design: Advanced Tools and Models","author":"Sassi N.","year":"2010"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of JFO'2007 (Sousse","author":"Sassi N.","year":"2007"},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the International Joint conference on Artificial intelligence - IJCAI2003 (Aug.","author":"Schlobach S.","year":"2003"},{"key":"e_1_3_2_1_31_1","unstructured":"Stojanovic L. 2004. Methods and tools for ontology evolution. PhD thesis University of Karlsruhe Germany.  Stojanovic L. 2004. Methods and tools for ontology evolution. PhD thesis University of Karlsruhe Germany."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(97)00056-6"},{"key":"e_1_3_2_1_33_1","unstructured":"Tahwil M.F. 2010. An AntiPattern-Based OWL Ontology Debugging Tool. Master thesis Politechnic university of Madrid Spain.  Tahwil M.F. 2010. An AntiPattern-Based OWL Ontology Debugging Tool. Master thesis Politechnic university of Madrid Spain."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/11574620_53"}],"event":{"name":"ICC '17: Second International Conference on Internet of Things, Data and Cloud Computing","location":"Cambridge United Kingdom","acronym":"ICC '17"},"container-title":["Proceedings of the Second International Conference on Internet of things, Data and Cloud Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3018896.3036376","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3018896.3036376","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:38:41Z","timestamp":1750221521000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3018896.3036376"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,22]]},"references-count":34,"alternative-id":["10.1145\/3018896.3036376","10.1145\/3018896"],"URL":"https:\/\/doi.org\/10.1145\/3018896.3036376","relation":{},"subject":[],"published":{"date-parts":[[2017,3,22]]},"assertion":[{"value":"2017-03-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}