{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:09:24Z","timestamp":1750219764914,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,21]],"date-time":"2022-10-21T00:00:00Z","timestamp":1666310400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Science Foundation (NSF) of China","award":["71571186, 61273322"],"award-info":[{"award-number":["71571186, 61273322"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10,21]]},"DOI":"10.1145\/3565387.3565401","type":"proceedings-article","created":{"date-parts":[[2022,12,14]],"date-time":"2022-12-14T01:47:11Z","timestamp":1670982431000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["Reducing the Risk of Completeness Loss by Subgraph Reasoning in Engineering Applications"],"prefix":"10.1145","author":[{"given":"Xixi","family":"Zhu","sequence":"first","affiliation":[{"name":"Science and Technology on Information Systems and Engineering Laboratory, National University of Defense Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bin","family":"Liu","sequence":"additional","affiliation":[{"name":"Science and Technology on Information Systems and Engineering Laboratory, National University of Defense Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhaoyun","family":"Ding","sequence":"additional","affiliation":[{"name":"Science and Technology on Information Systems and Engineering Laboratory, National University of Defense Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Yao","sequence":"additional","affiliation":[{"name":"Science and Technology on Information Systems and Engineering Laboratory, National University of Defense Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cheng","family":"Zhu","sequence":"additional","affiliation":[{"name":"Science and Technology on Information Systems and Engineering Laboratory, National University of Defense Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xianqiang","family":"Zhu","sequence":"additional","affiliation":[{"name":"Science and Technology on Information Systems and Engineering Laboratory, National University of Defense Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,12,13]]},"reference":[{"volume-title":"What is an ontology? Handbook on ontologies","author":"Guarino","key":"e_1_3_2_1_1_1","unstructured":"Guarino , Nicola, Daniel Oberle , and Steffen Staab. 2009. What is an ontology? Handbook on ontologies . Springer , Berlin, Heidelberg , 1-17. DOI: https:\/\/doi.org\/10.1007\/978-3-540-92673-3_0. 10.1007\/978-3-540-92673-3_0 Guarino, Nicola, Daniel Oberle, and Steffen Staab. 2009. What is an ontology? Handbook on ontologies. Springer, Berlin, Heidelberg, 1-17. DOI: https:\/\/doi.org\/10.1007\/978-3-540-92673-3_0."},{"volume-title":"the scope of logic, methodology, and philosophy of science","author":"Hacking","key":"e_1_3_2_1_2_1","unstructured":"Hacking , Ian. 2002. \"Historical ontology. In the scope of logic, methodology, and philosophy of science . Springer , Dordrecht , 583-600. DOI: https:\/\/doi.org\/10.1007\/978-94-017-0475-5_13. 10.1007\/978-94-017-0475-5_13 Hacking, Ian. 2002. \"Historical ontology. In the scope of logic, methodology, and philosophy of science. Springer, Dordrecht, 583-600. DOI: https:\/\/doi.org\/10.1007\/978-94-017-0475-5_13."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0501-34"},{"key":"e_1_3_2_1_4_1","volume-title":"Rule languages for the semantic web. Emerging Technologies in Data Mining and Information Security","author":"Mehla S","year":"2019","unstructured":"Mehla S , Jain S. 2019. Rule languages for the semantic web. Emerging Technologies in Data Mining and Information Security . Springer , Singapore , 2019 : 825-834. DOI: https:\/\/doi.org\/10.1007\/978-981-13-1951-8_73. 10.1007\/978-981-13-1951-8_73 Mehla S, Jain S. 2019. Rule languages for the semantic web. Emerging Technologies in Data Mining and Information Security. Springer, Singapore, 2019: 825-834. DOI: https:\/\/doi.org\/10.1007\/978-981-13-1951-8_73."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2008.05.001"},{"key":"e_1_3_2_1_6_1","volume-title":"International conference on principles and practice of constraint programming. Springer","author":"Horrocks","year":"2005","unstructured":"Horrocks , Ian. 2005 . Owl: A description logic-based ontology language . International conference on principles and practice of constraint programming. Springer , Berlin, Heidelberg, DOI: https:\/\/doi.org\/10.1007\/11564751_2. 10.1007\/11564751_2 Horrocks, Ian. 2005. Owl: A description logic-based ontology language. International conference on principles and practice of constraint programming. Springer, Berlin, Heidelberg, DOI: https:\/\/doi.org\/10.1007\/11564751_2."},{"key":"e_1_3_2_1_7_1","volume-title":"International Semantic Web Conference. Springer","author":"Glimm B","year":"2014","unstructured":"Glimm B , Kazakov Y , Liebig T , 2014 . Abstraction refinement for ontology materialization . International Semantic Web Conference. Springer , Cham , 2014: 180-195. DOI: https:\/\/doi.org\/10.1007\/978-3-319-11915-1_12. 10.1007\/978-3-319-11915-1_12 Glimm B, Kazakov Y, Liebig T, 2014. Abstraction refinement for ontology materialization. International Semantic Web Conference. Springer, Cham, 2014: 180-195. DOI: https:\/\/doi.org\/10.1007\/978-3-319-11915-1_12."},{"key":"e_1_3_2_1_8_1","volume-title":"International Joint Conference on Automated Reasoning. Springer","author":"Haarslev V","year":"2001","unstructured":"Haarslev V , M\u00f6ller R , Turhan A Y . 2001 . Exploiting pseudo models for TBox and ABox reasoning in expressive description logics . International Joint Conference on Automated Reasoning. Springer , Berlin, Heidelberg , 2001: 61-75. DOI: https:\/\/doi.org\/10.1007\/3-540-45744-5_6. 10.1007\/3-540-45744-5_6 Haarslev V, M\u00f6ller R, Turhan A Y. 2001. Exploiting pseudo models for TBox and ABox reasoning in expressive description logics. International Joint Conference on Automated Reasoning. Springer, Berlin, Heidelberg, 2001: 61-75. DOI: https:\/\/doi.org\/10.1007\/3-540-45744-5_6."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems. IEEE","author":"Rabbi F","year":"2013","unstructured":"Rabbi F , MacCaull W , Faruqui R U . 2013 . A scalable ontology reasoner via incremental materialization . Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems. IEEE , 2013: 221-226. DOI: 10.1109\/CBMS.2013.6627792. 10.1109\/CBMS.2013.6627792 Rabbi F, MacCaull W, Faruqui R U. 2013. A scalable ontology reasoner via incremental materialization. Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems. IEEE, 2013: 221-226. DOI: 10.1109\/CBMS.2013.6627792."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2010.07.006"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"e_1_3_2_1_12_1","volume-title":"International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Springer","author":"Haarslev V","year":"2000","unstructured":"Haarslev V , M\u00f6ller R. 2000 . Consistency testing: The RACE experience . International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Springer , Berlin, Heidelberg , 2000: 57-61. DOI: https:\/\/doi.org\/10.1007\/10722086_5. 10.1007\/10722086_5 Haarslev V, M\u00f6ller R. 2000. Consistency testing: The RACE experience. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Springer, Berlin, Heidelberg, 2000: 57-61. DOI: https:\/\/doi.org\/10.1007\/10722086_5."},{"key":"e_1_3_2_1_13_1","volume-title":"International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Springer","author":"Horrocks I.","year":"1998","unstructured":"Horrocks I. 1998 . The fact system . International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Springer , Berlin, Heidelberg , 1998: 307-312. DOI: https:\/\/doi.org\/10.1007\/3-540-69778-0_30. 10.1007\/3-540-69778-0_30 Horrocks I. 1998. The fact system. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Springer, Berlin, Heidelberg, 1998: 307-312. DOI: https:\/\/doi.org\/10.1007\/3-540-69778-0_30."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-014-9305-1"},{"key":"e_1_3_2_1_15_1","volume-title":"Extended Semantic Web Conference. Springer","author":"Thomas E","year":"2010","unstructured":"Thomas E , Pan J Z , Ren Y. 2010 . TrOWL: Tractable OWL 2 reasoning infrastructure . Extended Semantic Web Conference. Springer , Berlin, Heidelberg , 2010: 431-435. DOI: https:\/\/doi.org\/10.1007\/978-3-642-13489-0_38. 10.1007\/978-3-642-13489-0_38 Thomas E, Pan J Z, Ren Y. 2010. TrOWL: Tractable OWL 2 reasoning infrastructure. Extended Semantic Web Conference. Springer, Berlin, Heidelberg, 2010: 431-435. DOI: https:\/\/doi.org\/10.1007\/978-3-642-13489-0_38."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10639-017-9574-5"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1613\/jair.3470","article-title":"Completeness guarantees for incomplete ontology reasoners: Theory and practice","volume":"43","author":"Grau B C","year":"2012","unstructured":"Grau B C , Motik B , Stoilos G , 2012 . Completeness guarantees for incomplete ontology reasoners: Theory and practice . Journal of Artificial Intelligence Research , 43 : 419 - 476 . DOI: https:\/\/doi.org\/10.1613\/jair.3470. 10.1613\/jair.3470 Grau B C, Motik B, Stoilos G, 2012. Completeness guarantees for incomplete ontology reasoners: Theory and practice. Journal of Artificial Intelligence Research, 43: 419-476. DOI: https:\/\/doi.org\/10.1613\/jair.3470.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"e_1_3_2_1_18_1","volume-title":"European Semantic Web Conference. Springer","author":"Paulheim H","year":"2016","unstructured":"Paulheim H , Stuckenschmidt H. 2016 . Fast approximate a-box consistency checking using machine learning . European Semantic Web Conference. Springer , Cham , 2016: 135-150. DOI: https:\/\/doi.org\/10.1007\/978-3-319-34129-3_9. 10.1007\/978-3-319-34129-3_9 Paulheim H, Stuckenschmidt H. 2016. Fast approximate a-box consistency checking using machine learning. European Semantic Web Conference. Springer, Cham, 2016: 135-150. DOI: https:\/\/doi.org\/10.1007\/978-3-319-34129-3_9."},{"key":"#cr-split#-e_1_3_2_1_19_1.1","doi-asserted-by":"crossref","unstructured":"Schmidt-Schau\u00df M Smolka G. 1991. Attributive concept descriptions with complements. Artificial intelligence 48(1): 1-26. DOI: https:\/\/doi.org\/10.1016\/0004-3702(91)90078-X. 10.1016\/0004-3702(91)90078-X","DOI":"10.1016\/0004-3702(91)90078-X"},{"key":"#cr-split#-e_1_3_2_1_19_1.2","doi-asserted-by":"crossref","unstructured":"Schmidt-Schau\u00df M Smolka G. 1991. Attributive concept descriptions with complements. Artificial intelligence 48(1): 1-26. DOI: https:\/\/doi.org\/10.1016\/0004-3702(91)90078-X.","DOI":"10.1016\/0004-3702(91)90078-X"},{"key":"e_1_3_2_1_20_1","volume-title":"International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Springer","author":"Baumgartner P.","year":"1998","unstructured":"Baumgartner P. 1998 . Hyper tableau\u2014the next generation . International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Springer , Berlin, Heidelberg , 1998: 60-76. DOI:https:\/\/doi.org\/10.1007\/3-540-69778-0_14. 10.1007\/3-540-69778-0_14 Baumgartner P. 1998. Hyper tableau\u2014the next generation. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Springer, Berlin, Heidelberg, 1998: 60-76. DOI:https:\/\/doi.org\/10.1007\/3-540-69778-0_14."},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the 20th international conference on World wide web. 2011: 645-654","author":"Kr\u00f6tzsch M","year":"2011","unstructured":"Kr\u00f6tzsch M , Maier F , Krisnadhi A , 2011 . A better uncle for OWL: Nominal schemas for integrating rules and ontologies . Proceedings of the 20th international conference on World wide web. 2011: 645-654 . DOI: https:\/\/doi.org\/10.1145\/1963405.1963496. 10.1145\/1963405.1963496 Kr\u00f6tzsch M, Maier F, Krisnadhi A, 2011. A better uncle for OWL: Nominal schemas for integrating rules and ontologies. Proceedings of the 20th international conference on World wide web. 2011: 645-654. DOI: https:\/\/doi.org\/10.1145\/1963405.1963496."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008687430626"},{"volume-title":"Description logics. Handbook on ontologies","author":"Baader","key":"e_1_3_2_1_23_1","unstructured":"Baader , Franz, Ian Horrocks , and Ulrike Sattler. 2004. Description logics. Handbook on ontologies . Springer , Berlin, Heidelberg , 3-28. DOI: https:\/\/doi.org\/DOI: 10.1007\/978-3-540-24750-0_1. 10.1007\/978-3-540-24750-0_1 Baader, Franz, Ian Horrocks, and Ulrike Sattler. 2004. Description logics. Handbook on ontologies. Springer, Berlin, Heidelberg, 3-28. DOI: https:\/\/doi.org\/DOI: 10.1007\/978-3-540-24750-0_1."},{"key":"e_1_3_2_1_24_1","volume-title":"International Semantic Web Conference. Springer","author":"Angles R","year":"2008","unstructured":"Angles R , Gutierrez C. 2008 . The expressive power of SPARQL . International Semantic Web Conference. Springer , Berlin, Heidelberg , 2008: 114-129. DOI: https:\/\/doi.org\/10.1007\/978-3-540-88564-1_8. 10.1007\/978-3-540-88564-1_8 Angles R, Gutierrez C. 2008. The expressive power of SPARQL. International Semantic Web Conference. Springer, Berlin, Heidelberg, 2008: 114-129. DOI: https:\/\/doi.org\/10.1007\/978-3-540-88564-1_8."},{"issue":"5","key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/SW-190363","article-title":"Deep learning for noise-tolerant RDFS reasoning","volume":"10","author":"Makni B","year":"2019","unstructured":"Makni B , Hendler J. 2019 . Deep learning for noise-tolerant RDFS reasoning . Semantic Web , 10 ( 5 ): 1 - 40 . DOI: https:\/\/doi.org\/10.3233\/SW-190363. 10.3233\/SW-190363 Makni B, Hendler J. 2019. Deep learning for noise-tolerant RDFS reasoning. Semantic Web, 10(5):1-40. DOI: https:\/\/doi.org\/10.3233\/SW-190363.","journal-title":"Semantic Web"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.06.005"},{"key":"e_1_3_2_1_27_1","volume-title":"International Workshop on Rules and Rule Markup Languages for the Semantic Web. Springer","author":"Golbreich C.","year":"2004","unstructured":"Golbreich C. 2004 . Combining rule and ontology reasoners for the semantic web . International Workshop on Rules and Rule Markup Languages for the Semantic Web. Springer , Berlin, Heidelberg , 2004: 6-22. DOI: https:\/\/doi.org\/10.1007\/978-3-540-30504-0_2. 10.1007\/978-3-540-30504-0_2 Golbreich C. 2004. Combining rule and ontology reasoners for the semantic web. International Workshop on Rules and Rule Markup Languages for the Semantic Web. Springer, Berlin, Heidelberg, 2004: 6-22. DOI: https:\/\/doi.org\/10.1007\/978-3-540-30504-0_2."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213017600156"},{"key":"e_1_3_2_1_29_1","volume-title":"Zhuangzhi, Jisuanji Shebei He Cunchu Jiezhi. Hunan Province: CN112231422B","author":"Bin L","year":"2021","unstructured":"Bin L , Hang C , Min L , 2021. Yizhong Tushuju Hecheng Fangfa , Zhuangzhi, Jisuanji Shebei He Cunchu Jiezhi. Hunan Province: CN112231422B , 2021 -02-26 (in Chinese) . Bin L, Hang C, Min L, 2021. Yizhong Tushuju Hecheng Fangfa, Zhuangzhi, Jisuanji Shebei He Cunchu Jiezhi. Hunan Province: CN112231422B, 2021-02-26 (in Chinese)."}],"event":{"name":"CSAE 2022: The 6th International Conference on Computer Science and Application Engineering","acronym":"CSAE 2022","location":"Virtual Event China"},"container-title":["The 6th International Conference on Computer Science and Application Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3565387.3565401","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3565387.3565401","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:13Z","timestamp":1750178233000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3565387.3565401"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,21]]},"references-count":30,"alternative-id":["10.1145\/3565387.3565401","10.1145\/3565387"],"URL":"https:\/\/doi.org\/10.1145\/3565387.3565401","relation":{},"subject":[],"published":{"date-parts":[[2022,10,21]]}}}