{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:13:22Z","timestamp":1767651202911},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540490296"},{"type":"electronic","value":"9783540490555"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11926078_25","type":"book-chapter","created":{"date-parts":[[2006,11,3]],"date-time":"2006-11-03T01:46:02Z","timestamp":1162518362000},"page":"343-356","source":"Crossref","is-referenced-by-count":43,"title":["The Summary Abox: Cutting Ontologies Down to Size"],"prefix":"10.1007","author":[{"given":"Achille","family":"Fokoue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aaron","family":"Kershenbaum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edith","family":"Schonberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kavitha","family":"Srinivas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/3-540-48005-6_15","volume-title":"The Semantic Web - ISWC 2002","author":"I. Horrocks","year":"2002","unstructured":"Horrocks, I., Tessaris, S.: Querying the semantic web: a formal approach. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 177\u2013191. Springer, Heidelberg (2002)"},{"key":"25_CR2","first-page":"101","volume-title":"Description Logic Handbook","author":"F. Donini","year":"2002","unstructured":"Donini, F.: Complexity of reasoning. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.) Description Logic Handbook, pp. 101\u2013141. Cambridge University Press, Cambridge (2002)"},{"key":"25_CR3","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reducing shiq description logic to disjunctive datalog programs. In: Proc. of 9th Intl. Conf. on Knowledge Representation and Reasoning (KR 2004), pp. 152\u2013162 (2004)"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic SHIQ. In: Proc. of 17th Int. Conf. on Automated Deduction, pp. 482\u2013496 (2000)","DOI":"10.1007\/10721959_39"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Fokoue, A., Kershenbaum, A., Ma, L., Schonberg, E., Srinivas, K.: Scalable reasoning: Cutting ontologies down to size (2006), http:\/\/www.research.ibm.com\/iaa\/techReport.pdf","DOI":"10.1007\/11926078_25"},{"key":"25_CR6","unstructured":"Horrocks, I., Tobies, S.: Reasoning with axioms: Theory and practice. In: KR, pp. 285\u2013296 (2000)"},{"key":"25_CR7","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":"25_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","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., Pan, Y.: Towards a complete OWL ontology benchmark. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 124\u2013139. Springer, Heidelberg (2006)"},{"key":"25_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1007\/11926078_51","volume-title":"The Semantic Web - ISWC 2006","author":"C. Welty","year":"2006","unstructured":"Welty, C., Murdock, J.W.: Towards knowledge acquisition from information extraction. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 709\u2013722. Springer, Heidelberg (2006)"},{"key":"25_CR10","unstructured":"Sirin, E., Parsia, B.: Pellet: An owl dl reasoner. In: Description Logics (2004)"},{"key":"25_CR11","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., Moller, 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":"25_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/11532231_13","volume-title":"Automated Deduction \u2013 CADE-20","author":"S. Bechhofer","year":"2005","unstructured":"Bechhofer, S., Horrocks, I., Turi, D.: The OWL instance store: System description. In: Nieuwenhuis, R. (ed.) CADE 2005. LNCS, vol.\u00a03632, pp. 177\u2013181. Springer, Heidelberg (2005)"},{"key":"25_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/3-540-36078-6_29","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"S. Tessaris","year":"2002","unstructured":"Tessaris, S., Horrocks, I.: Abox satisfiability reduced to terminological reasoning in expressive description logics. In: Baaz, M., Voronkov, A. (eds.) LPAR 2002. LNCS, vol.\u00a02514, pp. 435\u2013449. Springer, Heidelberg (2002)"},{"key":"25_CR14","unstructured":"Haarslev, V., Moller, R.: An empirical evaluation of optimization strategies for abox reasoning in expressive description logics. In: Proc. of the International Workshop on Description Logics, pp. 115\u2013199 (1999)"},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Grau, B.C., Parsia, B., Sirin, E., Kalyanpur, A.: Automatic partitioning of owl ontologies using e-connections. In: Description Logics (2005)","DOI":"10.1145\/1060745.1060837"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11926078_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:59:56Z","timestamp":1605643196000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11926078_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540490296","9783540490555"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11926078_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}