{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,15]],"date-time":"2025-12-15T14:05:11Z","timestamp":1765807511503,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,12,4]],"date-time":"2017-12-04T00:00:00Z","timestamp":1512345600000},"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,12,4]]},"DOI":"10.1145\/3148011.3148013","type":"proceedings-article","created":{"date-parts":[[2017,12,18]],"date-time":"2017-12-18T13:22:50Z","timestamp":1513603370000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Orchestrating a Network of Mereo(topo)logical Theories"],"prefix":"10.1145","author":[{"given":"C. Maria","family":"Keet","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Cape Town, Cape Town, South Africa"}]},{"given":"Oliver","family":"Kutz","sequence":"additional","affiliation":[{"name":"KRDB Research Centre, Free University of Bozen-Bolzano, Bolzano, Italy"}]}],"member":"320","published-online":{"date-parts":[[2017,12,4]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-95)","author":"Asher N","year":"1995","unstructured":"N Asher and L Vieu . 1995 . Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology . In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-95) , Montreal. N Asher and L Vieu. 1995. Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal."},{"doi-asserted-by":"crossref","unstructured":"F. Baader D. Calvanese D. L. McGuinness D. Nardi and P. F. Patel-Schneider (Eds.). 2008. The Description Logics Handbook (2 ed.). Cambridge University Press.  F. Baader D. Calvanese D. L. McGuinness D. Nardi and P. F. Patel-Schneider (Eds.). 2008. The Description Logics Handbook (2 ed.). Cambridge University Press.","key":"e_1_3_2_1_2_1","DOI":"10.1017\/CBO9780511711787"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1007\/s001650200012"},{"volume-title":"Proc of IJCAI'05","author":"Bittner T.","unstructured":"T. Bittner and M. Donnelly . 2005. Computational ontologies of parthood, componenthood, and containment . In Proc of IJCAI'05 . AAAI Press, 382--387. T. Bittner and M. Donnelly. 2005. Computational ontologies of parthood, componenthood, and containment. In Proc of IJCAI'05. AAAI Press, 382--387.","key":"e_1_3_2_1_4_1"},{"volume-title":"Proc. of OM'14","author":"Codescu M.","unstructured":"M. Codescu , T. Mossakowski , and O. Kutz . 2014. A Categorical Approach to Ontology Alignment . In Proc. of OM'14 . CEUR-WS, Riva del Garda, Italy. M. Codescu, T. Mossakowski, and O. Kutz. 2014. A Categorical Approach to Ontology Alignment. In Proc. of OM'14. CEUR-WS, Riva del Garda, Italy.","key":"e_1_3_2_1_5_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1111\/j.1467-9213.2009.649.x"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1016\/j.websem.2008.05.001"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1016\/j.websem.2005.09.010"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1016\/j.artmed.2005.07.004"},{"key":"e_1_3_2_1_10_1","volume-title":"Ontology Matching","author":"Euzenat J\u00e9r\u00f4me","unstructured":"J\u00e9r\u00f4me Euzenat and Pavel Shvaiko . 2013. Ontology Matching ( 2 nd ed.). Springer . J\u00e9r\u00f4me Euzenat and Pavel Shvaiko. 2013. Ontology Matching (2nd ed.). Springer.","edition":"2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1038\/75556"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/147508.147524"},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. of OWLED'07","author":"Gr\u00fctter R.","year":"2007","unstructured":"R. Gr\u00fctter and B. Bauer-Messmer . 2007. Combining OWL with RCC for Spatioterminological Reasoning on Environmental Data . In Proc. of OWLED'07 . 6-7 June 2007 , Innsbruck, Austria. R. Gr\u00fctter and B. Bauer-Messmer. 2007. Combining OWL with RCC for Spatioterminological Reasoning on Environmental Data. In Proc. of OWLED'07. 6-7 June 2007, Innsbruck, Austria."},{"volume-title":"Proc. of FOIS'14","author":"Haemmerli M.","unstructured":"M. Haemmerli and A. C. Varzi . 2014. Adding Convexity to Mereotopology . In Proc. of FOIS'14 , Pawel Garbacz and Oliver Kutz (Eds.). IOS Press, 65--78. M. Haemmerli and A. C. Varzi. 2014. Adding Convexity to Mereotopology. In Proc. of FOIS'14, Pawel Garbacz and Oliver Kutz (Eds.). IOS Press, 65--78.","key":"e_1_3_2_1_14_1"},{"volume-title":"Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions, Shyamanta M","author":"Hahmann Torsten","unstructured":"Torsten Hahmann and Michael Gruninger . 2012. Region-based theories of space: mereotopology and beyond . In Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions, Shyamanta M . Hazarika (Ed.). IGI-Global . Torsten Hahmann and Michael Gruninger. 2012. Region-based theories of space: mereotopology and beyond. In Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions, Shyamanta M. Hazarika (Ed.). IGI-Global.","key":"e_1_3_2_1_15_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1016\/j.knosys.2005.10.002"},{"key":"e_1_3_2_1_17_1","volume-title":"Proc. of KR'06","author":"Horrocks I.","year":"2006","unstructured":"I. Horrocks , O. Kutz , and U. Sattler . 2006. The Even More Irresistible SROIQ . Proc. of KR'06 ( 2006 ), 452--457. I. Horrocks, O. Kutz, and U. Sattler. 2006. The Even More Irresistible SROIQ. Proc. of KR'06 (2006), 452--457."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1016\/j.websem.2003.07.001"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1007\/11663881_12"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.5555\/1412417.1412418"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1007\/978-3-642-30284-8_23"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1016\/j.artint.2004.02.002"},{"volume-title":"Proc. of AAAI'11","author":"Kutz O.","unstructured":"O. Kutz and T. Mossakowski . 2011. A Modular Consistency Proof for Dolce . In Proc. of AAAI'11 . AAAI Press, San Francisco, California. O. Kutz and T. Mossakowski. 2011. A Modular Consistency Proof for Dolce. In Proc. of AAAI'11. AAAI Press, San Francisco, California.","key":"e_1_3_2_1_23_1"},{"key":"e_1_3_2_1_24_1","volume-title":"Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. Logica Universalis 4, 2","author":"Kutz O.","year":"2010","unstructured":"O. Kutz , T. Mossakowski , and D. L\u00fccke . 2010 . Carnap , Goguen , and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. Logica Universalis 4, 2 (2010). O. Kutz, T. Mossakowski, and D. L\u00fccke. 2010. Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. Logica Universalis 4, 2 (2010)."},{"key":"e_1_3_2_1_25_1","volume-title":"Ontology Patterns with DOWL: The Case of Blending. In Proc. of DL'16","volume":"1577","author":"Kutz O.","year":"2016","unstructured":"O. Kutz , F. Neuhaus , M. M. Hedblom , T. Mossakowski , and M. Codescu . 2016 . Ontology Patterns with DOWL: The Case of Blending. In Proc. of DL'16 , Vol. 1577 . CEUR-WS, Cape Town, South Africa , April 22-25, 2016 . O. Kutz, F. Neuhaus, M. M. Hedblom, T. Mossakowski, and M. Codescu. 2016. Ontology Patterns with DOWL: The Case of Blending. In Proc. of DL'16, Vol. 1577. CEUR-WS, Cape Town, South Africa, April 22-25, 2016."},{"unstructured":"C. Masolo S. Borgo A. Gangemi N. Guarino and A. Oltramari. 2003. Ontology Library. WonderWeb Deliverable D18 (ver. 1.0 31-12-2003). (2003). http:\/\/wonderweb.semanticweb.org.  C. Masolo S. Borgo A. Gangemi N. Guarino and A. Oltramari. 2003. Ontology Library. WonderWeb Deliverable D18 (ver. 1.0 31-12-2003). (2003). http:\/\/wonderweb.semanticweb.org.","key":"e_1_3_2_1_26_1"},{"volume-title":"Proc. of ARQNL'14","author":"Mossakowski T.","unstructured":"T. Mossakowski , M. Codescu , O. Kutz , C. Lange , and M. Gruninger . 2014. Proof Support for Common Logic . In Proc. of ARQNL'14 . July 23 , Vienna Summer of Logic. T. Mossakowski, M. Codescu, O. Kutz, C. Lange, and M. Gruninger. 2014. Proof Support for Common Logic. In Proc. of ARQNL'14. July 23, Vienna Summer of Logic.","key":"e_1_3_2_1_27_1"},{"doi-asserted-by":"crossref","unstructured":"T. Mossakowski M. Codescu F. Neuhaus and O. Kutz. 2015. The Road to Universal Logic--Festschrift for 50th birthday of Jean-Yves Beziau Volume II. Birkh\u00e4user Chapter The distributed ontology modelling and specification language - DOL.  T. Mossakowski M. Codescu F. Neuhaus and O. Kutz. 2015. The Road to Universal Logic--Festschrift for 50th birthday of Jean-Yves Beziau Volume II. Birkh\u00e4user Chapter The distributed ontology modelling and specification language - DOL.","key":"e_1_3_2_1_28_1","DOI":"10.1007\/978-3-319-15368-1_21"},{"unstructured":"B. Motik P. F. Patel-Schneider and B. Parsia. 2009. OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax. W3C Recommendation. W3C. http:\/\/www.w3.org\/TR\/owl2-syntax\/.  B. Motik P. F. Patel-Schneider and B. Parsia. 2009. OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax. W3C Recommendation. W3C. http:\/\/www.w3.org\/TR\/owl2-syntax\/.","key":"e_1_3_2_1_29_1"},{"volume-title":"Proc. of KR'92","author":"Randell D. A.","unstructured":"D. A. Randell , Z. Cui , and A. G. Cohn . 1992. A spatial logic based on regions and connection . In Proc. of KR'92 . Morgan Kaufmann, 165--176. D. A. Randell, Z. Cui, and A. G. Cohn. 1992. A spatial logic based on regions and connection. In Proc. of KR'92. Morgan Kaufmann, 165--176.","key":"e_1_3_2_1_30_1"},{"volume-title":"Proc. of AMIA Symp'00","author":"Rogers J.","unstructured":"J. Rogers and A. Rector . 2000. GALEN's model of parts and wholes: experience and comparisons . In Proc. of AMIA Symp'00 . AMIA, 714--718. J. Rogers and A. Rector. 2000. GALEN's model of parts and wholes: experience and comparisons. In Proc. of AMIA Symp'00. AMIA, 714--718.","key":"e_1_3_2_1_31_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_32_1","DOI":"10.1016\/j.jbi.2003.11.007"},{"key":"e_1_3_2_1_33_1","volume-title":"Proc of OWLED'13 (CEUR-WS)","volume":"1080","author":"Schneider M.","unstructured":"M. Schneider , S. Rudolph , and G. Sutcliffe . 2013. Modeling in OWL 2 without Restrictions . In Proc of OWLED'13 (CEUR-WS) , Vol. 1080 . M. Schneider, S. Rudolph, and G. Sutcliffe. 2013. Modeling in OWL 2 without Restrictions. In Proc of OWLED'13 (CEUR-WS), Vol. 1080."},{"volume-title":"Proc. of AMIA Symp'00","author":"Schulz S.","unstructured":"S. Schulz , U. Hahn , and M. Romacker . 2000. Modeling Anatomical Spatial Relations with Description Logics . In Proc. of AMIA Symp'00 . 779--783. S. Schulz, U. Hahn, and M. Romacker. 2000. Modeling Anatomical Spatial Relations with Description Logics. In Proc. of AMIA Symp'00. 779--783.","key":"e_1_3_2_1_34_1"},{"key":"e_1_3_2_1_35_1","volume-title":"Suarez-Figueroa and others","author":"M.","year":"2008","unstructured":"M. C. Suarez-Figueroa and others . 2008 . NeOn Methodology for Building Contextualized Ontology Networks. NeOn Deliverable D5.4.1. NeOn Project . M. C. Suarez-Figueroa and others. 2008. NeOn Methodology for Building Contextualized Ontology Networks. NeOn Deliverable D5.4.1. NeOn Project."},{"volume-title":"Handbook of Spatial Logics","author":"Varzi A.C.","unstructured":"A.C. Varzi . 2007. Handbook of Spatial Logics . Berlin Heidelberg : Springer Verlag , Chapter Spatial reasoning and ontology: parts, wholes, and locations, 945--1038. A.C. Varzi. 2007. Handbook of Spatial Logics. Berlin Heidelberg: Springer Verlag, Chapter Spatial reasoning and ontology: parts, wholes, and locations, 945--1038.","key":"e_1_3_2_1_36_1"}],"event":{"sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence"],"acronym":"K-CAP 2017","name":"K-CAP 2017: Knowledge Capture Conference","location":"Austin TX USA"},"container-title":["Proceedings of the Knowledge Capture Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3148011.3148013","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3148011.3148013","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:33Z","timestamp":1750213593000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3148011.3148013"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,4]]},"references-count":36,"alternative-id":["10.1145\/3148011.3148013","10.1145\/3148011"],"URL":"https:\/\/doi.org\/10.1145\/3148011.3148013","relation":{},"subject":[],"published":{"date-parts":[[2017,12,4]]},"assertion":[{"value":"2017-12-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}