{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T17:38:23Z","timestamp":1774373903467,"version":"3.50.1"},"reference-count":112,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,11,17]],"date-time":"2013-11-17T00:00:00Z","timestamp":1384646400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s10817-013-9296-3","type":"journal-article","created":{"date-parts":[[2013,11,16]],"date-time":"2013-11-16T20:40:10Z","timestamp":1384634410000},"page":"1-61","source":"Crossref","is-referenced-by-count":182,"title":["The Incredible ELK"],"prefix":"10.1007","volume":"53","author":[{"given":"Yevgeny","family":"Kazakov","sequence":"first","affiliation":[]},{"given":"Markus","family":"Kr\u00f6tzsch","sequence":"additional","affiliation":[]},{"given":"Franti\u0161ek","family":"Siman\u010d\u00edk","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,11,17]]},"reference":[{"key":"9296_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley (1994)"},{"issue":"1\u20132","key":"9296_CR2","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.artint.2004.11.004","volume":"162","author":"E Amir","year":"2005","unstructured":"Amir, E., McIlraith, S.A.: Partition-based logical reasoning for first-order and propositional theories. Artif. Intell. 162(1\u20132), 49\u201388 (2005)","journal-title":"Artif. Intell."},{"key":"9296_CR3","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.) Proceedings of the 11th International Semantic Web Conference (ISWC\u016012), LNCS, vol. 7649, pp. 1\u201316. Springer (2012)"},{"key":"9296_CR4","doi-asserted-by":"crossref","unstructured":"Aslani, M., Haarslev, V.: Parallel TBox classification in description logics \u2013 first experimental results. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) Proceedings of the 19th European Conference on Artificial Intelligence (ECAI\u201910), Frontiers in Artificial Intelligence and Applications, vol. 215, pp. 485\u2013490. IOS Press (2010)","DOI":"10.3233\/978-1-60750-606-5-485"},{"key":"9296_CR5","unstructured":"Aslani, M., Haarslev, V.: Concurrent classification of OWL ontologies \u2013 an empirical evaluation. In: Kazakov, Y., Lembo, D., Wolter, F. (eds.) Proceedings of the 25th International Workshop on Description Logics (DL\u201912), CEUR Workshop Proceedings, vol 846, pp. 400\u2013410. CEUR-WS.org (2012)"},{"key":"9296_CR6","unstructured":"Baader, F.: Terminological cycles in a description logic with existential restrictions. In: Gottlob, G., Walsh, T. (eds.) Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI\u201903), pp. 325\u2013330. Morgan Kaufmann (2003)"},{"key":"9296_CR7","unstructured":"Baader, F., Borgwardt, S., Morawska, B.: Extending unification in \u2130 \u2112 $\\mathcal {EL}$ towards general TBoxes. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201912), pp. 568\u2013572. AAAI Press (2012)"},{"key":"9296_CR8","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the \u2130 \u2112 $\\mathcal {EL}$ envelope. In: Kaelbling, L., Saffiotti, A. (eds.) Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI\u201905), pp. 364\u2013369. Professional Book Center (2005)"},{"key":"9296_CR9","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the \u2130 \u2112 $\\mathcal {EL}$ envelope further. In: Clark, K.G., Patel-Schneider, P.F. (eds.) Proceedings in OWLED 2008 DC Workshop on OWL: Experiences and Directions, CEUR Workshop Proceedings, vol 496. CEUR-WS.org (2008)"},{"key":"9296_CR10","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"},{"issue":"2","key":"9296_CR11","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF00872105","volume":"4","author":"F Baader","year":"1994","unstructured":"Baader, F., Franconi, E., Hollunder, B., Nebel, B., Profitlich, H.J.: An empirical analysis of optimization techniques for terminological representation systems. Appl. Intell. 4(2), 109\u2013132 (1994)","journal-title":"Appl. Intell."},{"key":"9296_CR12","doi-asserted-by":"crossref","unstructured":"Baader, F., K\u00fcsters, R., Molitor, R.: Computing least common subsumers in description logics with existential restrictions. In: Dean, T. (ed.) Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI\u201999), pp. 96\u2013103. Morgan Kaufmann (1999)","DOI":"10.25368\/2022.85"},{"key":"9296_CR13","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: Is tractable reasoning in extensions of the description logic \u2130 \u2112 $\\mathcal {EL}$ useful in practice? In: Proceedings of the 2005 international workshop on methods for modalities (M4M\u201905) (2005)"},{"key":"9296_CR14","doi-asserted-by":"crossref","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL\u2014a polynomial-time reasoner for life science ontologies. In: Furbach, U., Shankar, N. (eds.) Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR\u201906), LNCS, vol 4130, pp. 287\u2013291. Springer (2006)","DOI":"10.1007\/11814771_25"},{"key":"9296_CR15","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: Efficient reasoning in \u2130 \u2112 + $\\mathcal {EL}^+$ . In: Parsia, B., Sattler, U., Toman, D. (eds.) Proceedings of the 2006 International Workshop on Description Logics (DL\u201906), CEUR Workshop Proceedings, vol. 189. CEUR-WS.org (2006)"},{"issue":"2","key":"9296_CR16","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/s10817-010-9181-2","volume":"45","author":"F Baader","year":"2010","unstructured":"Baader, F., Pe\u00f1aloza, R.: Automata-based axiom pinpointing. J. Autom. Reason. 45(2), 91\u2013129 (2010)","journal-title":"J. Autom. Reason."},{"issue":"3","key":"9296_CR17","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1016\/j.jal.2006.03.002","volume":"5","author":"F Baader","year":"2007","unstructured":"Baader, F., Sertkaya, B., Turhan, A.Y.: Computing the least common subsumer w.r.t. a background terminology. J. Appl. Logics 5(3), 392\u2013420 (2007)","journal-title":"J. Appl. Logics"},{"key":"9296_CR18","doi-asserted-by":"crossref","unstructured":"Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 19\u201399. Elsevier and MIT Press (2001)","DOI":"10.1016\/B978-044450813-3\/50004-7"},{"key":"9296_CR19","doi-asserted-by":"crossref","unstructured":"Bergmann, F.W., Quantz, J.: Parallelizing description logics. In: Wachsmuth, I., Rollinger, C.R., Brauer, W. (eds.) Proceedings of the 19th Annual German Conference on Artificial Intelligence (KI\u201995), vol. 981, pp. 137\u2013148. LNCS, Springer (1995)","DOI":"10.1007\/3-540-60343-3_32"},{"key":"9296_CR20","unstructured":"Bozzato, L., Homola, M., Serafini, L.: Towards more effective tableaux reasoning for CKR. In: Kazakov, Y., Lembo, D., Wolter, F. (eds.) Proceedings of the 25th International Workshop on Description Logics (DL\u201912), CEUR Workshop Proceedings, vol 846, pp. 114\u2013124. CEUR-WS.org (2012)"},{"key":"9296_CR21","doi-asserted-by":"crossref","unstructured":"Brandt, S.: On subsumption and instance problem in \u2130 \u2112 \u210b $\\mathcal {ELH}$ w.r.t. general TBoxes. In: Haarslev, V., M\u00f6ller, R. (eds.) Proceedings of the 2004 International Workshop on Description Logics (DL\u201904), CEUR Workshop Proceedings, vol 104. CEUR-WS.org (2004)","DOI":"10.25368\/2022.141"},{"key":"9296_CR22","unstructured":"Brandt, S.: Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and \u2013 What else? In: de M\u00e1ntaras, R.L., Saitta, L. (eds.) Proceedings of the 16th European Conference on Artificial Intelligence (ECAI\u201904), pp. 298\u2013302. IOS Press (2004)"},{"key":"9296_CR23","unstructured":"Brandt, S.: Standard and Non-standard Reasoning in Description Logics. Ph.D. thesis, Technische Universit\u00e4t Dresden, Germany (2006)"},{"key":"9296_CR24","unstructured":"Brickley, D., Guha, R.V. (eds.): RDF Vocabulary Description Language 1.0: RDF Schema. W3C Recommendation (10 February 2004). Available at http:\/\/www.w3.org\/TR\/rdf-schema\/"},{"issue":"3","key":"9296_CR25","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D Calvanese","year":"2007","unstructured":"Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. Autom. Reason. 39(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reason."},{"issue":"4","key":"9296_CR26","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/s10817-009-9159-0","volume":"44","author":"B Cuenca Grau","year":"2010","unstructured":"Cuenca Grau, B., Halaschek-Wiener, C., Kazakov, Y., Suntisrivaraporn, B.: Incremental classification of description logics ontologies. J. Autom. Reason. 44(4), 337\u2013369 (2010)","journal-title":"J. Autom. Reason."},{"key":"9296_CR27","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1613\/jair.2375","volume":"31","author":"B Cuenca Grau","year":"2008","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: Theory and practice. J. Artif. Intell. Res. 31, 273\u2013318 (2008)","journal-title":"J. Artif. Intell. Res."},{"key":"9296_CR28","unstructured":"Day-Richter, J. (ed.): The OBO Flat File Format Specification, version 1.2. The Gene Ontology Consortium. Available at http:\/\/www.geneontology.org\/GO.format.obo-1_2.shtml (2006)"},{"key":"9296_CR29","unstructured":"Delaitre, V., Kazakov, Y.: Classifying \u2130 \u2112 \u210b $\\mathcal {ELH}$ ontologies in SQL databases. In: Patel-Schneider, P.F., Hoekstra, R. (eds.) Proceedings in OWLED 2009 Workshop on OWL: Experiences and Directions, CEUR Workshop Proceedings, vol. 529. CEUR-WS.org (2009)"},{"issue":"3","key":"9296_CR30","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"1","author":"WF Dowling","year":"1984","unstructured":"Dowling, W.F., Gallier, J.H.: Linear-time algorithms for testing the satisfiability of propositional Horn formulae. J. Logic Program. 1(3), 267\u2013284 (1984)","journal-title":"J. Logic Program."},{"key":"9296_CR31","doi-asserted-by":"crossref","unstructured":"Eiter, T., Krennwallner, T., Schneider, P., Xiao, G.: Uniform evaluation of nonmonotonic DL-programs. In: Lukasiewicz, T., Sali, A. (eds.) Proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS\u201912), vol. 7153, pp. 1\u201322. LNCS, Springer (2012)","DOI":"10.1007\/978-3-642-28472-4_1"},{"key":"9296_CR32","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C Forgy","year":"1982","unstructured":"Forgy, C.: Rete: A fast algorithm for the many pattern\/many object pattern match problem. Artif. Intell. 19, 17\u201337 (1982)","journal-title":"Artif. Intell."},{"issue":"9\u201310","key":"9296_CR33","doi-asserted-by":"crossref","first-page":"669","DOI":"10.1007\/s00335-012-9404-4","volume":"23","author":"GV Gkoutos","year":"2012","unstructured":"Gkoutos, G.V., Schofield, P.N., Hoehndorf, R.: Computational tools for comparative phenomics: The role and promise of ontologies. Mamm. Genome 23(9\u201310), 669\u2013679 (2012)","journal-title":"Mamm. Genome"},{"key":"9296_CR34","doi-asserted-by":"crossref","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. Web Sem. 14, 84\u2013101 (2012)","journal-title":"J. Web Sem."},{"key":"9296_CR35","doi-asserted-by":"crossref","unstructured":"Grimm, S., Watzke, M., Hubauer, T., Cescolini, F.: Embedded \u2130 \u2112 + $\\mathcal {EL}^+$ reasoning on programmable logic controllers. 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.) Proceedings of the 11th International Semantic Web Conference (ISWC\u201912), vol 7649, pp. 66\u201381. LNCS, Springer (2012)","DOI":"10.1007\/978-3-642-35173-0_5"},{"key":"9296_CR36","doi-asserted-by":"crossref","unstructured":"Haarslev, V., M\u00f6ller, R.: Racer system description. In: Gor\u00e9, R., Leitsch, A., Nipkow, T. (eds.) Proceedings of the 1st International Joint Conference on Automated Reasoning (IJCAR\u201901), vol. 2083, pp. 701\u2013705. LNCS, Springer (2001)","DOI":"10.1007\/3-540-45744-5_59"},{"issue":"13","key":"9296_CR37","doi-asserted-by":"crossref","first-page":"1671","DOI":"10.1093\/bioinformatics\/btt266","volume":"29","author":"MA Harris","year":"2013","unstructured":"Harris, M.A., Lock, A., B\u00fchler, J., Oliver, S.G., Wood, V.: FYPO: The fission yeast phenotype ontology. Bioinforma. 29(13), 1671\u20131678 (2013)","journal-title":"Bioinforma."},{"key":"9296_CR38","doi-asserted-by":"crossref","unstructured":"Heino, N., Pan, J.Z.: RDFS reasoning on massively parallel hardware. 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.) Proceedings of the 11th International Semantic Web Conference (ISWC\u201912), vol. 7649, pp. 133\u2013148. LNCS, Springer (2012)","DOI":"10.1007\/978-3-642-35176-1_9"},{"issue":"16","key":"9296_CR39","doi-asserted-by":"crossref","first-page":"2169","DOI":"10.1093\/bioinformatics\/bts350","volume":"28","author":"R Hoehndorf","year":"2012","unstructured":"Hoehndorf, R., Dumontier, M., Gkoutos, G.V.: Identifying aberrant pathways through integrated analysis of knowledge in pharmacogenomics. Bioinforma. 28(16), 2169\u20132175 (2012)","journal-title":"Bioinforma."},{"issue":"13","key":"9296_CR40","doi-asserted-by":"crossref","first-page":"1783","DOI":"10.1093\/bioinformatics\/bts250","volume":"28","author":"R Hoehndorf","year":"2012","unstructured":"Hoehndorf, R., Harris, M.A., Herre, H., Rustici, G., Gkoutos, G.V.: Semantic integration of physiology phenotypes with an application to the cellular phenotype ontology. Bioinforma. 28(13), 1783\u20131789 (2012)","journal-title":"Bioinforma."},{"key":"9296_CR41","doi-asserted-by":"crossref","unstructured":"Hofmann, M.: Proof-theoretic approach to description-logic. In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS\u201905), pp. 229\u2013237. IEEE Computer Society (2005)","DOI":"10.1109\/LICS.2005.38"},{"issue":"2","key":"9296_CR42","doi-asserted-by":"crossref","first-page":"49","DOI":"10.4018\/jswis.2009040103","volume":"5","author":"A Hogan","year":"2009","unstructured":"Hogan, A., Harth, A., Polleres, A.: Scalable authoritative OWL reasoning for the Web. Int. J. Semant. Web Inf. Syst. 5(2), 49\u201390 (2009)","journal-title":"Int. J. Semant. Web Inf. Syst."},{"key":"9296_CR43","doi-asserted-by":"crossref","unstructured":"Hogan, A., Pan, J.Z., Polleres, A., Decker, S.: SAOR: template rule optimisations for distributed reasoning over 1 billion linked data triples. In: Patel-Schneider, P.F., Pan, Y., Glimm, B., Hitzler, P., Mika, P., Pan, J., Horrocks, I. (eds.) Proceedings of the 9th International Semantic Web Conference (ISWC\u201910), vol. 6496, pp. 337\u2013353. LNCS, Springer (2010)","DOI":"10.1007\/978-3-642-17746-0_22"},{"key":"9296_CR44","unstructured":"Horridge, M., Bechhofer, S.: The OWL API: A Java API for working with OWL 2 ontologies. In: Patel-Schneider, P.F., Hoekstra, R. (eds.) Proceedings in OWLED 2009 Workshop on OWL: Experiences and Directions, vol. 529. CEUR Workshop Proceedings, CEUR-WS.org (2009)"},{"key":"9296_CR45","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \ud835\udcae \u211b \ud835\udcaa \u2110 \ud835\udcac $\\mathcal {SROIQ}$ . In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201906), pp. 57\u201367. AAAI Press (2006)"},{"key":"9296_CR46","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D.A., Voronkov, A. (eds.) Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning (LPAR\u201999), vol. 1705, pp. 161\u2013180. LNCS, Springer (1999)","DOI":"10.1007\/3-540-48242-3_11"},{"issue":"2\u20133","key":"9296_CR47","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.websem.2005.06.001","volume":"3","author":"HJ ter Horst","year":"2005","unstructured":"ter Horst, H.J.: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. J. Web Semant. 3(2\u20133), 79\u2013115 (2005)","journal-title":"J. Web Semant."},{"issue":"S3","key":"9296_CR48","first-page":"1","volume":"3(Suppl 1)","author":"S Jupp","year":"2012","unstructured":"Jupp, S., Stevens, R., Hoehndorf, R.: Logical gene ontology annotations (GOAL): exploring gene ontology annotations with OWL. J. Biomed. Semant. 3(Suppl 1)(S3), 1\u201316 (2012)","journal-title":"J. Biomed. Semant."},{"key":"9296_CR49","doi-asserted-by":"crossref","unstructured":"Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Aberer, K., Choi, K.S., Noy, N., Allemang, D., Lee, K.I., Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) Proceedings of the 6th International Semantic Web Conference (ISWC\u201907), vol. 4825, pp. 267\u2013280. LNCS, Springer (2007)","DOI":"10.1007\/978-3-540-76298-0_20"},{"key":"9296_CR50","unstructured":"Kazakov, Y.: \u211b \u2110 \ud835\udcac $\\mathcal {RIQ}$ and \ud835\udcae \u211b \ud835\udcaa \u2110 \ud835\udcac $\\mathcal {SROIQ}$ are harder than \ud835\udcae \u210b \ud835\udcaa \u2110 \ud835\udcac $\\mathcal {SHOIQ}$ . In: Brewka, G., Lang, J. (eds.) Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201908), pp. 274\u2013284. AAAI Press (2008)"},{"key":"9296_CR51","unstructured":"Kazakov, Y.: Consequence-driven reasoning for Horn \ud835\udcae \u210b \u2110 \ud835\udcac $\\mathcal {SHIQ}$ ontologies. In: Boutilier, C. (ed.) Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI\u201909), pp. 2040\u20132045. IJCAI (2009)"},{"key":"9296_CR52","first-page":"232","volume":"1","author":"Y Kazakov","year":"2013","unstructured":"Kazakov, Y., Klinov, P.: Incremental reasoning in OWL EL without bookkeeping. Int. Semant. Web Conf. 1, 232\u2013247 (2013). doi: 10.1007\/978-3-642-41335-3_15","journal-title":"Int. Semant. Web Conf."},{"key":"9296_CR53","doi-asserted-by":"crossref","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: Concurrent classification of \u2130 \u2112 $\\mathcal {EL}$ ontologies. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) Proceedings of the 10th International Semantic Web Conference (ISWC\u201911), vol. 7032, pp. 305\u2013320. LNCS, Springer (2011)","DOI":"10.1007\/978-3-642-25073-6_20"},{"key":"9296_CR54","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: Unchain my \u2130 \u2112 $\\mathcal {EL}$ reasoner. In: Rosati, R., Rudolph, S., Zakharyaschev, M. (eds.) Proceedings of the 24th International Workshop on Description Logics (DL\u201911), vol. 745, pp. 202\u2013212. CEUR Workshop Proceedings, CEUR-WS.org (2011)"},{"key":"9296_CR55","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: ELK reasoner: architecture and evaluation. In: Horrocks, I., Yatskevich, M., Jimenez-Ruiz, E. (eds.) Proceedings of the OWL Reasoner Evaluation Workshop 2012 (ORE\u201912), vol. 858. CEUR Workshop Proceedings, CEUR-WS.org (2012)"},{"key":"9296_CR56","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: Practical reasoning with nominals in the \u2130 \u2112 $\\mathcal {EL}$ family of description logics. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201912), pp. 264\u2013274. AAAI Press (2012)"},{"key":"9296_CR57","doi-asserted-by":"crossref","unstructured":"Knublauch, H., Fergerson, R.W., Noy, N.F., Musen, M.A.: The Prot\u00e9g\u00e9 OWL Plugin: an open development environment for Semantic Web applications. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) Proceedings of the 3rd International Semantic Web Conference (ISWC\u201904), vol. 3298, pp. 229\u2013243. LNCS, Springer (2004)","DOI":"10.1007\/978-3-540-30475-3_17"},{"key":"9296_CR58","unstructured":"Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to ontology-based data access. In: Walsh, T. (ed.) Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI\u201911), pp. 2656\u20132661. AAAI Press\/IJCAI (2011)"},{"key":"9296_CR59","doi-asserted-by":"crossref","unstructured":"Kotoulas, S., Oren, E., van Harmelen, F.: Mind the data skew: distributed inferencing by speeddating in elastic regions. In: Proceedings in 19th international conference on world wide web (WWW\u201910), pp. 531\u2013540. WWW\u201910, ACM (2010)","DOI":"10.1145\/1772690.1772745"},{"key":"9296_CR60","unstructured":"Kr\u00f6tzsch, M.: Efficient rule-based inferencing for OWL EL. In: Walsh, T. (ed.) Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI\u201911), pp. 2668\u20132673. AAAI Press\/IJCAI (2011)"},{"key":"9296_CR61","doi-asserted-by":"crossref","unstructured":"Kr\u00f6tzsch, M.: The not-so-easy task of computing class subsumptions in OWL RL. 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.) Proceedings of the 11th International Semantic Web Conference (ISWC\u201912), vol. 7649, pp. 279\u2013294. LNCS, Springer (2012)","DOI":"10.1007\/978-3-642-35176-1_18"},{"key":"9296_CR62","doi-asserted-by":"crossref","unstructured":"Kr\u00f6tzsch, M.: OWL 2 Profiles: an introduction to lightweight ontology languages. In: Eiter, T., Krennwallner, T. (eds.) Proceedings of the 8th Reasoning Web Summer School, Vienna, Austria, September 3\u20138 2012, vol. 7487, pp. 112\u2013183. LNCS, Springer (2012)","DOI":"10.1007\/978-3-642-33158-9_4"},{"key":"9296_CR63","unstructured":"Kr\u00f6tzsch, M., Mehdi, A., Rudolph, S.: Orel: Database-driven reasoning for OWL 2 profiles. In: Haarslev, V., Toman, D., Weddell, G. (eds.) Proceedings of the 23rd International Workshop on Description Logics (DL\u201910), vol. 573, pp. 114\u2013124. CEUR Workshop Proceedings, CEUR-WS.org (2010)"},{"key":"9296_CR64","doi-asserted-by":"crossref","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Conjunctive queries for a tractable fragment of OWL 1.1. In: Aberer, K., Choi, K.S., Noy, N., Allemang, D., Lee, K.I., Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) Proceedings of the 6th International Semantic Web Conference (ISWC\u201907), vol. 4825, pp. 310\u2013323. LNCS, Springer (2007)","DOI":"10.1007\/978-3-540-76298-0_23"},{"key":"9296_CR65","unstructured":"Kr\u00f6tzsch, M., Siman\u010d\u00edk, F., Horrocks, I.: A description logic primer. CoRR abs\/1201.4089 (2012)"},{"key":"9296_CR66","unstructured":"Lawley, M.J., Bousquet, C.: Fast classification in Prot\u00e9g\u00e9: Snorocket as an OWL 2 EL reasoner. In: Taylor, K., Meyer, T., Orgun, M. (eds.) Proceedings of the 6th Australasian Ontology Workshop (IAOA\u201910), vol. 122, pp. 45\u201349. Conferences in Research and Practice in Information Technology, Australian Computer Society Inc (2010)"},{"key":"9296_CR67","doi-asserted-by":"crossref","unstructured":"Liebig, T., M\u00fcller, F.: Parallelizing tableaux-based description logic reasoning. In: Meersman, R., Tari, Z., Herrero, P. (eds.) Proceedings of OTM workshops 2007, Part II, vol. 4806, pp. 1135\u20131144. LNCS, Springer (2007)","DOI":"10.1007\/978-3-540-76890-6_41"},{"key":"9296_CR68","doi-asserted-by":"crossref","unstructured":"Lusk, E.L., McCune, W., Slaney, J.K.: Roo: a parallel theorem prover. In: Kapur, D. (ed.) Proceedings of the 11th Conference on Automated Deduction (CADE\u201992), vol. 607, pp. 731\u2013734. LNCS, Springer (1992)","DOI":"10.1007\/3-540-55602-8_213"},{"issue":"4","key":"9296_CR69","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1007\/s10817-011-9235-0","volume":"47","author":"D Magka","year":"2011","unstructured":"Magka, D., Kazakov, Y., Horrocks, I.: Tractable extensions of the description logic \u2130 \u2112 $\\mathcal {EL}$ with numerical datatypes. J. Autom. Reason. 47(4), 427\u2013450 (2011)","journal-title":"J. Autom. Reason."},{"issue":"1","key":"9296_CR70","doi-asserted-by":"crossref","first-page":"83","DOI":"10.2478\/v10006-011-0006-1","volume":"21","author":"A Meissner","year":"2011","unstructured":"Meissner, A.: Experimental analysis of some computation rules in a simple parallel reasoning system for the \ud835\udc9c \u2112 \ud835\udc9e $\\mathcal {ALC}$ description logic. Int. J. Appl. Math. Comput. Sci. 21(1), 83\u201395 (2011)","journal-title":"Int. J. Appl. Math. Comput. Sci."},{"key":"9296_CR71","unstructured":"Mendez, J.: jcel: a modular rule-based reasoner. In: Horrocks, I., Yatskevich, M., Jimenez-Ruiz, E. (eds.) Proceedings of the OWL Reasoner Evaluation Workshop 2012 (ORE\u201912), vol. 858. CEUR Workshop Proceedings, CEUR-WS.org (2012)"},{"key":"9296_CR72","unstructured":"Mendez, J., Ecke, A., Turhan, A.Y.: Implementing completion-based inferences for the \u2130 \u2112 $\\mathcal {EL}$ -family. In: Rosati, R., Rudolph, S., Zakharyaschev, M. (eds.) Proceedings of the 24th International Workshop on Description Logics (DL\u201911), vol. 745, pp. 34\u2013344. CEUR Workshop Proceedings, CEUR-WS.org (2011)"},{"key":"9296_CR73","unstructured":"Mendez, J., Suntisrivaraporn, B.: Reintroducing CEL as an OWL 2 EL reasoner. In: Grau, B.C., Horrocks, I., Motik, B., Sattler, U. (eds.) Proceedings of the 22nd International Workshop on Description Logics (DL\u201909), vol. 477. CEUR Workshop Proceedings, CEUR-WS.org (2009)"},{"key":"9296_CR74","unstructured":"M\u00f6ller, R., Haarslev, V., Wandelt, S.: The revival of structural subsumption in tableau-based reasoners. In: Baader, F., Lutz, C., Motik, B. (eds.) Proceedings of the 21st International Workshop on Description logics (DL\u201908), vol. 353. CEUR Workshop Proceedings, CEUR-WS.org (2008)"},{"key":"9296_CR75","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language: Profiles. W3C Recommendation (27 October 2009). Available at http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"key":"9296_CR76","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1613\/jair.2811","volume":"36","author":"B Motik","year":"2009","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. J. Artif. Intell. Res. 36, 165\u2013228 (2009)","journal-title":"J. Artif. Intell. Res."},{"key":"9296_CR77","unstructured":"Mutharaju, R., Maier, F., Hitzler, P.: A MapReduce algorithm for \u2130 \u2112 + $\\mathcal {EL}^+$ . In: Haarslev, V., Toman, D., Weddell, G. (eds.) Proceedings of the 23rd International Workshop on Description Logics (DL\u201910), vol. 573, pp. 464\u2013474. CEUR Workshop proceedings, CEUR-WS.org (2010)"},{"key":"9296_CR78","doi-asserted-by":"crossref","unstructured":"Narayanan, S., \u00c7ataly\u00fcrek, \u00dc.V., Kur\u00e7, T.M., Saltz, J.H.: Parallel materialization of large ABoxes. In: Shin, S.Y., Ossowski, S. (eds.) Proceedings of the ACM Symposium on Applied Computing (SAC\u201909), pp. 1257\u20131261. ACM (2009)","DOI":"10.1145\/1529282.1529564"},{"key":"9296_CR79","unstructured":"Nikitina, N., Rudolph, S.: ExpExpExplosion: uniform interpolation in general \u2130 \u2112 $\\mathcal {EL}$ terminologies. In: Raedt, L.D., Bessi\u00e8re, C., Dubois, D., Doherty, P., Frasconi, P., Heintz, F., Lucas, P.J.F. (eds.) Proceedings of the 20th European Conference on Artificial Intelligence (ECAI\u201912), vol. 242, pp. 618\u2013623. Frontiers in Artificial Intelligence and Applications, IOS Press (2012)"},{"key":"9296_CR80","unstructured":"Ortiz, M., Rudolph, S., Simkus, M.: Worst-case optimal reasoning for the Horn-DL fragments of OWL 1 and 2. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201910), pp. 269\u2013279. AAAI Press (2010)"},{"issue":"9","key":"9296_CR81","doi-asserted-by":"crossref","first-page":"1262","DOI":"10.1093\/bioinformatics\/bts113","volume":"28","author":"D Osumi-Sutherland","year":"2012","unstructured":"Osumi-Sutherland, D., Reeve, S., Mungall, C.J., Neuhaus, F., Ruttenberg, A., Jefferis, G.S.X.E., Armstrong, J.D.: A strategy for building neuroanatomy ontologies. Bioinforma. 28(9), 1262\u20131269 (2012)","journal-title":"Bioinforma."},{"key":"9296_CR82","unstructured":"OWL Working Group, W.: OWL 2 web ontology language: document overview. W3C Recommendation (27 October 2009). Available at http:\/\/www.w3.org\/TR\/owl2-overview\/"},{"key":"9296_CR83","unstructured":"Pe\u00f1aloza, R., Sertkaya, B.: On the complexity of axiom pinpointing in the \u2130 \u2112 $\\mathcal {EL}$ family of description logics. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201910), pp. 280\u2013289. AAAI Press (2010)"},{"key":"9296_CR84","unstructured":"Rector, A., Gangemi, A., Galeazzi, E., Glowinski, A.J., Rossi-Mori, A.: The GALEN CORE model schemata for anatomy: towards a re-usable application-independent model of medical concepts. In: Barahona, P., Veloso, M., Bryant, J. (eds.) Proceedings of the 12th International Congress of the European Federation for Medical Informatics (MIE\u201994), pp. 229\u2013233 (1994)"},{"key":"9296_CR85","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/j.jbi.2011.10.002","volume":"45","author":"A Rector","year":"2012","unstructured":"Rector, A., Iannone, L.: Lexically suggest, logically define: quality assurance of the use of qualifiers and expected results of post-coordination in SNOMED CT. J. Biomed. Inform. 45, 199\u2013209 (2012)","journal-title":"J. Biomed. Inform."},{"issue":"2","key":"9296_CR86","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/S0933-3657(96)00369-7","volume":"9","author":"AL Rector","year":"1997","unstructured":"Rector, A.L., Bechhofer, S., Goble, C.A., Horrocks, I., Nowlan, W.A., Solomon, W.D.: The grail concept modelling language for medical terminology. Artif. Intell. Med. 9(2), 139\u2013171 (1997)","journal-title":"Artif. Intell. Med."},{"issue":"3","key":"9296_CR87","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1055\/s-0038-1634078","volume":"45","author":"JE Rogers","year":"2006","unstructured":"Rogers, J.E.: Quality assurance of medical ontologies. Methods Inf. Med. 45(3), 267\u2013274 (2006)","journal-title":"Methods Inf. Med."},{"key":"9296_CR88","doi-asserted-by":"crossref","unstructured":"Rudolph, S., Kr\u00f6tzsch, M., Hitzler, P.: Cheap Boolean role constructors for description logics. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA\u201908), vol. 5293, pp. 362\u2013374. LNAI, Springer (2008)","DOI":"10.1007\/978-3-540-87803-2_30"},{"issue":"1","key":"9296_CR89","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1142\/S1793351X10000948","volume":"4","author":"A Schlicht","year":"2010","unstructured":"Schlicht, A., Stuckenschmidt, H.: Peer-to-peer reasoning for interlinked ontologies. Int. J. Semant. Comput. 4(1), 27\u201358 (2010)","journal-title":"Int. J. Semant. Comput."},{"key":"9296_CR90","doi-asserted-by":"crossref","unstructured":"Schlicht, A., Stuckenschmidt, H.: MapResolve. In: Rudolph, S., Gutierrez, C. (eds.) Proceedings of the 5th International Conference on Web Reasoning and Rule Systems (RR\u201911), vol. 6902, pp. 294\u2013299. LNCS, Springer (2011)","DOI":"10.1007\/978-3-642-23580-1_27"},{"issue":"3","key":"9296_CR91","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/s10817-007-9076-z","volume":"39","author":"S Schlobach","year":"2007","unstructured":"Schlobach, S., Huang, Z., Cornet, R., van Harmelen, F.: Debugging incoherent terminologies. J. Autom. Reason. 39(3), 317\u2013349 (2007)","journal-title":"J. Autom. Reason."},{"issue":"1","key":"9296_CR92","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/AO-2011-0084","volume":"6","author":"S Schulz","year":"2011","unstructured":"Schulz, S., Cornet, R., Spackman, K.A.: Consolidating SNOMED CT\u2019s ontological commitment. Appl. Ontol. 6(1), 1\u201311 (2011)","journal-title":"Appl. Ontol."},{"key":"9296_CR93","doi-asserted-by":"crossref","unstructured":"Seitz, C., Sch\u00f6nfelder, R.: Rule-based OWL reasoning for specific embedded devices. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) Proceedings of the 10th International Semantic Web Conference (ISWC\u201911), vol. 7032, pp. 237\u2013252. LNCS, Springer (2011)","DOI":"10.1007\/978-3-642-25093-4_16"},{"key":"9296_CR94","unstructured":"Sertkaya, B.: In the search of improvements to the \u2130 \u2112 + $\\mathcal {EL}^+$ classification algorithm. In: Rosati, R., Rudolph, S., Zakharyaschev, M. (eds.) Proceedings of the 24th International Workshop on Description Logics (DL\u201911), vol. 745, pp. 389\u2013399. CEUR Workshop Proceedings, CEUR-WS.org (2011)"},{"key":"9296_CR95","unstructured":"Siman\u010d\u00edk, F., Kazakov, Y., Horrocks, I.: Consequence-based reasoning beyond Horn ontologies. In: Walsh, T. (ed.) Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI\u201911), pp. 1093\u20131098. AAAI Press\/IJCAI (2011)"},{"issue":"2","key":"9296_CR96","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. J. Web Semant. 5(2), 51\u201353 (2007)","journal-title":"J. Web Semant."},{"key":"9296_CR97","doi-asserted-by":"crossref","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., Consortium, T.O., Leontis, 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. Nat. Biotechnol. 25, 1251\u20131255 (2007)","journal-title":"Nat. Biotechnol."},{"key":"9296_CR98","doi-asserted-by":"crossref","unstructured":"Soma, R., Prasanna, V.K.: Parallel inferencing for OWL knowledge bases. In: Proceedings of the International Conference on Parallel Processing (ICPP\u201908), pp. 75\u201382. IEEE Computer Society (2008)","DOI":"10.1109\/ICPP.2008.64"},{"key":"9296_CR99","volume-title":"Polynomial-time reasoning support for design and maintenance of large-scale biomedical ontologies. Ph.D. thesis","author":"B Suntisrivaraporn","year":"2009","unstructured":"Suntisrivaraporn, B.: Polynomial-time reasoning support for design and maintenance of large-scale biomedical ontologies. Ph.D. thesis. Technische Universit\u00e4t Dresden, Germany (2009)"},{"key":"9296_CR100","doi-asserted-by":"crossref","unstructured":"Tai, W., Keeney, J., O\u2019Sullivan, D.: COROR: a composable rule-entailment OWL reasoner for resource-constrained devices. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) Proceedings of the 5th International Conference on Rule-Based Reasoning, Programming, and Applications (RuleML Europe\u201911), vol. 6826, pp. 212\u2013226. LNCS, Springer (2011)","DOI":"10.1007\/978-3-642-22546-8_17"},{"key":"9296_CR101","unstructured":"The Gene Ontology Consortium: Gene ontology annotations and resources. Nucleic Acids Res (2012)"},{"key":"9296_CR102","doi-asserted-by":"crossref","unstructured":"Thomas, E., Pan, J.Z., Ren, Y.: TrOWL: Tractable OWL 2 reasoning infrastructure. In: Aroyo, L., Antoniou, G., Hyv\u00f6nen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) Proceedings of the 7th Extended Semantic Web Conference (ESWC\u201910), vol. 6089, pp. 431\u2013435. LNCS, Springer (2010)","DOI":"10.1007\/978-3-642-13489-0_38"},{"key":"9296_CR103","doi-asserted-by":"crossref","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: system description. In: Furbach, U., Shankar, N. (eds.) Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR\u201906), vol. 4130, pp. 292\u2013297. LNCS, Springer (2006)","DOI":"10.1007\/11814771_26"},{"issue":"3","key":"9296_CR104","doi-asserted-by":"crossref","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. Autom. Reason. 39(3), 277\u2013316 (2007)","journal-title":"J. Autom. Reason."},{"key":"9296_CR105","unstructured":"Tsarkov, D., Palmisano, I.: Chainsaw: a metareasoner for large ontologies. In: Horrocks, I., Yatskevich, M., Jimenez-Ruiz, E. (eds.) Proceedings of the OWL Reasoner Evaluation Workshop 2012 (ORE\u201912), vol. 858. CEUR Workshop Proceedings, CEUR-WS.org (2012)"},{"key":"9296_CR106","doi-asserted-by":"crossref","unstructured":"Urbani, J., Kotoulas, S., Maassen, J., van Harmelen, F., Bal, H.: WebPIE: a Web-scale parallel inference engine using MapReduce. J. Web Semant., 59\u201375 (2012)","DOI":"10.1016\/j.websem.2011.05.004"},{"key":"9296_CR107","doi-asserted-by":"crossref","unstructured":"Urbani, J., Kotoulas, S., Oren, E., van Harmelen, F.: Scalable distributed reasoning using MapReduce. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) Proceedings of the 8th International Semantic Web Conference (ISWC\u201909), vol. 5823, pp. 634\u2013649. LNCS, Springer (2009)","DOI":"10.1007\/978-3-642-04930-9_40"},{"key":"9296_CR108","doi-asserted-by":"crossref","unstructured":"Weaver, J., Hendler, J.A.: Parallel materialization of the finite RDFS closure for hundreds of millions of triples. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) Proceedings of the 8th International Semantic Web Conference (ISWC\u201909), vol. 5823, pp. 682\u2013697. LNCS, Springer (2009)","DOI":"10.1007\/978-3-642-04930-9_43"},{"key":"9296_CR109","volume-title":"Automated reasoning: introduction and applications","author":"L Wos","year":"1992","unstructured":"Wos, L., Overbeek, R., Lusk, E., Boyle, J.: Automated reasoning: introduction and applications, 2nd edn. McGraw-Hill Inc., New York (1992)","edition":"2"},{"key":"9296_CR110","unstructured":"Wu, K., Haarslev, V.: A parallel reasoner for the description logic \ud835\udc9c \u2112 \ud835\udc9e $\\mathcal {ALC}$ . In: Kazakov, Y., Lembo, D., Wolter, F. (eds.) Proceedings of the 25th International Workshop on Description Logics (DL\u201912), vol. 846, pp. 378\u2013388. CEUR Workshop Proceedings, CEUR-WS.org (2012)"},{"key":"9296_CR111","unstructured":"Xiang, Z., Mungall, C., Ruttenberg, A., He, Y.: Ontobee: a linked data server and browser for ontology terms. In: International Conference on Biomedical Ontologies (ICBO), pp. 279\u2013281 (2011)"},{"key":"9296_CR112","unstructured":"Xiao, G., Heymans, S., Eiter, T.: DReW: a reasoner for Datalog-rewritable description logics and dl-programs. In: Eiter, T., Ghali, A.E., Fern\u00e1ndez, S., Heymans, S., Krennwallner, T., L\u00e9vy, F. (eds.) Proceedings of the 1st International Workshop on Business models, Business Rules and Ontologies (BuRO\u201910), pp. 1\u201314. ONTORULE Project (2010)"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-013-9296-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-013-9296-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-013-9296-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T20:52:27Z","timestamp":1746046347000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-013-9296-3"}},"subtitle":["From Polynomial Procedures to Efficient Reasoning with \u2130 \u2112 $\\mathcal {E} \\mathcal {L}$ Ontologies"],"short-title":[],"issued":{"date-parts":[[2013,11,17]]},"references-count":112,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["9296"],"URL":"https:\/\/doi.org\/10.1007\/s10817-013-9296-3","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,17]]}}}