{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:57:00Z","timestamp":1740135420589,"version":"3.37.3"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"S1","license":[{"start":{"date-parts":[[2023,11,28]],"date-time":"2023-11-28T00:00:00Z","timestamp":1701129600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,11,28]],"date-time":"2023-11-28T00:00:00Z","timestamp":1701129600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["BMC Med Inform Decis Mak"],"abstract":"<jats:title>Abstract<\/jats:title><jats:sec>\n                <jats:title>Backgrounds<\/jats:title>\n                <jats:p>The size of medical strategies is expected to grow in conjunction with the expansion of modern diseases\u2019 complexity. When a strategy includes more than ten statements, its manual management becomes very challenging, and in some cases, impossible. As a result, the updates they get may result in the unavoidable appearance of anomalies. This causes an interruption in the outflow of imperfect knowledge.<\/jats:p>\n              <\/jats:sec><jats:sec>\n                <jats:title>Methods<\/jats:title>\n                <jats:p>In this paper, we propose an approach called TAnom-HS to verify healthcare strategies. We focus on the management and maintenance, in a convenient and automatic way, of a large strategy to guarantee knowledge accuracy and enhance the efficiency of the inference process in healthcare systems.<\/jats:p>\n              <\/jats:sec><jats:sec>\n                <jats:title>Results<\/jats:title>\n                <jats:p>We developed a prototype of our proposal and we applied it on some cases from the BioPortal repository. The evaluation of both steps of TAnom-HS proved the efficiency of our proposal.<\/jats:p>\n              <\/jats:sec><jats:sec>\n                <jats:title>Conclusion<\/jats:title>\n                <jats:p>To increase ontologies expressiveness, a set of rules called strategy is added to it. TAnom-HS is a two-step approach that treats anomalies in healthcare strategies. Such a task helps to take automatic and efficient healthcare decisions.<\/jats:p>\n              <\/jats:sec>","DOI":"10.1186\/s12911-023-02291-4","type":"journal-article","created":{"date-parts":[[2023,11,28]],"date-time":"2023-11-28T09:02:31Z","timestamp":1701162151000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Strategy maintenance in smart healthcare systems"],"prefix":"10.1186","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5684-7874","authenticated-orcid":false,"given":"Abir","family":"Boujelben","sequence":"first","affiliation":[]},{"given":"Ikram","family":"Amous","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,11,28]]},"reference":[{"key":"2291_CR1","unstructured":"Horrocks I, Patel-Schneider PF, Boley H, Tabet S, Grosof B, Dean M, et\u00a0al. SWRL: A semantic web rule language combining OWL and RuleML. W3C Member Submission. 2004;21:79."},{"key":"2291_CR2","doi-asserted-by":"crossref","unstructured":"Charfi A, Mezini M. Hybrid web service composition: business processes meet business rules. In: Proceedings of the 2nd international conference on Service oriented computing. ACM; 2004. p. 30\u201338.","DOI":"10.1145\/1035167.1035173"},{"key":"2291_CR3","doi-asserted-by":"crossref","unstructured":"Katta N, Alipourfard O, Rexford J, Walker D. Cacheflow: Dependency-aware rule-caching for software-defined networks. In: Proceedings of the Symposium on SDN Research. ACM; 2016. p.\u00a06.","DOI":"10.1145\/2890955.2890969"},{"key":"2291_CR4","doi-asserted-by":"crossref","unstructured":"Bouker S, Saidi R, Yahia SB, Nguifo EM. Ranking and selecting association rules based on dominance relationship. In: Tools with Artificial Intelligence (ICTAI), 2012 IEEE 24th International Conference on. vol.\u00a01. IEEE; 2012. p. 658\u2013665.","DOI":"10.1109\/ICTAI.2012.94"},{"key":"2291_CR5","doi-asserted-by":"crossref","unstructured":"Zetta T, Kontopoulos E, Bassiliades N. S 2 red: a semantic web rule editor. International Hellenic University (Operation\u2013development) - technical report.\u00a02011.","DOI":"10.1145\/2254129.2254199"},{"key":"2291_CR6","doi-asserted-by":"crossref","unstructured":"Xitao W, Chunxiao D, Xun Z, et\u00a0al. Compiling minimum incremental update for modular SDN languages. In: Proc of the 3rd ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking. New York: ACM Press; 2014. p. 193\u2013198.","DOI":"10.1145\/2620728.2620733"},{"key":"2291_CR7","unstructured":"Kr\u00f6tzsch M, Rudolph S. On the relationship of joint acyclicity and super-weak acyclicity. Tech. rep. 3037, Institute AIFB, Karlsruhe Institute of Technology; 2013."},{"key":"2291_CR8","unstructured":"Dani MN, Faruquie TA, Karanam HP, Subramaniam LV, Venkatachaliah G. Rule set management. Google Patents; 2014. US Patent 8,700,542."},{"key":"2291_CR9","unstructured":"Zacharias V, Borgi I. Exploiting usage data for the visualization of rule bases. In: Proceedings of the 3rd International Semantic Web User Interaction Workshop SWUI. Citeseer; 2006."},{"key":"2291_CR10","doi-asserted-by":"crossref","unstructured":"Chevalier J, Subercaze J, Gravier C, Laforest F. Incremental and directed rule-based inference on RDFS. In: International Conference on Database and Expert Systems Applications. Springer; 2016. p. 287\u2013294.","DOI":"10.1007\/978-3-319-44406-2_22"},{"key":"2291_CR11","first-page":"30","volume":"3","author":"O Dolinina","year":"2015","unstructured":"Dolinina O, Shvarts A. Algorithms for Increasing of the Effectiveness of the Making Decisions by Intelligent Fuzzy Systems. J Electr Eng. 2015;3:30\u20135.","journal-title":"J Electr Eng."},{"key":"2291_CR12","unstructured":"Baget JF, Garreau F, Mugnier ML, Rocher S. Extending acyclicity notions for existential rules. In: Proceedings of the Twenty-first European Conference on Artificial Intelligence. IOS Press; 2014. p. 39\u201344."},{"key":"2291_CR13","doi-asserted-by":"publisher","unstructured":"Hassanpour S, O\u2019Connor MJ, Das AK. Visualizing Logical Dependencies in SWRL Rule Bases. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds) semantic web rules. RuleML 2010. Lecture notes in computer science, vol 6403. Springer, Berlin, Heidelberg.\u00a02010. https:\/\/doi.org\/10.1007\/978-3-642-16289-3_22.","DOI":"10.1007\/978-3-642-16289-3_22"},{"key":"2291_CR14","unstructured":"Milner K. Detecting the misuse of secrets: foundations, protocols, and verification. University of Oxford; 2018."},{"key":"2291_CR15","unstructured":"Bellefeuille S. Proposition d'un mod\u00e8le de syst\u00e8me d'aide \u00e0 la v\u00e9rification de la coh\u00e9rence dans les bases de r\u00e8gles [Thesis, National Library of Canada = Biblioth\u00e8que nationale du Canada]. 2001 http:\/\/www.collectionscanada.ca\/obj\/s4\/f2\/dsk3\/ftp04\/MQ60612.pdf."},{"issue":"7","key":"2291_CR16","doi-asserted-by":"publisher","first-page":"2508","DOI":"10.3390\/s21072508","volume":"21","author":"CA Holst","year":"2021","unstructured":"Holst CA, Lohweg V. A Redundancy Metric Set within Possibility Theory for Multi-Sensor Systems. Sensors. 2021;21(7):2508.","journal-title":"Sensors."},{"key":"2291_CR17","unstructured":"Nguyen TA, Perkins WA, Laffey TJ, Pecora D. Checking an expert systems knowledge base for consistency and completeness. In: IJCAI'85: Proceedings of the 9th international joint conference on artificial intelligence - volume 1. Elsevier;\u00a01985 . p. 375\u2013378."},{"key":"2291_CR18","doi-asserted-by":"crossref","unstructured":"Suchenia A, Potempa T, Ligkeza A, Jobczyk K, Kluza K. Selected approaches towards taxonomy of business process anomalies. In: Advances in Business ICT: New Ideas from Ongoing Research. Springer; 2017. p. 65\u201385.","DOI":"10.1007\/978-3-319-47208-9_5"},{"key":"2291_CR19","doi-asserted-by":"crossref","unstructured":"Suwarningsih W, Purwarianti A, Supriana I. Reducing the Conflict Factors Strategies in Question Answering System. In: IOP Conference Series: Materials Science and Engineering. vol. 180. IOP Publishing; 2017. p. 012\u2013075.","DOI":"10.1088\/1757-899X\/180\/1\/012075"},{"key":"2291_CR20","doi-asserted-by":"crossref","unstructured":"Tsarkov D, Horrocks I. FaCT++ description logic reasoner: System description. In: International joint conference on automated reasoning. Springer; 2006. p. 292\u2013297.","DOI":"10.1007\/11814771_26"},{"key":"2291_CR21","unstructured":"Lawley MJ, Bousquet C. Fast classification in Prot\u00e9g\u00e9: Snorocket as an OWL 2 EL reasoner. In: Proc. 6th Australasian ontology workshop (IAOA\u201910). Conferences in research and practice in information technology. vol. 122. Springer; 2010. p. 45\u201349."},{"key":"2291_CR22","doi-asserted-by":"crossref","unstructured":"Weiten M. Ontostudio\u00ae as a ontology engineering environment. In: Semantic knowledge management. Springer; 2009. p. 51\u201360.","DOI":"10.1007\/978-3-540-88845-1_5"},{"issue":"1","key":"2291_CR23","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/MP.2007.343036","volume":"26","author":"C Spenser","year":"2007","unstructured":"Spenser C. Drawing on your knowledge with VisiRule. IEEE Potentials. 2007;26(1):20\u20135.","journal-title":"IEEE Potentials."},{"key":"2291_CR24","unstructured":"O\u2019Connor MJ, Das A. The SWRLTab: An Extensible Environment for working with SWRL Rules in Prot\u00e9g\u00e9-OWL. RuleML; 2006."},{"key":"2291_CR25","unstructured":"Hirtle D. Translator: A Translator from Language to Rules. In: Canadian Symposium on Text Analysis-CaSTA, Fredericton. Citeseer; 2006."},{"issue":"1\u20134","key":"2291_CR26","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1016\/0360-8352(89)90121-6","volume":"17","author":"RM Wygant","year":"1989","unstructured":"Wygant RM. CLIPS-a powerful development and delivery expert system tool. Comput Ind Eng. 1989;17(1\u20134):546\u20139.","journal-title":"Comput Ind Eng."},{"key":"2291_CR27","unstructured":"Browne P. JBoss Drools business rules. Packt Publishing Ltd; 2009."},{"issue":"6","key":"2291_CR28","doi-asserted-by":"publisher","first-page":"3121","DOI":"10.1007\/s10639-017-9574-5","volume":"22","author":"A Khamparia","year":"2017","unstructured":"Khamparia A, Pandey B. Comprehensive analysis of semantic web reasoners and tools: a survey. Educ Inf Technol. 2017;22(6):3121\u201345.","journal-title":"Educ Inf Technol."},{"key":"2291_CR29","unstructured":"Dalwadi N, Nagar B, Makwana A. Performance evaluation of semantic reasoners. In: Proceedings of the 19th international conference on management of data. Springer; 2013. p. 109\u2013112."},{"key":"2291_CR30","unstructured":"Yus R, Bobed C, Esteban G, Bobillo F, Mena E. Android goes Semantic: DL Reasoners on Smartphones. In: Ore 2013. p. 46\u201352. CEUR-WS.org."},{"issue":"2","key":"2291_CR31","first-page":"191","volume":"5","author":"S Yunchuan","year":"2011","unstructured":"Yunchuan S. Managing Rules in Semantic Web: Redundancy Elimination and Consistency Check. Int J Digit Content Technol Appl. 2011;5(2):191\u2013200.","journal-title":"Int J Digit Content Technol Appl."},{"key":"2291_CR32","doi-asserted-by":"crossref","unstructured":"Cheng MY, Huang CJ. A novel approach for treating uncertain rule-based knowledge Conflicts. J Inf Sci Eng. 2009;25(2);649\u201363.","DOI":"10.1109\/ICISE.2009.113"},{"issue":"3","key":"2291_CR33","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1109\/TETC.2016.2531288","volume":"5","author":"Y Sun","year":"2017","unstructured":"Sun Y, Wu TY, Li X, Guizani M. A Rule Verification System for Smart Buildings. IEEE Trans Emerg Top Comput. 2017;5(3):367\u201379.","journal-title":"IEEE Trans Emerg Top Comput."},{"key":"2291_CR34","doi-asserted-by":"crossref","unstructured":"Aloulou H, Endelin R, Mokhtari M, Abdulrazak B, Kaddachi F, Bellmunt J. Detecting Inconsistencies in Rule-Based Reasoning for Ambient Intelligence. In: Engineering of Complex Computer Systems (ICECCS), 2016 21st International Conference on. IEEE; 2016. p. 235\u2013240.","DOI":"10.1109\/ICECCS.2016.042"},{"key":"2291_CR35","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, da Silva RE, Cota G. Using formal methods for content validation of medical procedure documents. Int J Med Inform. 2017;104:10\u201325.","journal-title":"Int J Med Inform."},{"key":"2291_CR36","doi-asserted-by":"crossref","unstructured":"Blanchette JC. 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. ACM; 2019. p. 1\u201313.","DOI":"10.1145\/3293880.3294087"},{"key":"2291_CR37","doi-asserted-by":"crossref","unstructured":"Boujelben A, Amous I. A method to assist in the proper management of rule bases in Web information systems. Int. J. Web Inf. Syst. 2019;15(5):577\u201393.","DOI":"10.1108\/IJWIS-11-2018-0081"},{"key":"2291_CR38","doi-asserted-by":"crossref","unstructured":"Young L, Tu SW, Tennakoon L, Vismer D, Astakhov V, Gupta A, et al. Ontology driven data integration for autism research. In: 2009 22nd IEEE International Symposium on Computer-Based Medical Systems. IEEE. 2009:1\u20137.","DOI":"10.1109\/CBMS.2009.5255362"},{"key":"2291_CR39","unstructured":"Nagel S. Interactive resolution and prevention of Inconsistencies in business rule management. BPM (PhD\/Demos). 2021;67\u201372."},{"issue":"3","key":"2291_CR40","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1287\/ijoc.1.3.190","volume":"1","author":"F Glover","year":"1989","unstructured":"Glover F. Tabu search-part I. ORSA J Comput. 1989;1(3):190\u2013206.","journal-title":"ORSA J Comput."}],"container-title":["BMC Medical Informatics and Decision Making"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/s12911-023-02291-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1186\/s12911-023-02291-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/s12911-023-02291-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T08:19:34Z","timestamp":1725956374000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcmedinformdecismak.biomedcentral.com\/articles\/10.1186\/s12911-023-02291-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,28]]},"references-count":40,"journal-issue":{"issue":"S1","published-online":{"date-parts":[[2023,12]]}},"alternative-id":["2291"],"URL":"https:\/\/doi.org\/10.1186\/s12911-023-02291-4","relation":{},"ISSN":["1472-6947"],"issn-type":[{"type":"electronic","value":"1472-6947"}],"subject":[],"published":{"date-parts":[[2023,11,28]]},"assertion":[{"value":"29 July 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 September 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 November 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics approval and consent to participate"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent for publication"}},{"value":"The authors declare that they have no competing interests.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"272"}}