{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T15:48:40Z","timestamp":1710344920743},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2014,8,14]],"date-time":"2014-08-14T00:00:00Z","timestamp":1407974400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1007\/s10817-014-9310-4","type":"journal-article","created":{"date-parts":[[2014,8,13]],"date-time":"2014-08-13T13:39:26Z","timestamp":1407937166000},"page":"351-405","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Reasoning with Nominal Schemas through Absorption"],"prefix":"10.1007","volume":"53","author":[{"given":"Andreas","family":"Steigmiller","sequence":"first","affiliation":[]},{"given":"Birte","family":"Glimm","sequence":"additional","affiliation":[]},{"given":"Thorsten","family":"Liebig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,8,14]]},"reference":[{"key":"9310_CR1","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":"9310_CR2","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF00872105","volume":"4","author":"F Baader","year":"1994","unstructured":"Baader, F., Hollunder, B., Nebel, B., Profitlich, H.J., Franconi, E.: An empirical analysis of optimization techniques for terminological representation systems. J. Appl. Intell. 4(2), 109\u2013132 (1994)","journal-title":"J. Appl. Intell."},{"issue":"1\u20134","key":"9310_CR3","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1023\/A:1018988913388","volume":"24","author":"P Blackburn","year":"1998","unstructured":"Blackburn, P., Tzakova, M.: Hybridizing concept languages. Ann. Math. Artif. Intell. 24(1\u20134), 23\u201349 (1998)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"3","key":"9310_CR4","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/s10849-005-5788-9","volume":"14","author":"S Demri","year":"2005","unstructured":"Demri, S., Nivelle, H.: Deciding regular grammar logics with converse through first-order logic. J. Logic Lang. Inf. 14(3), 289\u2013329 (2005)","journal-title":"J. Logic Lang. Inf."},{"issue":"1","key":"9310_CR5","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"CL Forgy","year":"1982","unstructured":"Forgy, C.L.: Rete: A fast algorithm for the many pattern\/many object pattern match problem. Artif. Int. 19(1), 17\u201337 (1982)","journal-title":"Artif. Int."},{"key":"9310_CR6","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 Semant. Sci. Serv. Agents World Wide Web 14, 84\u2013101 (2012)","journal-title":"J. Web Semant. Sci. Serv. Agents World Wide Web"},{"key":"9310_CR7","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible S R O I Q $\\mathcal {SROIQ}$ . In: Proceedings 10th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201906), pp. 57\u201367. AAAI Press (2006)"},{"key":"9310_CR8","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B.N., Dean, M.: SWRL: A Semantic Web Rule Language. W3C Member Submission. Available at http:\/\/www.w3.org\/Submission\/SWRL\/ (2004)"},{"issue":"3","key":"9310_CR9","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1093\/logcom\/9.3.385","volume":"9","author":"I Horrocks","year":"1999","unstructured":"Horrocks, I., Sattler, U.: A description logic with transitive and inverse roles and role hierarchies. J. Logic Comput. 9(3), 385\u2013410 (1999)","journal-title":"J. Logic Comput."},{"issue":"3","key":"9310_CR10","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/s10817-007-9079-9","volume":"39","author":"I Horrocks","year":"2007","unstructured":"Horrocks, I., Sattler, U.: A tableau decision procedure for S \u210b O I Q $\\mathcal {SHOIQ}$ . J. Autom. Reason. 39(3), 249\u2013276 (2007)","journal-title":"J. Autom. Reason."},{"key":"9310_CR11","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic S \u210b I Q $\\mathcal {SHIQ}$ . In: McAllester D.A., (ed.) Proceedings 17th International Conference on Automated Deduction (CADE\u201900), LNCS, vol. 1831, pp. 482\u2013496. Springer (2000)","DOI":"10.1007\/10721959_39"},{"key":"9310_CR12","unstructured":"Horrocks, I., Tobies, S.: Reasoning with axioms: Theory and practice. In: Proceedings 7th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201900), pp. 285\u2013296. Morgan Kaufmann (2000)"},{"key":"9310_CR13","unstructured":"Hudek, A.K., Weddell, G.E.: Binary absorption in tableaux-based reasoning for description logics. In: Proceedings 19th International Workshop on Description Logics (DL\u201906), vol. 189. CEUR (2006)"},{"key":"9310_CR14","unstructured":"Kazakov, Y: R I Q $\\mathcal {RIQ}$ and S R O I Q $\\mathcal {SROIQ}$ are harder than S \u210b O I Q $\\mathcal {SHOIQ}$ . In: Brewka, G., Lang, J. (eds.) Proceedings 11th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201908), pp. 274\u2013284. AAAI Press (2008)"},{"key":"9310_CR15","unstructured":"Kifer, M., Boley, H. (eds.): RIF Overview. W3C Working Group Note (2010). Available at http:\/\/www.w3.org\/TR\/rif-overview\/ . Accessed 20 June 2010"},{"key":"9310_CR16","doi-asserted-by":"crossref","unstructured":"Krisnadhi, A., Hitzler, P.: A tableau algorithm for description logics with nominal schema. In: Proceedings 6th International Conference on Web Reasoning and Rule Systems (RR\u201912), LNCS, vol. 7497, pp. 234\u2013237 (2012)","DOI":"10.1007\/978-3-642-33203-6_22"},{"key":"9310_CR17","doi-asserted-by":"crossref","unstructured":"Kr\u00f6tzsch, M., Maier, F., Krisnadhi, A., Hitzler, P.: A better uncle for OWL: Nominal schemas for integrating rules and ontologies. In: Proceedings 20th International Conference on World Wide Web (WWW\u201911), pp. 645\u2013654. ACM (2011)","DOI":"10.1145\/1963405.1963496"},{"key":"9310_CR18","doi-asserted-by":"crossref","unstructured":"Kr\u00f6tzsch, M., Rudolph, S.: Nominal schemas in description logics: Complexities clarified. In: Proceedings 14th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201914). AAAI Press. Accepted, http:\/\/korrekt.org\/page\/Nominal_Schemas_in_Description_Logics:_Complexities_Clarified (2014)","DOI":"10.1145\/2422085.2422087"},{"key":"9310_CR19","doi-asserted-by":"crossref","unstructured":"Liang, S., Fodor, P., Wan, H., Kifer, M.: Openrulebench: an analysis of the performance of rule engines. In: Proceedings 18th International Conference on World wide web (WWW\u201909), pp. 601\u2013610. ACM, New York (2009)","DOI":"10.1145\/1526709.1526790"},{"key":"9310_CR20","doi-asserted-by":"crossref","unstructured":"Ma, L., Yang, Y., Qiu, Z., Xie, G., Pan, Y., Liu, S.: Towards a complete OWL ontology benchmark. In: Proceedings 3rd European Semantic Web Conference (ESWC\u201906), LNCS, vol. 4011, pp. 125\u2013139. Springer (2006)","DOI":"10.1007\/11762256_12"},{"key":"9310_CR21","doi-asserted-by":"crossref","unstructured":"Mart\u00ednez, D.C., Wang, C., Hitzler, P.: Towards an efficient algorithm to reason over description logics extended with nominal schemas. In: Proceedings 7th International Conference on Web Reasoning and Rule Systems (RR\u201913), LNCS, vol. 7994, pp. 65\u201379. Springer (2013)","DOI":"10.1007\/978-3-642-39666-3_6"},{"key":"9310_CR22","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":"9310_CR23","unstructured":"Siman\u010d\u00edk, F.: Elimination of complex RIAs without automata. In: Proceedings 25th International Workshop on Description Logics (DL\u201912), vol. 846. CEUR (2012)"},{"issue":"2","key":"9310_CR24","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., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. J. Web Semant. 5(2), 51\u201353 (2007)","journal-title":"J. Web Semant."},{"key":"9310_CR25","unstructured":"Steigmiller, A., Glimm, B., Liebig, T.: Extending absorption to nominal schemas. In: Proceedings 26th International Workshop on Description Logics (DL\u201913), vol. 1014. CEUR (2013)"},{"key":"9310_CR26","unstructured":"Steigmiller, A., Glimm, B., Liebig, T.: Nominal schema absorption. In: Proceedings 23rd International Joint Conference on Artificial Intelligence (IJCAI\u201913), pp. 1104\u20131110. AAAI Press\/The MIT Press (2013)"},{"key":"9310_CR27","unstructured":"Steigmiller, A., Glimm, B., Liebig, T.: Optimised absorption for expressive description logics. In: Proceedings 27th International Workshop on Description Logics (DL\u201914). Accepted (2014)"},{"key":"9310_CR28","doi-asserted-by":"crossref","unstructured":"Steigmiller, A., Liebig, T., Glimm, B.: Extended caching, backjumping and merging for expressive description logics. In: Proceedings 6th International Joint Conference on Automated Reasoning (IJCAR\u201912), LNCS, vol. 7364, pp. 514\u2013529. Springer (2012)","DOI":"10.1007\/978-3-642-31365-3_40"},{"key":"9310_CR29","doi-asserted-by":"crossref","unstructured":"Steigmiller, A., Liebig, T., Glimm, B.: Konclude: System description. J. Web Semant. Accepted (2014)","DOI":"10.1016\/j.websem.2014.06.003"},{"key":"9310_CR30","unstructured":"Tsarkov, D., Horrocks, I.: Efficient reasoning with range and domain constraints. In: Proceedings 17th International Workshop on Description Logics (DL\u201904), vol. 104. CEUR (2004)"},{"key":"9310_CR31","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. Reas. 39, 277\u2013316 (2007)","journal-title":"J. Autom. Reas."},{"key":"9310_CR32","unstructured":"W3C OWL Working Group: OWL 2 Web Ontology Language: Document Overview. W3C Recommendation (2009). Available at http:\/\/www.w3.org\/TR\/owl2-overview\/ . Accessed 27 Oct 2009"},{"key":"9310_CR33","doi-asserted-by":"crossref","unstructured":"Wang, C., Hitzler, P.: A resolution procedure for description logics with nominal schemas. In: Proceedings 2nd Joint International Semantic Technology Conf. (JIST\u201912), LNCS, vol. 7774, pp. 1\u201316. Springer (2012)","DOI":"10.1007\/978-3-642-37996-3_1"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-014-9310-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-014-9310-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-014-9310-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,14]],"date-time":"2022-04-14T10:29:12Z","timestamp":1649932152000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-014-9310-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,14]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["9310"],"URL":"https:\/\/doi.org\/10.1007\/s10817-014-9310-4","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,8,14]]}}}