{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,26]],"date-time":"2026-01-26T15:41:51Z","timestamp":1769442111361,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,7,13]],"date-time":"2015-07-13T00:00:00Z","timestamp":1436745600000},"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":[[2015,7,13]]},"DOI":"10.1145\/2797115.2797117","type":"proceedings-article","created":{"date-parts":[[2015,8,4]],"date-time":"2015-08-04T13:57:50Z","timestamp":1438696670000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["What Makes Ontology Reasoning so Arduous?"],"prefix":"10.1145","author":[{"given":"Nourh\u00e8ne","family":"Alaya","sequence":"first","affiliation":[{"name":"LIPAH - Faculty of Sciences, University of Tunis, Tunisia and LIASD - IUT of Montreuil, University of Paris 8, France"}]},{"given":"Sadok Ben","family":"Yahia","sequence":"additional","affiliation":[{"name":"LIPAH - Faculty of Sciences, University of Tunis, Tunisia"}]},{"given":"Myriam","family":"Lamolle","sequence":"additional","affiliation":[{"name":"LIASD - IUT of Montreuil, University of Paris 8, France"}]}],"member":"320","published-online":{"date-parts":[[2015,7,13]]},"reference":[{"issue":"17","key":"e_1_3_2_1_1_1","first-page":"33","article-title":"A Survey on Ontology Reasoners and Comparison","volume":"57","author":"Abburu S.","year":"2012","unstructured":"S. Abburu . A Survey on Ontology Reasoners and Comparison . International Journal of Computer Applications , 57 ( 17 ): 33 -- 39 , 2012 . S. Abburu. A Survey on Ontology Reasoners and Comparison. International Journal of Computer Applications, 57(17):33--39, 2012.","journal-title":"International Journal of Computer Applications"},{"key":"e_1_3_2_1_2_1","volume-title":"Unification in the description logic &epsis","author":"Baader F.","year":"2011","unstructured":"F. Baader , S. Borgwardt , and B. Morawska . Unification in the description logic &epsis ; L w.r.t. cycle-restricted TBoxes. Ltcs-report, Institute for Theoretical Computer Science , Technische Universit\u00e4t Dresden, Germany, 2011 . F. Baader, S. Borgwardt, and B. Morawska. Unification in the description logic &epsis; L w.r.t. cycle-restricted TBoxes. Ltcs-report, Institute for Theoretical Computer Science, Technische Universit\u00e4t Dresden, Germany, 2011."},{"key":"e_1_3_2_1_3_1","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"Baader F.","year":"2003","unstructured":"F. Baader , D. Calvanese , D. L. McGuinness , D. Nardi , and P. F. Patel-Schneider , editors . The Description Logic Handbook: Theory, Implementation, and Applications . Cambridge University Press , USA , 2003 . F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, USA, 2003."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/646891.709294"},{"key":"e_1_3_2_1_5_1","volume-title":"Summary ORE 2014 Competition. In the 3rd Workshop on OWL Reasoner Evaluation","author":"Bail S.","year":"2014","unstructured":"S. Bail , B. Glimm , E. Jim\u00c3\u013enez-Ruiz , N. Matentzoglu , B. Parsia , and A. Steigmiller . Summary ORE 2014 Competition. In the 3rd Workshop on OWL Reasoner Evaluation , Vienna, Austria , 2014 . S. Bail, B. Glimm, E. Jim\u00c3\u013enez-Ruiz, N. Matentzoglu, B. Parsia, and A. Steigmiller. Summary ORE 2014 Competition. In the 3rd Workshop on OWL Reasoner Evaluation, Vienna, Austria, 2014."},{"key":"e_1_3_2_1_6_1","first-page":"79","volume-title":"Canadian semantic web","author":"Faezeh E.","year":"2010","unstructured":"E. Faezeh and D. Weichang . Canadian semantic web . chapter A Modular Approach to Scalable Ontology Development, pages 79 -- 103 . Springer US , 2010 . E. Faezeh and D. Weichang. Canadian semantic web. chapter A Modular Approach to Scalable Ontology Development, pages 79--103. Springer US, 2010."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11762256_13"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2012.35"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2011.12.007"},{"key":"e_1_3_2_1_10_1","first-page":"1","volume-title":"ORE","author":"Gon\u00e7alves R. S.","year":"2013","unstructured":"R. S. Gon\u00e7alves , S. Bail , E. Jim\u00e9nez-Ruiz , N. Matentzoglu , B. Parsia , B. Glimm , and Y. Kazakov . Owl reasoner evaluation (ore) workshop 2013 results: Short report . In ORE , pages 1 -- 18 , 2013 . R. S. Gon\u00e7alves, S. Bail, E. Jim\u00e9nez-Ruiz, N. Matentzoglu, B. Parsia, B. Glimm, and Y. Kazakov. Owl reasoner evaluation (ore) workshop 2013 results: Short report. In ORE, pages 1--18, 2013."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35176-1_6"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1656274.1656278"},{"key":"e_1_3_2_1_13_1","first-page":"306","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"Horrocks I.","year":"2003","unstructured":"I. Horrocks . Implementation and optimisation techniques . In The Description Logic Handbook: Theory, Implementation, and Applications , chapter 9, pages 306 -- 346 . Cambridge University Press , 2003 . I. Horrocks. Implementation and optimisation techniques. In The Description Logic Handbook: Theory, Implementation, and Applications, chapter 9, pages 306--346. Cambridge University Press, 2003."},{"key":"e_1_3_2_1_14_1","first-page":"57","volume-title":"Proceedings of the 23rd Benelux Conference on Artificial Intelligence","author":"Horrocks I.","year":"2006","unstructured":"I. Horrocks , O. Kutz , and U. Sattler . The even more irresistible SROIQ . In Proceedings of the 23rd Benelux Conference on Artificial Intelligence , pages 57 -- 67 , 2006 . I. Horrocks, O. Kutz, and U. Sattler. The even more irresistible SROIQ. In Proceedings of the 23rd Benelux Conference on Artificial Intelligence, pages 57--67, 2006."},{"key":"e_1_3_2_1_15_1","volume-title":"A study on cost behaviors of binary classification measures in class-imbalanced problems. CoRR, abs\/1403.7100","author":"Hu B.","year":"2014","unstructured":"B. Hu and W. Dong . A study on cost behaviors of binary classification measures in class-imbalanced problems. CoRR, abs\/1403.7100 , 2014 . B. Hu and W. Dong. A study on cost behaviors of binary classification measures in class-imbalanced problems. CoRR, abs\/1403.7100, 2014."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35176-1_13"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2893873.2893888"},{"key":"e_1_3_2_1_18_1","first-page":"3","volume-title":"Proceedings of the Emerging Artificial Intelligence Applications in Computer Engineering Conference.","author":"Kotsiantis S. B.","year":"2007","unstructured":"S. B. Kotsiantis . Supervised machine learning: A review of classification techniques . In Proceedings of the Emerging Artificial Intelligence Applications in Computer Engineering Conference. , pages 3 -- 24 , The Netherlands , 2007 . IOS Press. S. B. Kotsiantis. Supervised machine learning: A review of classification techniques. In Proceedings of the Emerging Artificial Intelligence Applications in Computer Engineering Conference., pages 3--24, The Netherlands, 2007. IOS Press."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1940281.1940313"},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the OWL Experiences and Directions Workshop","volume":"432","author":"Lin H.","year":"2008","unstructured":"H. Lin and E. Sirin . Pellint - A Performance Lint Tool for Pellet . In Proceedings of the OWL Experiences and Directions Workshop , volume 432 , Germany , 2008 . H. Lin and E. Sirin. Pellint - A Performance Lint Tool for Pellet. In Proceedings of the OWL Experiences and Directions Workshop, volume 432, Germany, 2008."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1734953.1734957"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/978-0-387-48438-9_8","volume-title":"Semantic web","author":"Obrst L.","year":"2007","unstructured":"L. Obrst , B. Ashpole , W. Ceusters , I. Mani , and B. Smith . Semantic web . chapter The evaluation of ontologies - Toward Improved Semantic Interoperability, pages 139 -- 158 . Springer US , 2007 . L. Obrst, B. Ashpole, W. Ceusters, I. Mani, and B. Smith. Semantic web. chapter The evaluation of ontologies - Toward Improved Semantic Interoperability, pages 139--158. Springer US, 2007."},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning","author":"Sazonau V.","year":"2014","unstructured":"V. Sazonau , U. Sattler , and G. Brown . Predicting Performance of OWL Reasoners: Locally or Globally ? In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning , 2014 . V. Sazonau, U. Sattler, and G. Brown. Predicting Performance of OWL Reasoners: Locally or Globally? In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, 2014."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of IEEE Workshop on Knowledge Acquisition from Distributed, Autonomous, Semantically Heterogeneous Data and Knowledge Sources","author":"Tartir S.","year":"2005","unstructured":"S. Tartir , I. B. Arpinar , M. Moore , A. P. Sheth , and B. Aleman-Meza . OntoQA: Metric-based ontology quality analysis . In Proceedings of IEEE Workshop on Knowledge Acquisition from Distributed, Autonomous, Semantically Heterogeneous Data and Knowledge Sources , 2005 . S. Tartir, I. B. Arpinar, M. Moore, A. P. Sheth, and B. Aleman-Meza. OntoQA: Metric-based ontology quality analysis. In Proceedings of IEEE Workshop on Knowledge Acquisition from Distributed, Autonomous, Semantically Heterogeneous Data and Knowledge Sources, 2005."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9077-y"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1785162.1785206"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.11.735"}],"event":{"name":"WIMS '15: 5th International Conference on Web Intelligence, Mining and Semantics","location":"Larnaca Cyprus","acronym":"WIMS '15","sponsor":["WNRI Western Norway Research Institute","University of Cyprus"]},"container-title":["Proceedings of the 5th International Conference on Web Intelligence, Mining and Semantics"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2797115.2797117","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2797115.2797117","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:43:29Z","timestamp":1750225409000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2797115.2797117"}},"subtitle":["Unveiling the key ontological features"],"short-title":[],"issued":{"date-parts":[[2015,7,13]]},"references-count":28,"alternative-id":["10.1145\/2797115.2797117","10.1145\/2797115"],"URL":"https:\/\/doi.org\/10.1145\/2797115.2797117","relation":{},"subject":[],"published":{"date-parts":[[2015,7,13]]},"assertion":[{"value":"2015-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}