{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:54:30Z","timestamp":1725573270047},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540297543"},{"type":"electronic","value":"9783540320821"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11574620_53","type":"book-chapter","created":{"date-parts":[[2005,10,16]],"date-time":"2005-10-16T01:05:16Z","timestamp":1129424716000},"page":"745-757","source":"Crossref","is-referenced-by-count":31,"title":["Debugging OWL-DL Ontologies: A Heuristic Approach"],"prefix":"10.1007","author":[{"given":"Hai","family":"Wang","sequence":"first","affiliation":[]},{"given":"Matthew","family":"Horridge","sequence":"additional","affiliation":[]},{"given":"Alan","family":"Rector","sequence":"additional","affiliation":[]},{"given":"Nick","family":"Drummond","sequence":"additional","affiliation":[]},{"given":"Julian","family":"Seidenberg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"53_CR1","unstructured":"Bechhoffer, S.: The dig description logic interface: Dig\/1.1. Technical report, The University Of Manchester, The University Of Manchester, Oxford Road, Manchester M13 9PL (2003)"},{"key":"53_CR2","unstructured":"Bechoffer, S., van Harmlen, F., Hendler, J., Horrocks, I., McGuinnes, D., Patel-Schneider, P., Stein, L.A.: Owl web ontology langauge reference (February 2004)"},{"key":"53_CR3","unstructured":"Borgida, A., Franconi, E., Horrocks, I., McGuinness, D., Patel-Schneider, P.: Explaining alc subsumption. In: Description Logics (1999)"},{"key":"53_CR4","unstructured":"Parsia, B., Sirin, E.: Pellet: An owl dl reasoner. In: Moller, R., Haaslev, V. (eds.) Proceedings of the International Workshop on Description Logics (DL 2004) (June 2004)"},{"key":"53_CR5","unstructured":"Rector, A., Knublauch, H., Musen, M.: Editing description logic ontologies with the protege-owl plugin. In: International Workshop on Description Logics - DL 2004 (2004)"},{"key":"53_CR6","unstructured":"Horridge, M., Knublauch, H., Rector, A., Stevens, R., Wroe, C.: A practical guide to building owl ontologies using prot\u00e9g\u00e9-owl and the co-ode tools (2004), Available from http:\/\/www.co-ode.org\/resources"},{"key":"53_CR7","unstructured":"Horrocks, I.: Fact++ web site, http:\/\/owl.man.ac.uk\/factplusplus\/"},{"key":"53_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/3-540-69778-0_30","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"I. Horrocks","year":"1998","unstructured":"Horrocks, I.: The fact system. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol.\u00a01397, pp. 307\u2013312. Springer, Heidelberg (1998)"},{"key":"53_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-540-30475-3_18","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"T. Liebig","year":"2004","unstructured":"Liebig, T., Noppens, O.: Ontotrack: Combining browsing and editing with reasoning and explaining for owl lite ontologies. In: McIlraith, S.A., et al. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 244\u2013258. Springer, Heidelberg (2004)"},{"key":"53_CR10","doi-asserted-by":"crossref","unstructured":"Rector, A.L., Drummond, N., Horridge, M., Rogers, J., Knublauch, H., Stevens, R., Wang, H., Wroe, C.: Owl pizzas: Practical experience of teaching owl-dl: Common errors and common patterns. In: Proceedings of Engineering Knowledge in the Age of the Semantic Web 2004 (2004)","DOI":"10.1007\/978-3-540-30202-5_5"},{"key":"53_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"R. Moller","year":"2001","unstructured":"Moller, R., Haarslev, V.: Racer system description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, p. 701. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11574620_53.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:57:04Z","timestamp":1605643024000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11574620_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297543","9783540320821"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11574620_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}