{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:42Z","timestamp":1750306962618,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,6,23]],"date-time":"2013-06-23T00:00:00Z","timestamp":1371945600000},"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":[[2013,6,23]]},"DOI":"10.1145\/2479832.2479840","type":"proceedings-article","created":{"date-parts":[[2013,7,16]],"date-time":"2013-07-16T18:06:58Z","timestamp":1373998018000},"page":"73-80","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Axioms & templates"],"prefix":"10.1145","author":[{"given":"Alan","family":"Rector","sequence":"first","affiliation":[{"name":"University of Manchester, Manchester, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2013,6,23]]},"reference":[{"volume-title":"2007 The description logic handbook, edition 2","author":"Baader F.","key":"e_1_3_2_1_1_1","unstructured":"Baader , F. , Calvanese , D. , McGuinness , D. L. , Nardi , D. , and Patel-Schneider , P. F. 2007 The description logic handbook, edition 2 . Cambridge University Press . Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., and Patel-Schneider, P. F. 2007 The description logic handbook, edition 2. Cambridge University Press."},{"key":"e_1_3_2_1_2_1","volume-title":"OOPSLA-2002 Workshop on behavioural semantics.","author":"Beale T.","year":"2002","unstructured":"Beale , T. 2002 . Archetypes: Constraint-based domain models for future-proof information systems . OOPSLA-2002 Workshop on behavioural semantics. Beale, T. 2002. Archetypes: Constraint-based domain models for future-proof information systems. OOPSLA-2002 Workshop on behavioural semantics."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.05.003"},{"key":"e_1_3_2_1_4_1","unstructured":"Berners Lee T. 2003. WWW past & future. http:\/\/www.w3.org\/2003\/Talks\/0922-rsoc-tbl\/ (accessed 2012).  Berners Lee T. 2003. WWW past & future. http:\/\/www.w3.org\/2003\/Talks\/0922-rsoc-tbl\/ (accessed 2012)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05082-4_17"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-010-0351-7"},{"key":"e_1_3_2_1_7_1","unstructured":"Brachman R. J. and Levesque H. J. 1984. The tractability of subsumption in frame-based description languages. AAAI-84. 34--37.  Brachman R. J. and Levesque H. J. 1984. The tractability of subsumption in frame-based description languages. AAAI-84. 34--37."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11926078_14"},{"key":"e_1_3_2_1_9_1","volume-title":"15th National Conference on Artificial Intelligence (AAAI 98)","author":"Chaudhri V. K.","year":"1998","unstructured":"Chaudhri , V. K. , Farquhar , A. , Fikes , R. , Karp , P. D. , and Rice , a. 1998 . OKBC: A programmatic foundation for knowledge base interoperability . 15th National Conference on Artificial Intelligence (AAAI 98) . 600--607. Chaudhri, V. K., Farquhar, A., Fikes, R., Karp, P. D., and Rice, a. 1998. OKBC: A programmatic foundation for knowledge base interoperability. 15th National Conference on Artificial Intelligence (AAAI 98). 600--607."},{"key":"e_1_3_2_1_10_1","volume-title":"2012 International Description Logics workshop (DL-2012)","author":"Franconi E.","year":"2012","unstructured":"Franconi , E. , Mosca , A. , and Solomakhin , D . 2012. ORM2 encoding into Description Logics . 2012 International Description Logics workshop (DL-2012) , Rome, Italy, DL- 2012 . Franconi, E., Mosca, A., and Solomakhin, D. 2012. ORM2 encoding into Description Logics. 2012 International Description Logics workshop (DL-2012), Rome, Italy, DL-2012."},{"key":"e_1_3_2_1_11_1","unstructured":"Harris S. and Seaborn A. 2012. The SPARQL 1.1 Query Language (W3C recommendation 21 March 2013. http:\/\/www.w3.org\/TR\/sparql11-query\/ (accessed 26 Mar 2013).  Harris S. and Seaborn A. 2012. The SPARQL 1.1 Query Language (W3C recommendation 21 March 2013. http:\/\/www.w3.org\/TR\/sparql11-query\/ (accessed 26 Mar 2013)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Hitzler P. and Parsia B. 2009. Ontologies and rules. Handbook on Ontologies. 111--132.  Hitzler P. and Parsia B. 2009. Ontologies and rules. Handbook on Ontologies. 111--132.","DOI":"10.1007\/978-3-540-92673-3_5"},{"key":"e_1_3_2_1_13_1","volume-title":"International Semantic Web Conference (ISWC","author":"Horridge M.","year":"2010","unstructured":"Horridge , M. , Parsia , B. , and Sattler , U . 2010. Justification oriented proofs in OWL . International Semantic Web Conference (ISWC 2010 ). 354--369. Horridge, M., Parsia, B., and Sattler, U. 2010. Justification oriented proofs in OWL. International Semantic Web Conference (ISWC 2010). 354--369."},{"key":"e_1_3_2_1_14_1","unstructured":"Horridge M. and Patel-Schneider P. F. 2009. OIWL 2 Web Ontology language: Manchester Syntax. http:\/\/www.w3.org\/TR\/owl2-manchester-syntax\/.  Horridge M. and Patel-Schneider P. F. 2009. OIWL 2 Web Ontology language: Manchester Syntax. http:\/\/www.w3.org\/TR\/owl2-manchester-syntax\/."},{"volume-title":"Computing Explanations for Entailments in Description Logic Based Ontologies. 16th Automated Reasoning Workshop (ARW 2009), ARW 2009.","author":"Horridge M.","key":"e_1_3_2_1_15_1","unstructured":"Horridge , M. , Parsia , B. , and Sattler , U . 2009 . Computing Explanations for Entailments in Description Logic Based Ontologies. 16th Automated Reasoning Workshop (ARW 2009), ARW 2009. Horridge, M., Parsia, B., and Sattler, U. 2009. Computing Explanations for Entailments in Description Logic Based Ontologies. 16th Automated Reasoning Workshop (ARW 2009), ARW 2009."},{"key":"e_1_3_2_1_16_1","unstructured":"Iannone L. Aranguren M. E. Rector A. and Stevens R. 2008. Augmenting the expressivity of the ontology pre-processor language. OWL Experiences and Directions (OWLEd 2008).  Iannone L. Aranguren M. E. Rector A. and Stevens R. 2008. Augmenting the expressivity of the ontology pre-processor language. OWL Experiences and Directions (OWLEd 2008)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02121-3_19"},{"key":"e_1_3_2_1_18_1","volume-title":"Sandpiper Software Inc","author":"IBM","year":"2005","unstructured":"IBM , Sandpiper Software Inc . 2005 . Ontology Definition Metamodel: Third revised submission to OMG. 310. IBM, Sandpiper Software Inc. 2005. Ontology Definition Metamodel: Third revised submission to OMG. 310."},{"key":"e_1_3_2_1_19_1","unstructured":"Information Systems Group Department of Computer Science University of Oxford 2012. Hermit OWL Reasoner Home Page. http:\/\/hermit-reasoner.com\/ (accessed 2012).  Information Systems Group Department of Computer Science University of Oxford 2012. Hermit OWL Reasoner Home Page. http:\/\/hermit-reasoner.com\/ (accessed 2012)."},{"key":"e_1_3_2_1_20_1","unstructured":"Isaac A. and Summers E. 2009. SKOS Simple Knowledge Organization System Primer. http:\/\/www.w3.org\/TR\/skos-primer\/.  Isaac A. and Summers E. 2009. SKOS Simple Knowledge Organization System Primer. http:\/\/www.w3.org\/TR\/skos-primer\/."},{"volume-title":"1989 F-logic: a higher-order language for reasoning about objects, inheritance, and schemas","author":"Kifer M.","key":"e_1_3_2_1_21_1","unstructured":"Kifer , M. and Lausen , G . 1989 F-logic: a higher-order language for reasoning about objects, inheritance, and schemas . ACM Press . Kifer, M. and Lausen, G. 1989 F-logic: a higher-order language for reasoning about objects, inheritance, and schemas. ACM Press."},{"volume-title":"AMIA Fall Symposium. 709--713","author":"Kirby J.","key":"e_1_3_2_1_22_1","unstructured":"Kirby , J. and Rector , A. L . 1996. The PEN&PAD Data Entry System: From prototype to practical system . AMIA Fall Symposium. 709--713 . Kirby, J. and Rector, A. L. 1996. The PEN&PAD Data Entry System: From prototype to practical system. AMIA Fall Symposium. 709--713."},{"key":"e_1_3_2_1_23_1","first-page":"3","article-title":"Medical subject headings (MeSH)","volume":"88","author":"Lipscomb C. E.","year":"2000","unstructured":"Lipscomb , C. E. 2000 . Medical subject headings (MeSH) . Bulletin of the Medical Library Association. 88 , 3 , 265. Lipscomb, C. E. 2000. Medical subject headings (MeSH). Bulletin of the Medical Library Association. 88, 3, 265.","journal-title":"Bulletin of the Medical Library Association."},{"key":"e_1_3_2_1_24_1","unstructured":"Luciano J. and Parsia B. RichAnnotations. http:\/\/code.google.com\/p\/owl1--1\/wiki\/RichAnnotations.  Luciano J. and Parsia B. RichAnnotations. http:\/\/code.google.com\/p\/owl1--1\/wiki\/RichAnnotations."},{"key":"e_1_3_2_1_25_1","volume-title":"Wall Street Journal. The A-HED","author":"Matthews A. W.","year":"2011","unstructured":"Matthews , A. W. 2011 . Walked Into a Lamppost? Hurt While Crocheting? Help Is on the Way. New Medical-Billing System Provides Precision; Nine Codes for Macaw Mishaps . Wall Street Journal. The A-HED , 13 Sep 2011 http:\/\/tinyurl.com\/5tpxhjc. Matthews, A. W. 2011. Walked Into a Lamppost? Hurt While Crocheting? Help Is on the Way. New Medical-Billing System Provides Precision; Nine Codes for Macaw Mishaps. Wall Street Journal. The A-HED, 13 Sep 2011 http:\/\/tinyurl.com\/5tpxhjc."},{"volume-title":"Proceedings of 6th Workshop on OCL for (Meta-) Models in Multiple Application Domains (OCLApps) at the 9th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS)","author":"Milanovic M.","key":"e_1_3_2_1_26_1","unstructured":"Milanovic , M. , Gaevic , D. , Giurca , A. , Wagner , G. , and Devedzic , V . 2006. On interchanging between owl\/swrl and uml\/ocl . Proceedings of 6th Workshop on OCL for (Meta-) Models in Multiple Application Domains (OCLApps) at the 9th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS) , Genoa, Italy. 81--95. Milanovic, M., Gaevic, D., Giurca, A., Wagner, G., and Devedzic, V. 2006. On interchanging between owl\/swrl and uml\/ocl. Proceedings of 6th Workshop on OCL for (Meta-) Models in Multiple Application Domains (OCLApps) at the 9th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS), Genoa, Italy. 81--95."},{"key":"e_1_3_2_1_27_1","unstructured":"Motik Cuenco-grau etal 2009. OWL 2 Web Ontology Language Profiles. http:\/\/www.w3.org\/TR\/owl2-profiles\/ (accessed 2011).  Motik Cuenco-grau et al. 2009. OWL 2 Web Ontology Language Profiles. http:\/\/www.w3.org\/TR\/owl2-profiles\/ (accessed 2011)."},{"volume-title":"Third OWL Experiences and Directions Workshop (OWLEd-2007)","author":"Motik B.","key":"e_1_3_2_1_28_1","unstructured":"Motik , B. , Horrocks , I. , and Sattler , U . 2007. Adding integrity constraints to OWL . Third OWL Experiences and Directions Workshop (OWLEd-2007) . Motik, B., Horrocks, I., and Sattler, U. 2007. Adding integrity constraints to OWL. Third OWL Experiences and Directions Workshop (OWLEd-2007)."},{"key":"e_1_3_2_1_29_1","unstructured":"Motik B. Patel-Schneider P. F. and Parsia B. 2009. OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax. (accessed 2011).  Motik B. Patel-Schneider P. F. and Parsia B. 2009. OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax. (accessed 2011)."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1055\/s-0038-1634543"},{"key":"e_1_3_2_1_31_1","volume-title":"Representing classes as property values on the semantic web. 2005(March","author":"Noy N.","year":"2006","unstructured":"Noy , N. 2005. Representing classes as property values on the semantic web. 2005(March 2006 ), March 2006,. http:\/\/www.w3.org\/TR\/swbp-classes-as-values\/. Noy, N. 2005. Representing classes as property values on the semantic web. 2005(March 2006), March 2006,. http:\/\/www.w3.org\/TR\/swbp-classes-as-values\/."},{"volume-title":"Proc International workshop on OWL: Experiences and Directions (OWL-ED2005)","author":"Pan J. Z.","key":"e_1_3_2_1_32_1","unstructured":"Pan , J. Z. , Horrocks , I. , and Schreiber , G . 2005. OWL FA: A metamodeling extension of OWL DL . Proc International workshop on OWL: Experiences and Directions (OWL-ED2005) . Pan, J. Z., Horrocks, I., and Schreiber, G. 2005. OWL FA: A metamodeling extension of OWL DL. Proc International workshop on OWL: Experiences and Directions (OWL-ED2005)."},{"key":"e_1_3_2_1_33_1","unstructured":"Parreiras F. S. Staab S. and Winter A. 2007 TwoUse: Integrating UML models and OWL ontologies. Citeseer.  Parreiras F. S. Staab S. and Winter A. 2007 TwoUse: Integrating UML models and OWL ontologies. Citeseer."},{"key":"e_1_3_2_1_34_1","unstructured":"Pulestin C. and Parsia B. 2012. The HOBO hybrid modelling framework. OWL Experiences and Directions (OWLEd 2012). http:\/\/ceur-ws.org\/Vol-849\/paper_15.pdf.  Pulestin C. and Parsia B. 2012. The HOBO hybrid modelling framework. OWL Experiences and Directions (OWLEd 2012). http:\/\/ceur-ws.org\/Vol-849\/paper_15.pdf."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/1544144.1544147"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"Rector A. L. Bechhofer S. Goble C. A. Horrocks I. Nowlan W. A. and Solomon W. D. 1997. The GRAIL concept modelling language for medical terminology. Artificial intelligence in Medicine. 9 2 139--171.  Rector A. L. Bechhofer S. Goble C. A. Horrocks I. Nowlan W. A. and Solomon W. D. 1997. The GRAIL concept modelling language for medical terminology. Artificial intelligence in Medicine. 9 2 139--171.","DOI":"10.1016\/S0933-3657(96)00369-7"},{"volume-title":"1988 Approaches to Knowledge Representation: An Introduction","author":"Ringland G. A.","key":"e_1_3_2_1_37_1","unstructured":"Ringland , G. A. and Duce , D. A . 1988 Approaches to Knowledge Representation: An Introduction . John Wiley . Ringland, G. A. and Duce, D. A. 1988 Approaches to Knowledge Representation: An Introduction. John Wiley."},{"key":"e_1_3_2_1_38_1","unstructured":"Schulz S. Rector A. Rodrigues J. M. Chute C. G. \u00dcst\u00fcn B. and Spackman K. 2012. Ontology-based convergence of medical terminologies: SNOMED CT and ICD 11. eHealth 2012 - Health Informatics meets eHealth.  Schulz S. Rector A. Rodrigues J. M. Chute C. G. \u00dcst\u00fcn B. and Spackman K. 2012. Ontology-based convergence of medical terminologies: SNOMED CT and ICD 11. eHealth 2012 - Health Informatics meets eHealth."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1186\/2041-1480-2-S2-S6"},{"key":"e_1_3_2_1_40_1","unstructured":"Smith B. 1998. The basic tools of formal ontology. Formal Ontology in Information Systems (FOIS). 19--28.  Smith B. 1998. The basic tools of formal ontology. Formal Ontology in Information Systems (FOIS). 19--28."},{"volume-title":"1985 Conceptual Structures: Knowledge Representation in Mind and Machine","author":"Sowa J.","key":"e_1_3_2_1_41_1","unstructured":"Sowa , J. 1985 Conceptual Structures: Knowledge Representation in Mind and Machine . John Wiley & Sons . Sowa, J. 1985 Conceptual Structures: Knowledge Representation in Mind and Machine. John Wiley & Sons."},{"key":"e_1_3_2_1_42_1","unstructured":"Tsarkov D. and Palmisano I. 2012. Divide et impera: Metareasoning for large ontologies. OWL Experiences and Directions (OWLEd 2012). http:\/\/ceur-ws.org\/Vol-849\/paper_3.pdf.  Tsarkov D. and Palmisano I. 2012. Divide et impera: Metareasoning for large ontologies. OWL Experiences and Directions (OWLEd 2012). http:\/\/ceur-ws.org\/Vol-849\/paper_3.pdf."},{"volume-title":"Representation and Understanding: Studies in Cognitive Science","author":"Woods W. A.","key":"e_1_3_2_1_43_1","unstructured":"Woods , W. A. 1975 What's in a link: Foundations for semantic networks . In Representation and Understanding: Studies in Cognitive Science , D. G. Bobrow and A. M. Collins, Eds. Academic Press . Woods, W. A. 1975 What's in a link: Foundations for semantic networks. In Representation and Understanding: Studies in Cognitive Science, D. G. Bobrow and A. M. Collins, Eds. Academic Press."},{"volume-title":"1993 The ICD-10 classification of mental and behavioural disorders: diagnostic criteria for research","author":"Organization","key":"e_1_3_2_1_44_1","unstructured":"Organization , W. H. 1993 The ICD-10 classification of mental and behavioural disorders: diagnostic criteria for research . World Health Organization . Organization, W. H. 1993 The ICD-10 classification of mental and behavioural disorders: diagnostic criteria for research. World Health Organization."}],"event":{"name":"K-CAP 2013: Knowledge Capture Conference","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence"],"location":"Banff Canada","acronym":"K-CAP 2013"},"container-title":["Proceedings of the seventh international conference on Knowledge capture"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2479832.2479840","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2479832.2479840","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:14Z","timestamp":1750235954000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2479832.2479840"}},"subtitle":["distinctions & transformationsamongst ontologies, frames, & information models"],"short-title":[],"issued":{"date-parts":[[2013,6,23]]},"references-count":44,"alternative-id":["10.1145\/2479832.2479840","10.1145\/2479832"],"URL":"https:\/\/doi.org\/10.1145\/2479832.2479840","relation":{},"subject":[],"published":{"date-parts":[[2013,6,23]]},"assertion":[{"value":"2013-06-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}