{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,23]],"date-time":"2026-10-23T08:38:33Z","timestamp":1792744713350,"version":"4.5.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540490296","type":"print"},{"value":"9783540490555","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11926078_47","type":"book-chapter","created":{"date-parts":[[2006,11,2]],"date-time":"2006-11-02T20:46:02Z","timestamp":1162500362000},"page":"654-667","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":31,"title":["Framework for an Automated Comparison of Description Logic Reasoners"],"prefix":"10.1007","author":[{"given":"Tom","family":"Gardiner","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dmitry","family":"Tsarkov","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"1","key":"47_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1013882326814","volume":"69","author":"F. Baader","year":"2001","unstructured":"Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica\u00a069(1), 5\u201340 (2001)","journal-title":"Studia Logica"},{"key":"47_CR2","unstructured":"Bechhofer, S., M\u00f6ller, R., Crowther, P.: The DIG description logic interface. In: Proceedings of DL 2003 International Workshop on Description Logics (September 2003)"},{"key":"47_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39718-2_42","volume-title":"The Semantic Web - ISWC 2003","author":"S. Bechhofer","year":"2003","unstructured":"Bechhofer, S., Volz, R., Lord, P.: Cooking the semantic web with the OWL API. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870. Springer, Heidelberg (2003)"},{"key":"47_CR4","unstructured":"Carroll, J.J., De Roo, J.: OWL web ontology language test cases. W3C Recommendation (February 10, 2004), available at: \n                      http:\/\/www.w3.org\/TR\/owl-test\/"},{"key":"47_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-540-30475-3_20","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"Y. Guo","year":"2004","unstructured":"Guo, Y., Pan, Z., Heflin, J.: An evaluation of knowledge base systems for large OWL datasets. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 274\u2013288. Springer, Heidelberg (2004)"},{"key":"47_CR6","unstructured":"Haarslev, V., M\u00f6ller, R.: High performance reasoning with very large knowledge bases: A practical case study. In: Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pp. 161\u2013168 (2001)"},{"key":"47_CR7","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, pp. 701\u2013705. Springer, Heidelberg (2001)"},{"key":"47_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/10722086_6","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I.: Benchmark analysis with FaCT. In: Dyckhoff, R. (ed.) TABLEAUX 2000. LNCS, vol.\u00a01847, pp. 62\u201366. Springer, Heidelberg (2000)"},{"key":"47_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/3-540-69778-0_5","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"I. Horrocks","year":"1998","unstructured":"Horrocks, I., Patel-Schneider, P.F.: FaCT and DLP. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS, vol.\u00a01397, pp. 27\u201330. Springer, Heidelberg (1998)"},{"key":"47_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-48242-3_11","volume-title":"Logic Programming and Automated Reasoning","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol.\u00a01705, pp. 161\u2013180. Springer, Heidelberg (1999)"},{"key":"47_CR11","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":"47_CR12","unstructured":"Horrocks, I., Patel-Schneider, P.F.: DL systems comparison. In: Proc. of the 1998 Description Logic Workshop (DL 1998). CEUR Electronic Workshop Proceedings, pp. 55\u201357 (1998), \n                      http:\/\/ceur-ws.org\/Vol-11\/"},{"issue":"1","key":"47_CR13","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. J. of Web Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"J. of Web Semantics"},{"key":"47_CR14","unstructured":"Horrocks, I., Sattler, U.: Ontology reasoning in the SHOQ(D) description logic. In: Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI\u00a02001), pp. 199\u2013204 (2001)"},{"key":"47_CR15","unstructured":"Horrocks, I., Sattler, U.: A tableaux decision procedure for SHOIQ. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI\u00a02005), pp. 448\u2013453 (2005)"},{"key":"47_CR16","unstructured":"Hustadt, U., Schmidt, R.A.: Using resolution for testing modal satisfiability and building models. In: Gent, I.P., van Maaren, H., Walsh, T. (eds.) SAT 2000: Highlights of Satisfiability Research in the Year 2000. Frontiers in Artificial Intelligence and Applications, vol.\u00a063. IOS Press, Amsterdam (2000), also in a special issue of Journal of Automated Reasoning (to appear)"},{"key":"47_CR17","doi-asserted-by":"crossref","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Cuenca-Grau, B., Hendler, J.: SWOOP: a web ontology editing browser. J. of Web Semantics 4(2) (2005)","DOI":"10.1016\/j.websem.2005.10.001"},{"key":"47_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10722086_4","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"F. Massacci","year":"2000","unstructured":"Massacci, F., Donini, F.M.: Design and results of TANCS 2000. In: Dyckhoff, R. (ed.) TABLEAUX 2000. LNCS (LNAI), vol.\u00a01847. Springer, Heidelberg (2000)"},{"key":"47_CR19","unstructured":"Pan, Z.: Benchmarking DL reasoners using realistic ontologies. In: Proc. of the First OWL Experiences and Directions Workshop (2005)"},{"key":"47_CR20","unstructured":"Patel-Schneider, P.F.: DLP system description. In: Proc. of the 1998 Description Logic Workshop (DL 1998). CEUR Electronic Workshop Proceedings, pp. 87\u201389 (1998), \n                      http:\/\/ceur-ws.org\/Vol-11\/"},{"key":"47_CR21","unstructured":"Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL web ontology language semantics and abstract syntax. W3C Recommendation (February 10, 2004), available at: \n                      http:\/\/www.w3.org\/TR\/owl-semantics\/"},{"key":"47_CR22","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1613\/jair.1166","volume":"18","author":"P.F. Patel-Schneider","year":"2003","unstructured":"Patel-Schneider, P.F., Sebastiani, R.: A new general method to generate random modal formulae for testing decision procedures. J. of Artificial Intelligence Research\u00a018, 351\u2013389 (2003)","journal-title":"J. of Artificial Intelligence Research"},{"key":"47_CR23","unstructured":"Prot\u00e9g\u00e9 (2003), \n                      http:\/\/protege.stanford.edu\/"},{"key":"47_CR24","unstructured":"Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics (submitted, 2005)"},{"key":"47_CR25","unstructured":"Tsarkov, D., Horrocks, I.: Ordering heuristics for description logic reasoning. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI\u00a02005), pp. 609\u2013614 (2005)"},{"key":"47_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D. Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: System description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS, vol.\u00a04130, pp. 292\u2013297. Springer, Heidelberg (2006)"},{"key":"47_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/978-3-540-30475-3_33","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"D. Tsarkov","year":"2004","unstructured":"Tsarkov, D., Riazanov, A., Bechhofer, S., Horrocks, I.: Using Vampire to reason with OWL. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 471\u2013485. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2006"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/11926078_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,10,23]],"date-time":"2026-10-23T07:52:31Z","timestamp":1792741951000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/chapter\/10.1007\/11926078_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540490296","9783540490555"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11926078_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}