{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:44:56Z","timestamp":1725471896363},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540472247"},{"type":"electronic","value":"9783540472278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11901181_20","type":"book-chapter","created":{"date-parts":[[2006,10,26]],"date-time":"2006-10-26T15:42:23Z","timestamp":1161877343000},"page":"255-266","source":"Crossref","is-referenced-by-count":7,"title":["Representing Transitive Propagation in OWL"],"prefix":"10.1007","author":[{"given":"Julian","family":"Seidenberg","sequence":"first","affiliation":[]},{"given":"Alan","family":"Rector","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"TheFreeDictionary.com: Transitivity definition (2004)"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Winston, M., Chaffin, R., Herrmann, D.: A taxonomy of part-whole relations. In: Cognitive Science, vol.\u00a011, pp. 417\u2013444 (1987)","DOI":"10.1207\/s15516709cog1104_2"},{"issue":"8","key":"20_CR3","first-page":"10","volume":"5","author":"J.J. Odell","year":"1994","unstructured":"Odell, J.J.: Six different kinds of composition. Journal of Object-Oriented Programming\u00a05(8), 10\u201315 (1994)","journal-title":"Journal of Object-Oriented Programming"},{"key":"20_CR4","unstructured":"Smith, M.K., Welty, C., McGuinness, D.L.: OWL web ontology language guide. In: W3C Recommendation (February 10, 2004)"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL rules language. In: Proc. of the Thirteenth International World Wide Web Conference (WWW 2004), ASCM, pp. 723\u2013731 (2004)","DOI":"10.1145\/988672.988771"},{"issue":"1","key":"20_CR6","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.websem.2005.05.003","volume":"3","author":"I. Horrocks","year":"2005","unstructured":"Horrocks, I., Patel-Schneider, P.F., Bechhofer, S., Tsarkov, D.: OWL rules: A proposal and prototype implementation. Journal of Web Semantics\u00a03(1), 23\u201340 (2005)","journal-title":"Journal of Web Semantics"},{"key":"20_CR7","unstructured":"Spackman, K.: Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT. In: Journal of the American Medical Informatics Association, Fall Symposium (2000)"},{"issue":"2","key":"20_CR8","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0933-3657(96)00369-7","volume":"9","author":"A.L. Rector","year":"1997","unstructured":"Rector, A.L., Bechhofer, S., Goble, C., Horrocks, I., Nowlan, W.A., Solomon, W.D.: The GRAIL concept modelling language for medical terminology. Artificial Intelligence in Medicine\u00a09(2), 139\u2013171 (1997)","journal-title":"Artificial Intelligence in Medicine"},{"key":"20_CR9","unstructured":"Rector, A.: Analysis of propagation along transitive roles: Formalisation of the GALEN experience with medical ontologies. In: DL 2002 (2002)"},{"key":"20_CR10","unstructured":"Patel-Schneider, P.: The OWL 1.1 Extension to the W3C OWL Web Ontology Language (2005)"},{"key":"20_CR11","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The Even More Irresistible SROIQ. Technical report, University of Manchester (2005)"},{"issue":"1\u20132","key":"20_CR12","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.artint.2004.06.002","volume":"160","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Sattler, U.: Decidability of SHIQ with complex role inclusion axioms. Artificial Intelligence\u00a0160(1\u20132), 79\u2013104 (2004)","journal-title":"Artificial Intelligence"},{"key":"20_CR13","unstructured":"Rector, A.L.: Normalisation of ontology implementations: Towards modularity, re-use, and maintainability. In: EKAW Workshop on Ontologies for Multiagent Systems (2002)"},{"key":"20_CR14","unstructured":"Dameron, O.: JOT: a Scripting Environment for Creating and Managing Ontologies. In: 7th International Prot\u00e9g\u00e9 Conference (2004)"},{"key":"20_CR15","unstructured":"Schulz, S., Hahn, U., Romacher, M.: Part-Whole Reasoning in Medical Ontologies Revisited: Introducing Triplets into Classification-Based Description Logics. In: AMIA Annual Fall Symposium, Hanley & Belfus, pp. 830\u2013834 (1998)"},{"key":"20_CR16","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics\u00a01, 7\u201326 (2003)","journal-title":"Journal of Web Semantics"},{"key":"20_CR17","unstructured":"Tsarkov, D., Horrocks, I.: Reasoner prototype: Implementing new reasoner with datatypes support. WonderWeb Project Deliverable (2003)"},{"key":"20_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER System Description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS, vol.\u00a02083, p. 701. Springer, Heidelberg (2001)"},{"key":"20_CR19","unstructured":"Parsia, B., Sirin, E.: Pellet: An OWL DL reasoner. In: ISWC 2004 (2004)"},{"key":"20_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-540-45085-6_6","volume-title":"Automated Deduction \u2013 CADE-19","author":"C. Lutz","year":"2003","unstructured":"Lutz, C., Sattler, U., Tendera, L.: The complexity of finite model reasoning in description logics. In: Baader, F. (ed.) CADE 2003. LNCS, vol.\u00a02741, pp. 60\u201374. Springer, Heidelberg (2003)"},{"key":"20_CR21","unstructured":"Horrocks, I., Rector, A.L., Goble, C.A.: A Description Logic Based Schema for the Classification of Medical Data. In: KRDB (1996)"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Seidenberg, J., Rector, A.: Web ontology segmentation: Analysis, classification and use. In: 15th International World Wide Web Conference (2006)","DOI":"10.1145\/1135777.1135785"},{"key":"20_CR23","unstructured":"Drummond, N., Horridge, M., Wang, H., Rogers, J., Knublauch, H., Stevens, R., Wroe, C., Rector, A.: Designing User Interfaces to Minimise Common Errors in Ontology Development: the CO-ODE and HyOntUse Projects. In: Cox, S.J. (ed.) Proceedings of the UK e-Science All Hands Meeting (2004)"},{"key":"20_CR24","unstructured":"Rogers, J., Rector, A.: GALEN\u2019s model of parts and wholes: Experience and comparisons. In: Proceedings of AMIA Symposium, pp. 714\u2013718 (2000)"},{"key":"20_CR25","unstructured":"Horrocks, I.: Optimisation techniques for expressive description logics. Technical Report UMCS-97-2-1, University of Manchester, Department of Computer Science (1997)"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling - ER 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11901181_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:36:52Z","timestamp":1619509012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11901181_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540472247","9783540472278"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11901181_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}