{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,5]],"date-time":"2024-12-05T05:26:43Z","timestamp":1733376403853,"version":"3.30.1"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,12,4]],"date-time":"2024-12-04T00:00:00Z","timestamp":1733270400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,12,4]],"date-time":"2024-12-04T00:00:00Z","timestamp":1733270400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2025,1]]},"DOI":"10.1007\/s11227-024-06688-4","type":"journal-article","created":{"date-parts":[[2024,12,4]],"date-time":"2024-12-04T12:18:51Z","timestamp":1733314731000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Treating Anomalies in Rule bases associated to Ontologies"],"prefix":"10.1007","volume":"81","author":[{"given":"Abir","family":"Boujelben","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ikram","family":"Amous","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,12,4]]},"reference":[{"key":"6688_CR1","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/j.infsof.2023.107176","volume":"158","author":"K Ahmad","year":"2023","unstructured":"Ahmad K, Abdelrazek M, Arora C, Bano M, Grundy J (2023) Requirements engineering for artificial intelligence systems: a systematic mapping study. Inf Softw Technol 158:107\u2013176","journal-title":"Inf Softw Technol"},{"key":"6688_CR2","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-319-66655-6_2","volume-title":"Modeling with rules using semantic knowledge engineering","author":"GJ Nalepa","year":"2018","unstructured":"Nalepa GJ (2018) Knowledge engineering with rules. In: Nalepa GJ (ed) Modeling with rules using semantic knowledge engineering. Springer, Cham, pp 27\u201348"},{"issue":"24","key":"6688_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.17485\/ijst\/2015\/v8i34\/54249","volume":"8","author":"T Slimani","year":"2015","unstructured":"Slimani T (2015) Ontology development: a comparing study on tools, languages and formalisms. Indian J Sci Technol 8(24):1\u201312","journal-title":"Indian J Sci Technol"},{"issue":"2","key":"6688_CR4","doi-asserted-by":"publisher","first-page":"767","DOI":"10.13053\/cys-24-2-3010","volume":"24","author":"A Boujelben","year":"2020","unstructured":"Boujelben A, Amous I (2020) Rudes: a semantic method for rules dependency extraction. Computaci\u00f3n y Sistemas 24(2):767\u2013780","journal-title":"Computaci\u00f3n y Sistemas"},{"key":"6688_CR5","unstructured":"Gruber T (1993) What is an ontology. WWW Site http:\/\/www-ksl.stanford.ed\/kst\/whatis-an-ontology.html (accessed on 07-09-2004)"},{"key":"6688_CR6","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-540-92673-3_5","volume-title":"Handbook on ontologies","author":"P Hitzler","year":"2009","unstructured":"Hitzler P, Parsia B (2009) Ontologies and rules. In: Steffen S, Rudi S (eds) Handbook on ontologies. Springer, Heidelberg, pp 111\u2013132"},{"key":"6688_CR7","doi-asserted-by":"crossref","unstructured":"Charfi A, Mezini M (2004) Hybrid web service composition: business processes meet business rules. In: Proceedings of the 2nd International Conference on Service Oriented Computing, pp. 30\u201338. ACM","DOI":"10.1145\/1035167.1035173"},{"key":"6688_CR8","doi-asserted-by":"crossref","unstructured":"Aloulou H, Endelin R, Mokhtari M, Abdulrazak B, Kaddachi F, Bellmunt J (2016) Detecting inconsistencies in rule-based reasoning for ambient intelligence. In: Engineering of Complex Computer Systems (ICECCS), 2016 21st International Conference On, pp. 235\u2013240. IEEE","DOI":"10.1109\/ICECCS.2016.042"},{"key":"6688_CR9","doi-asserted-by":"crossref","unstructured":"Hassanpour S, OConnor MJ, Das AK (2009) Exploration of swrl rule bases through visualization, paraphrasing, and categorization of rules. In: International Workshop on Rules and Rule Markup Languages for the Semantic Web, pp. 246\u2013261. Springer","DOI":"10.1007\/978-3-642-04985-9_23"},{"issue":"2","key":"6688_CR10","first-page":"649","volume":"25","author":"M-Y Cheng","year":"2009","unstructured":"Cheng M-Y, Huang C-J (2009) A novel approach for treating uncertain rule-based knowledge conflicts. J Inf Sci & Eng 25(2):649\u2013663","journal-title":"J Inf Sci & Eng"},{"issue":"3","key":"6688_CR11","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1109\/TETC.2016.2531288","volume":"5","author":"Y Sun","year":"2017","unstructured":"Sun Y, Wu T-Y, Li X, Guizani M (2017) A rule verification system for smart buildings. IEEE Trans Emerg Top Comput 5(3):367\u2013379","journal-title":"IEEE Trans Emerg Top Comput"},{"issue":"2","key":"6688_CR12","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1080\/01969722.2019.1705550","volume":"51","author":"Q Cao","year":"2020","unstructured":"Cao Q, Zanni-Merk C, Samet A, Beuvron FdB, Reich C (2020) Using rule quality measures for rule base refinement in knowledge-based predictive maintenance systems. Cybern Syst 51(2):161\u2013176","journal-title":"Cybern Syst"},{"key":"6688_CR13","doi-asserted-by":"publisher","first-page":"1019","DOI":"10.1007\/s10845-019-01492-x","volume":"31","author":"C Sellami","year":"2020","unstructured":"Sellami C, Miranda C, Samet A, Bach Tobji MA, Beuvron F (2020) On mining frequent chronicles for machine failure prediction. J Intell Manuf 31:1019\u20131035","journal-title":"J Intell Manuf"},{"issue":"1","key":"6688_CR14","first-page":"1","volume":"8","author":"M Benaissa","year":"2011","unstructured":"Benaissa M, Lebbah Y (2011) A constraint programming based approach to detect ontology inconsistencies. Int Arab J Inf Technol 8(1):1\u20138","journal-title":"Int Arab J Inf Technol"},{"key":"6688_CR15","doi-asserted-by":"crossref","unstructured":"Yaman SG, Burholt C, Jones M, Calinescu R, Cavalcanti A (2023) Specification and validation of normative rules for autonomous agents. In: International Conference on Fundamental Approaches to Software Engineering 2023. Springer: Cham (pp. 241-248).","DOI":"10.1007\/978-3-031-30826-0_13"},{"key":"6688_CR16","doi-asserted-by":"publisher","first-page":"101716","DOI":"10.1016\/j.cose.2020.101716","volume":"94","author":"N Saidani","year":"2020","unstructured":"Saidani N, Adi K, Allili MS (2020) A semantic-based classification approach for an enhanced spam detection. Computers & Security 94:101716","journal-title":"Computers & Security"},{"key":"6688_CR17","unstructured":"Dani MN, Faruquie TA, Karanam HP, Subramaniam LV, Venkatachaliah G (2014) Rule set management. Google Patents. US Patent 8,700,542"},{"key":"6688_CR18","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1016\/j.ijmedinf.2017.04.012","volume":"104","author":"\u00c9 Cota","year":"2017","unstructured":"Cota \u00c9, Ribeiro L, Bezerra JS, Costa A, Silva RE, Cota G (2017) Using formal methods for content validation of medical procedure documents. Int J Med Inf 104:10\u201325","journal-title":"Int J Med Inf"},{"key":"6688_CR19","doi-asserted-by":"crossref","unstructured":"Hassanpour S, OConnor M, Das A (2010) Visualizing logical dependencies in swrl rule bases. Semantic Web Rules: International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings. Springer: Berlin","DOI":"10.1007\/978-3-642-16289-3_22"},{"issue":"2","key":"6688_CR20","doi-asserted-by":"publisher","first-page":"191","DOI":"10.4156\/jdcta.vol5.issue2.22","volume":"5","author":"S Yunchuan","year":"2011","unstructured":"Yunchuan S (2011) Managing rules in semantic web: redundancy elimination and consistency check. JDCTA: Int J Digit Cont Technol Appl 5(2):191\u2013200","journal-title":"JDCTA: Int J Digit Cont Technol Appl"},{"key":"6688_CR21","doi-asserted-by":"crossref","unstructured":"Blanchette JC (2019) Formalizing the metatheory of logical calculi and automatic provers in isabelle\/hol (invited talk). In: Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, pp. 1\u201313. ACM","DOI":"10.1145\/3293880.3294087"},{"key":"6688_CR22","volume-title":"Advances in business ICT: new ideas from ongoing research studies in computational intelligence","author":"A Suchenia","year":"2017","unstructured":"Suchenia A, Potempa T, Lig\u0119za A, Jobczyk K, Kluza K (2017) Selected approaches towards taxonomy of business process anomalies. In: Pe\u0142ech-Pilichowski T, Mach-Kr\u00f3l M, Olszak C (eds) Advances in business ICT: new ideas from ongoing research studies in computational intelligence. Springer, Cham"},{"key":"6688_CR23","unstructured":"MUHAMMET O (2015) Dynamic analysis for complex event processing. PhD thesis, Middle East Technical University"},{"issue":"3","key":"6688_CR24","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/s11761-016-0190-9","volume":"10","author":"MB Brahim","year":"2016","unstructured":"Brahim MB, Chaari T, Jemaa MB, Jmaiel M (2016) The semspm approach: fine integration of ws-securitypolicy semantics to enhance matching security policies in soa. SOCA 10(3):337\u2013364","journal-title":"SOCA"},{"key":"6688_CR25","unstructured":"Bechhofer S, Van\u00a0Harmelen F, Hendler J, Horrocks I, McGuinness DL, Patel-Schneider PF, Stein LA, et al (2004) Owl web ontology language reference. W3C recommendation 10(02)"},{"key":"6688_CR26","first-page":"79","volume":"21","author":"I Horrocks","year":"2004","unstructured":"Horrocks I, Patel-Schneider PF, Boley H, Tabet S, Grosof B, Dean M et al (2004) Swrl: a semantic web rule language combining owl and ruleml. W3C Member Sub 21:79","journal-title":"W3C Member Sub"},{"key":"6688_CR27","doi-asserted-by":"crossref","unstructured":"Bermejo A, Villadangos J, Astrain JJ, C\u00f3rdoba A (2013) Ontology based road traffic management. In: Intelligent Distributed Computing VI: Proceedings of the 6th International Symposium on Intelligent Distributed Computing-IDC 2012, Calabria, Italy, September 2012, pp. 103\u2013108. Springer","DOI":"10.1007\/978-3-642-32524-3_14"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-024-06688-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11227-024-06688-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-024-06688-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,4]],"date-time":"2024-12-04T13:04:16Z","timestamp":1733317456000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11227-024-06688-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,4]]},"references-count":27,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,1]]}},"alternative-id":["6688"],"URL":"https:\/\/doi.org\/10.1007\/s11227-024-06688-4","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,12,4]]},"assertion":[{"value":"3 November 2024","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 December 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics approval"}},{"value":"Not applicable.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent to participate"}}],"article-number":"243"}}