{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T03:22:22Z","timestamp":1780543342810,"version":"3.54.1"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319085869","type":"print"},{"value":"9783319085876","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08587-6_35","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T23:38:32Z","timestamp":1404257912000},"page":"449-463","source":"Crossref","is-referenced-by-count":4,"title":["Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Steigmiller","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Birte","family":"Glimm","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thorsten","family":"Liebig","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"35_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35176-1_1","volume-title":"The Semantic Web \u2013 ISWC 2012","author":"A. Armas Romero","year":"2012","unstructured":"Armas Romero, A., Cuenca Grau, B., Horrocks, I.: MORe: Modular combination of OWL reasoners for ontology classification. In: Cudr\u00e9-Mauroux, P., Heflin, J., Sirin, E., Tudorache, T., Euzenat, J., Hauswirth, M., Parreira, J.X., Hendler, J., Schreiber, G., Bernstein, A., Blomqvist, E. (eds.) ISWC 2012, Part I. LNCS, vol.\u00a07649, pp. 1\u201316. Springer, Heidelberg (2012)"},{"key":"35_CR2","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the \n                    \n                      \n                    \n                    $\\mathcal{EL}$\n                   envelope. In: Proc. 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pp. 364\u2013369. Professional Book Center (2005)"},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511711787"},{"key":"35_CR4","doi-asserted-by":"crossref","unstructured":"Gardiner, T., Horrocks, I., Tsarkov, D.: Automated benchmarking of description logic reasoners. In: Proc. 19th Int. Workshop on Description Logics (DL 2006), vol.\u00a0198. CEUR (2006)","DOI":"10.1007\/11926078_47"},{"key":"35_CR5","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.websem.2011.12.007","volume":"14","author":"B. Glimm","year":"2012","unstructured":"Glimm, B., Horrocks, I., Motik, B., Shearer, R., Stoilos, G.: A novel approach to ontology classification. J. of Web Semantics\u00a014, 84\u2013101 (2012)","journal-title":"J. of Web Semantics"},{"key":"35_CR6","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \n                    \n                      \n                    \n                    $\\mathcal{SROIQ}$\n                  . In: Proc. 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 57\u201367. AAAI Press (2006)"},{"key":"35_CR7","unstructured":"Horrocks, I., Tobies, S.: Reasoning with axioms: Theory and practice. In: Proc. 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2000), pp. 285\u2013296. Morgan Kaufmann (2000)"},{"key":"35_CR8","unstructured":"Hudek, A.K., Weddell, G.E.: Binary absorption in tableaux-based reasoning for description logics. In: Proc. 19th Int. Workshop on Description Logics (DL 2006), vol.\u00a0189. CEUR (2006)"},{"key":"35_CR9","unstructured":"Kazakov, Y.: \n                    \n                      \n                    \n                    $\\mathcal{RIQ}$\n                   and \n                    \n                      \n                    \n                    $\\mathcal{SROIQ}$\n                   are harder than \n                    \n                      \n                    \n                    $\\mathcal{SHOIQ}$\n                  . In: Proc. 11th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 274\u2013284. AAAI Press (2008)"},{"key":"35_CR10","unstructured":"Kazakov, Y.: Consequence-driven reasoning for Horn-\n                    \n                      \n                    \n                    $\\mathcal{SHIQ}$\n                   ontologies. In: Proc. 21st Int. Conf. on Artificial Intelligence (IJCAI 2009), pp. 2040\u20132045. IJCAI (2009)"},{"key":"35_CR11","unstructured":"Matentzoglu, N., Bail, S., Parsia, B.: A corpus of OWL DL ontologies. In: Proc. 26th Int. Workshop on Description Logics (DL 2013), vol.\u00a01014. CEUR (2013)"},{"key":"35_CR12","unstructured":"Siman\u010d\u00edk, F., Kazakov, Y., Horrocks, I.: Consequence-based reasoning beyond Horn ontologies. In: Proc. 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI 2011), pp. 1093\u20131098. IJCAI\/AAAI (2011)"},{"key":"35_CR13","doi-asserted-by":"publisher","first-page":"1251","DOI":"10.1038\/nbt1346","volume":"25","author":"B. Smith","year":"2007","unstructured":"Smith, B., Ashburner, M., Rosse, C., Bard, J., Bug, W., Ceusters, W., Goldberg, L.J., Eilbeck, K., Ireland, A., Mungall, C.J., The, O.B.I., Consortium, L.N., Rocca-Serra, P., Ruttenberg, A., Sansone, S.A., Scheuermann, R.H., Shah, N., Whetzeland, P.L., Lewis, S.: The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration. Nature Biotechnology\u00a025, 1251\u20131255 (2007)","journal-title":"Nature Biotechnology"},{"key":"35_CR14","unstructured":"Song, W., Spencer, B., Du, W.: WSReasoner: A prototype hybrid reasoner for \n                    \n                      \n                    \n                    $\\mathcal{ALCHOI}$\n                   ontology classification using a weakening and strengthening approach. In: Proc. 1st Int. Workshop on OWL Reasoner Evaluation (ORE 2012), vol.\u00a0858. CEUR (2012)"},{"key":"35_CR15","unstructured":"Steigmiller, A., Glimm, B., Liebig, T.: Nominal schema absorption. In: Proc. 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI 2013), pp. 1104\u20131110. AAAI Press (2013)"},{"key":"35_CR16","unstructured":"Steigmiller, A., Glimm, B., Liebig, T.: Coupling tableau algorithms for the DL \n                    \n                      \n                    \n                    $\\mathcal{SROIQ}$\n                   with completion-based saturation procedures. Tech. Rep. UIB-2014-02, University of Ulm, Ulm, Germany (2014), \n                    \n                      http:\/\/www.uni-ulm.de\/fileadmin\/website_uni_ulm\/iui\/Ulmer_Informatik_Berichte\/2014\/UIB-2014-02.pdf"},{"key":"35_CR17","doi-asserted-by":"crossref","unstructured":"Steigmiller, A., Liebig, T., Glimm, B.: Konclude: system description. J. of Web Semantics (accepted, 2014)","DOI":"10.2139\/ssrn.3199110"},{"key":"35_CR18","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s10817-007-9077-y","volume":"39","author":"D. Tsarkov","year":"2007","unstructured":"Tsarkov, D., Horrocks, I., Patel-Schneider, P.F.: Optimizing terminological reasoning for expressive description logics. J. of Automated Reasoning\u00a039, 277\u2013316 (2007)","journal-title":"J. of Automated Reasoning"},{"key":"35_CR19","unstructured":"W3C OWL Working Group: OWL\u00a02 Web Ontology Language: Document Overview. W3C Recommendation (October 27, 2009)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08587-6_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T01:12:56Z","timestamp":1558919576000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08587-6_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319085869","9783319085876"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08587-6_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}