{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:30:34Z","timestamp":1725622234320},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642250729"},{"type":"electronic","value":"9783642250736"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25073-6_43","type":"book-chapter","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T04:58:08Z","timestamp":1318913888000},"page":"681-696","source":"Crossref","is-referenced-by-count":8,"title":["Repairing Ontologies for Incomplete Reasoners"],"prefix":"10.1007","author":[{"given":"Giorgos","family":"Stoilos","sequence":"first","affiliation":[]},{"given":"Bernardo","family":"Cuenca Grau","sequence":"additional","affiliation":[]},{"given":"Boris","family":"Motik","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"43_CR1","unstructured":"Baader, F., McGuinness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, implementation and applications. Cambridge University Press (2002)"},{"key":"43_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-642-15431-7_3","volume-title":"Artificial Intelligence: Methodology, Systems, and Applications","author":"E. Botoeva","year":"2010","unstructured":"Botoeva, E., Calvanese, D., Rodriguez-Muro, M.: Expressive Approximations in DL-lite Ontologies. In: Dicheva, D., Dochev, D. (eds.) AIMSA 2010. LNCS, vol.\u00a06304, pp. 21\u201331. Springer, Heidelberg (2010)"},{"key":"43_CR3","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proc. of WWW, pp. 48\u201357 (2003)","DOI":"10.1145\/775152.775160"},{"issue":"2","key":"43_CR4","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.websem.2005.06.005","volume":"3","author":"Y. Guo","year":"2005","unstructured":"Guo, Y., Pan, Z., Heflin, J.: LUBM: A Benchmark for OWL Knowledge Base Systems. Journal of Web Semantics\u00a03(2), 158\u2013182 (2005)","journal-title":"Journal of Web Semantics"},{"issue":"5","key":"43_CR5","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1016\/j.ic.2007.11.006","volume":"206","author":"U. Hustadt","year":"2008","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Deciding Expressive Description Logics in the Framework of Resolution. Information & Computation\u00a0206(5), 579\u2013601 (2008)","journal-title":"Information & Computation"},{"key":"43_CR6","doi-asserted-by":"crossref","unstructured":"Kiryakov, A., Ognyanov, D., Manov, D.: Owlim-a pragmatic semantic repository for owl. In: Dean, M., Guo, Y., Jun, W., Kaschek, R., Krishnaswamy, S., Pan, Z., Sheng, Q.Z. (eds.) WISE Workshops, pp. 182\u2013192 (2005)","DOI":"10.1007\/11581116_19"},{"key":"43_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/11762256_12","volume-title":"The Semantic Web: Research and Applications","author":"L. Ma","year":"2006","unstructured":"Ma, L., Yang, Y., Qiu, Z., Xie, G.T., Pan, Y., Liu, S.: Towards a Complete OWL Ontology Benchmark. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 125\u2013139. Springer, Heidelberg (2006)"},{"key":"43_CR8","unstructured":"McBride, B.: Jena: Implementing the RDF Model and Syntax Specification. In: International Workshop on the Semantic Web 2001 (2001)"},{"key":"43_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-540-88564-1_18","volume-title":"The Semantic Web - ISWC 2008","author":"G. Meditskos","year":"2008","unstructured":"Meditskos, G., Bassiliades, N.: Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 277\u2013292. Springer, Heidelberg (2008)"},{"key":"43_CR10","unstructured":"Motik, B., Patel-Schneider, P.F., Parsia, B.: OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax, W3C Recommendation (October 27, 2009), http:\/\/www.w3.org\/TR\/owl2-syntax\/"},{"key":"43_CR11","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language Profiles. W3C Recommendation (2009)"},{"key":"43_CR12","unstructured":"Pan, J.Z., Thomas, E.: Approximating OWL-DL Ontologies. In: Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-2007), pp. 1434\u20131439 (2007)"},{"issue":"2","key":"43_CR13","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1016\/j.jal.2009.09.004","volume":"8","author":"H. P\u00e9rez-Urbina","year":"2010","unstructured":"P\u00e9rez-Urbina, H., Motik, B., Horrocks, I.: Tractable query answering and rewriting under description logic constraints. Journal of Applied Logic\u00a08(2), 186\u2013209 (2010)","journal-title":"Journal of Applied Logic"},{"key":"43_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/11837787_9","volume-title":"Reasoning Web","author":"A.L. Rector","year":"2006","unstructured":"Rector, A.L., Rogers, J.D.: Ontological and Practical Issues in Using a Description Logic to Represent Medical Concept Systems: Experience from GALEN. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web 2006. LNCS, vol.\u00a04126, pp. 197\u2013231. Springer, Heidelberg (2006)"},{"key":"43_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1007\/978-3-642-17746-0_47","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"G. Stoilos","year":"2010","unstructured":"Stoilos, G., Cuenca Grau, B., Horrocks, I.: Completeness guarantees for incomplete reasoners. In: Proc. of ISWC-10. LNCS, Springer (2010)"},{"key":"43_CR16","doi-asserted-by":"crossref","unstructured":"Stoilos, G., Cuenca Grau, B., Horrocks, I.: How incomplete is your semantic web reasoner? In: Proc. of AAAI-2010, pp. 1431\u20131436 (2010)","DOI":"10.1609\/aaai.v24i1.7498"},{"key":"43_CR17","doi-asserted-by":"crossref","unstructured":"Wu, Z., Eadon, G., Das, S., Chong, E.I., Kolovski, V., Annamalai, M., Srinivasan, J.: Implementing an inference engine for RDFS\/OWL constructs and user-defined rules in oracle. In: Proc. of ICDE, pp. 1239\u20131248. IEEE (2008)","DOI":"10.1109\/ICDE.2008.4497533"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25073-6_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,10]],"date-time":"2023-06-10T14:33:27Z","timestamp":1686407607000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25073-6_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642250729","9783642250736"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25073-6_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}