{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T15:05:03Z","timestamp":1772809503522,"version":"3.50.1"},"reference-count":22,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2017,10,24]],"date-time":"2017-10-24T00:00:00Z","timestamp":1508803200000},"content-version":"vor","delay-in-days":296,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":["asistdl.onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Proc. Assoc. Info. Sci. Tech."],"published-print":{"date-parts":[[2017,1]]},"abstract":"<jats:title>ABSTRACT<\/jats:title><jats:p>Taxonomy alignment is a way to integrate two or more taxonomies. Semantic interoperability among datasets, information systems and knowledge bases is facilitated by combining the different input taxonomies into merged taxonomies that reconcile apparent differences or conflicts. We show how alignment problems can be solved with a logic\u2010based region connection calculus (RCC\u20105) approach, using five base relations to compare concepts: <jats:italic>congruence, inclusion, inverse inclusion, overlap<\/jats:italic> and <jats:italic>disjointness<\/jats:italic>. To illustrate this method, we use different geo\u2010taxonomies, which organize the United States into several, apparently conflicting, geospatial hierarchies. For example, we align <jats:italic>T<\/jats:italic><jats:sub>CEN<\/jats:sub>, a taxonomy derived from the Census Bureau's regions map, with <jats:italic>T<\/jats:italic><jats:sub>NDC<\/jats:sub>, from the National Diversity Council (NDC), and with <jats:italic>T<\/jats:italic><jats:sub>TZ<\/jats:sub>, a taxonomy capturing the U.S. time zones. Using these case studies, we show how this logic\u2010based approach can reconcile conflicts between taxonomies. We have implemented these case studies with an open source tool called Euler\/X which has been applied primarily for solving complex alignment problems in biological classification. In this paper, we demonstrate the feasibility and broad applicability of this approach to other domains and alignment problems in support of semantic interoperability.<\/jats:p>","DOI":"10.1002\/pra2.2017.14505401006","type":"journal-article","created":{"date-parts":[[2017,10,24]],"date-time":"2017-10-24T03:35:36Z","timestamp":1508816136000},"page":"46-56","update-policy":"https:\/\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Agreeing to disagree: Reconciling conflicting taxonomic views using a logic\u2010based approach"],"prefix":"10.1002","volume":"54","author":[{"given":"Yi\u2010Yun","family":"Cheng","sequence":"first","affiliation":[{"name":"School of Information Sciences University of Illinois at Urbana\u2010Champaign  USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nico","family":"Franz","sequence":"additional","affiliation":[{"name":"School of Life Sciences Arizona State University  USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jodi","family":"Schneider","sequence":"additional","affiliation":[{"name":"School of Information Sciences University of Illinois at Urbana\u2010Champaign  USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shizhuo","family":"Yu","sequence":"additional","affiliation":[{"name":"Department of Computer Science University of California at Davis  USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Rodenhausen","sequence":"additional","affiliation":[{"name":"School of Information University of Arizona  USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertram","family":"Lud\u00e4scher","sequence":"additional","affiliation":[{"name":"School of Information Sciences University of Illinois at Urbana\u2010Champaign  USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2017,10,24]]},"reference":[{"key":"e_1_2_10_2_1","doi-asserted-by":"crossref","unstructured":"Bachmair L. Ganzinger H. &Waldmann U.(1993). Set constraints are the monadic class.Logic in Computer Science 75\u201383. doi:10.1109\/LICS.1993.287598.","DOI":"10.1109\/LICS.1993.287598"},{"issue":"1","key":"e_1_2_10_3_1","first-page":"731","article-title":"Tractable set constraints","volume":"45","author":"Bodirsky M.","year":"2012","journal-title":"J. Artif. Int. Res"},{"key":"e_1_2_10_4_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/6352.001.0001"},{"key":"e_1_2_10_5_1","doi-asserted-by":"publisher","DOI":"10.1045\/june2006-chan"},{"key":"e_1_2_10_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16462-5_27"},{"key":"e_1_2_10_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-6526(07)03013-1"},{"key":"e_1_2_10_8_1","doi-asserted-by":"publisher","DOI":"10.5771\/0943-7444-2016-2-107"},{"key":"e_1_2_10_9_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ICLP.2012.277"},{"key":"e_1_2_10_10_1","doi-asserted-by":"publisher","DOI":"10.3233\/SW-160220"},{"key":"e_1_2_10_11_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0118247"},{"key":"e_1_2_10_12_1","doi-asserted-by":"publisher","DOI":"10.1093\/sysbio\/syw023"},{"key":"e_1_2_10_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-01561-8"},{"key":"e_1_2_10_14_1","volume-title":"Systems of knowledge organization for digital libraries: Beyond traditional authority files","author":"Hodge G.","year":"2000"},{"key":"e_1_2_10_15_1","doi-asserted-by":"crossref","unstructured":"Jung J. J.(2006 November). Taxonomy alignment for interoperability between heterogeneous digital libraries. InInternational conference on asian digital libraries(p.274\u2013282).Berlin Heidelberg:Springer.","DOI":"10.1007\/11931584_30"},{"key":"e_1_2_10_16_1","doi-asserted-by":"publisher","DOI":"10.1002\/asi.23268"},{"key":"e_1_2_10_17_1","doi-asserted-by":"crossref","unstructured":"Pfeifer K. &Peukert E.(2013 September). Integration of text mining taxonomies. InInternational joint conference on knowledge discovery knowledge engineering and knowledge management(p.39\u201355).Berlin Heidelberg:Springer. doi:10.1007\/978-3-662-46549-3_3.","DOI":"10.1007\/978-3-662-46549-3_3"},{"key":"e_1_2_10_18_1","first-page":"165","article-title":"A spatial logic based on regions and connection","volume":"92","author":"Randell D. A.","year":"1992","journal-title":"Knowledge Representation and Reason"},{"key":"e_1_2_10_19_1","doi-asserted-by":"crossref","unstructured":"Remsen D.(2016). The use and limits of scientific names in biological informatics.ZooKeys (550) 207.","DOI":"10.3897\/zookeys.550.9546"},{"key":"e_1_2_10_20_1","doi-asserted-by":"publisher","DOI":"10.5771\/0943-7444-2012-3-179"},{"key":"e_1_2_10_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ecoinf.2007.07.005"},{"key":"e_1_2_10_22_1","doi-asserted-by":"crossref","unstructured":"Thau D. Bowers S. &Lud\u00e4scher B.(2008 October).Merging taxonomies under RCC\u20105 algebraic articulations. In Proceedings of the 2nd international workshop on ontologies and information systems for the semantic web (p.47\u201354).ACM.","DOI":"10.1145\/1458484.1458492"},{"key":"e_1_2_10_23_1","doi-asserted-by":"publisher","DOI":"10.1081\/E-ELIS3-120043711"}],"container-title":["Proceedings of the Association for Information Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fpra2.2017.14505401006","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/pra2.2017.14505401006","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full-xml\/10.1002\/pra2.2017.14505401006","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/asistdl.onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/pra2.2017.14505401006","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T16:25:06Z","timestamp":1761063906000},"score":1,"resource":{"primary":{"URL":"https:\/\/asistdl.onlinelibrary.wiley.com\/doi\/10.1002\/pra2.2017.14505401006"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["10.1002\/pra2.2017.14505401006"],"URL":"https:\/\/doi.org\/10.1002\/pra2.2017.14505401006","archive":["Portico"],"relation":{},"ISSN":["2373-9231","2373-9231"],"issn-type":[{"value":"2373-9231","type":"print"},{"value":"2373-9231","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,1]]},"assertion":[{"value":"2017-10-24","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}