{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T16:59:17Z","timestamp":1759683557330,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642351754"},{"type":"electronic","value":"9783642351761"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35176-1_6","type":"book-chapter","created":{"date-parts":[[2012,10,26]],"date-time":"2012-10-26T10:48:19Z","timestamp":1351248499000},"page":"82-98","source":"Crossref","is-referenced-by-count":11,"title":["Performance Heterogeneity and Approximate Reasoning in Description Logic Ontologies"],"prefix":"10.1007","author":[{"given":"Rafael S.","family":"Gon\u00e7alves","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bijan","family":"Parsia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrike","family":"Sattler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/11814771_25","volume-title":"Automated Reasoning","author":"F. Baader","year":"2006","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL \u2014 A Polynomial-Time Reasoner for Life Science Ontologies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 287\u2013291. Springer, Heidelberg (2006)"},{"key":"6_CR2","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: Efficient reasoning in $\\mathcal{EL}^+$ . In: Proc. of DL 2006 (2006)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-17746-0_3","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"S. Bail","year":"2010","unstructured":"Bail, S., Parsia, B., Sattler, U.: JustBench: A Framework for OWL Benchmarking. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol.\u00a06496, pp. 32\u201347. Springer, Heidelberg (2010)"},{"key":"6_CR4","unstructured":"Charaniya, S.: Facilitating DL Reasoners Through Ontology Partitioning. Master\u2019s thesis, Nagpur University, India (2006)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: Theory and practice. J. of Artificial Intelligence Research\u00a031 (2008)","DOI":"10.1613\/jair.2375"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Del Vescovo, C., Parsia, B., Sattler, U., Schneider, T.: The modular structure of an ontology: Atomic decomposition. In: Proc. of IJCAI 2011 (2011)","DOI":"10.3233\/978-1-60750-799-4-25"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Horridge, M., Bechhofer, S.: The OWL API: A Java API for working with OWL 2 ontologies. In: Proc. of OWLED 2009 (2009)","DOI":"10.3233\/SW-2011-0025"},{"key":"6_CR8","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $\\mathcal{SROIQ}$ . In: Proc. of KR 2006 (2006)"},{"key":"6_CR9","unstructured":"Horrocks, I.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1023\/A:1015063215934","volume":"28","author":"I. Horrocks","year":"2002","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Evaluating optimised decision procedures for propositional modal k(m) satisfiability. J. of Automated Reasoning\u00a028, 173\u2013204 (2002)","journal-title":"J. of Automated Reasoning"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-540-76298-0_20","volume-title":"The Semantic Web","author":"A. Kalyanpur","year":"2007","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.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ISWC\/ASWC 2007. LNCS, vol.\u00a04825, pp. 267\u2013280. Springer, Heidelberg (2007)"},{"key":"6_CR12","unstructured":"Lin, H., Sirin, E.: Pellint - a performance lint tool for Pellet. In: Proc. of OWLED-08EU (2008)"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1093\/nar\/gkp440","volume":"37","author":"N.F. Noy","year":"2009","unstructured":"Noy, N.F., Shah, N.H., Whetzel, P.L., Dai, B., Dorf, M., Griffith, N., Jonquet, C., Rubin, D.L., Storey, M.A., Chute, C.G., Musen, M.A.: Bioportal: Ontologies and integrated data resources at the click of a mouse. Nucleic Acids Research\u00a037, W170\u2013W173 (2009)","journal-title":"Nucleic Acids Research"},{"key":"6_CR14","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":"6_CR15","doi-asserted-by":"crossref","unstructured":"Ren, Y., Pan, J.Z., Zhao, Y.: Soundness Preserving Approximation for TBox Reasoning. In: Proc. of AAAI 2010 (2010)","DOI":"10.1609\/aaai.v24i1.7602"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-540-88737-9_12","volume-title":"Web Reasoning and Rule Systems","author":"S. Rudolph","year":"2008","unstructured":"Rudolph, S., Tserendorj, T., Hitzler, P.: What Is Approximate Reasoning? In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol.\u00a05341, pp. 150\u2013164. Springer, Heidelberg (2008)"},{"key":"6_CR17","unstructured":"Sattler, U., Schneider, T., Zakharyaschev, M.: Which kind of module should I extract? In: Proc. of DL 2009 (2009)"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0004-3702(94)00009-P","volume":"74","author":"M. Schaerf","year":"1995","unstructured":"Schaerf, M., Cadoli, M.: Tractable reasoning via approximation. Artificial Intelligence\u00a074, 249\u2013310 (1995)","journal-title":"Artificial Intelligence"},{"key":"6_CR19","unstructured":"Shearer, R., Motik, B., Horrocks, I.: HermiT: A highly-efficient OWL reasoner. In: Proc. of OWLED-08EU (2008)"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. J. of Web Semantics\u00a05(2) (2007)","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"6_CR21","series-title":"Lecture Notes in Artificial Intelligence","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 (LNAI), vol.\u00a04130, pp. 292\u2013297. Springer, Heidelberg (2006)"},{"key":"6_CR22","unstructured":"W3C OWL Working Group: OWL 2 Web Ontology Language: Document overview. W3C Recommendation (October 27, 2009), http:\/\/www.w3.org\/TR\/owl2-syntax\/"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1007\/978-3-540-76298-0_43","volume-title":"The Semantic Web","author":"T.D. Wang","year":"2007","unstructured":"Wang, T.D., Parsia, B.: Ontology Performance Profiling and Model Examination: First Steps. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ISWC\/ASWC 2007. LNCS, vol.\u00a04825, pp. 595\u2013608. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2012"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35176-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,19]],"date-time":"2025-04-19T19:13:30Z","timestamp":1745090010000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35176-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642351754","9783642351761"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35176-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}