{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,7,11]],"date-time":"2023-07-11T19:40:14Z","timestamp":1689104414851},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,4,3]],"date-time":"2014-04-03T00:00:00Z","timestamp":1396483200000},"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,10]]},"DOI":"10.1007\/s10817-014-9304-2","type":"journal-article","created":{"date-parts":[[2014,4,2]],"date-time":"2014-04-02T13:12:45Z","timestamp":1396444365000},"page":"215-243","source":"Crossref","is-referenced-by-count":2,"title":["Absorption for ABoxes"],"prefix":"10.1007","volume":"53","author":[{"given":"Jiewen","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Hudek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Toman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grant","family":"Weddell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,4,3]]},"reference":[{"key":"9304_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): Implementation and Optimisation Techniques, chap. 9, pp. 306\u2013346. Cambridge Univserity Press (2003)"},{"key":"9304_CR2","volume-title":"The description logic handbook: theory, implementation, and applications","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The description logic handbook: theory, implementation, and applications. Cambridge University Press, New York (2003)"},{"key":"9304_CR3","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, or: making KRIS get a move on. Appl. Artif. Intell. 4, 109\u2013132 (1994)","journal-title":"Appl. Artif. Intell."},{"key":"9304_CR4","first-page":"255","volume-title":"Reasoning Web. Semantic Technologies for Information Systems. Lecture Notes in Computer Science, vol. 5689","author":"D Calvanese","year":"2009","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro, M., Rosati, R.: Ontologies and databases: the DL-Lite approach. In: Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.C., Schmidt, R. (eds.) Reasoning Web. Semantic Technologies for Information Systems. Lecture Notes in Computer Science, vol. 5689, pp 255\u2013356. Springer, Heidelberg (2009)"},{"key":"9304_CR5","unstructured":"Dolby, J., Fokoue, A., Kalyanpur, A., Kershenbaum, A., Schonberg, E., Srinivas, K., Ma, L.: Scalable semantic retrieval through summarization and refinement. In: AAAI\u201907, pp. 299\u2013304 (2007)"},{"issue":"2","key":"9304_CR6","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/s10817-008-9104-7","volume":"41","author":"V Haarslev","year":"2008","unstructured":"Haarslev, V., M\u00f6ller, R.: On the scalability of description logic instance retrieval. J. Autom. Reason. 41(2), 99\u2013142 (2008). doi: 10.1007\/s10817-008-9104-7","journal-title":"J. Autom. Reason."},{"key":"9304_CR7","unstructured":"Horrocks, I.: Optimising tableaux decision procedures for description logics. Ph.D. thesis, the University of Manchester (1997)"},{"key":"9304_CR8","unstructured":"Horrocks, I.: Using an Expressive Description Logic: FaCT or Fiction? In: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning, pp. 636\u2013647 (1998)"},{"key":"9304_CR9","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Sattler, U.: Optimised reasoning for shiq. In: ECAI\u201902, pp. 277\u2013281 (2002)","DOI":"10.25368\/2022.118"},{"key":"9304_CR10","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning, LPAR \u201999, pp. 161\u2013180. Springer-Verlag, London. http:\/\/dl.acm.org\/citation.cfm?id=645709.664314 (1999)","DOI":"10.1007\/3-540-48242-3_11"},{"key":"9304_CR11","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Tobies, S.: Optimisation of terminological reasoning. In: Proceedings of the 2000 International Workshop on Description Logics, pp. 183\u2013192 (2000)","DOI":"10.25368\/2022.99"},{"key":"9304_CR12","unstructured":"Horrocks, I., Tobies, S.: Reasoning with axioms: theory and practice. In: Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning, pp. 285\u2013296 (2000)"},{"key":"9304_CR13","unstructured":"Hudek, A.K., Weddell, G.E.: Binary absorption in tableaux-based reasoning for description logics.In: Proceedings of the 2006 International Workshop on Description Logics (2006)"},{"key":"9304_CR14","doi-asserted-by":"crossref","unstructured":"Kollia, I., Glimm, B.: Cost based query ordering over OWL ontologies. In: The Semantic Web - ISWC 2012 - 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I, pp. 231\u2013246 (2012)","DOI":"10.1007\/978-3-642-35176-1_15"},{"key":"9304_CR15","unstructured":"Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to query answering in DL-Lite. In: Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (2010)"},{"key":"9304_CR16","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, pp 2656\u20132661 (2011)"},{"key":"9304_CR17","unstructured":"Lutz, C., Toman, D., Wolter, F.: Conjunctive query answering in the description logic EL using a relational database system. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence, pp. 2070\u20132075 (2009)"},{"key":"9304_CR18","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. (JAIR) 36, 165\u2013228 (2009)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"9304_CR19","first-page":"1","volume":"74","author":"E Nuutila","year":"1995","unstructured":"Nuutila, E.: Efficient transitive closure computation in large digraphs. Acta Polytechnica Scandinavia: Math. Comput. Eng. 74, 1\u2013124 (1995)","journal-title":"Acta Polytechnica Scandinavia: Math. Comput. Eng."},{"key":"9304_CR20","unstructured":"Pound, J., Toman, D., Weddell, G.E., Wu, J.: An assertion retrieval algebra for object queries over knowledge bases. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pp. 1051\u20131056 (2011)"},{"key":"9304_CR21","unstructured":"Rosati, R., Almatelli, A.: Improving query answering over DL-Lite ontologies. In: Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (2010)"},{"key":"9304_CR22","unstructured":"Service, A.R.: U.S. Department of Agriculture national nutrient database for standard reference, release 25 (2012). Online: http:\/\/www.ars.usda.gov\/ba\/bhnrc\/ndl"},{"key":"9304_CR23","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1613\/jair.705","volume":"12","author":"S Tobies","year":"2000","unstructured":"Tobies, S.: The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. J. Artif. Intell. Res. (JAIR) 12, 199\u2013217 (2000)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"9304_CR24","unstructured":"Tsarkov, D., Horrocks, I.: Efficient reasoning with range and domain constraints. In: Proceedings of the 2004 International Workshop on Description Logics (DL2004) (2004)"},{"issue":"2","key":"9304_CR25","doi-asserted-by":"crossref","first-page":"133","DOI":"10.3233\/AO-2012-0105","volume":"7","author":"S Wandelt","year":"2012","unstructured":"Wandelt, S., M\u00f6ller, R.: Towards abox modularization of semi-expressive description logics. Appl. Ontol. 7(2), 133\u2013167 (2012)","journal-title":"Appl. Ontol."},{"issue":"1","key":"9304_CR26","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/j.jal.2007.07.006","volume":"7","author":"M Wessel","year":"2009","unstructured":"Wessel, M., M\u00f6ller, R.: Flexible software architectures for ontology-based information systems. J. Appl. Logic 7(1), 75\u201399 (2009)","journal-title":"J. Appl. Logic"},{"key":"9304_CR27","unstructured":"Wu, J., Hudek, A.K., Toman, D., Weddell, G.E.: Assertion absorption in object queries over knowledge bases. In: KR\u201912 (2012)"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-014-9304-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-014-9304-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-014-9304-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,11]],"date-time":"2023-07-11T18:59:36Z","timestamp":1689101976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-014-9304-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,3]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,10]]}},"alternative-id":["9304"],"URL":"https:\/\/doi.org\/10.1007\/s10817-014-9304-2","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,4,3]]}}}