{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:16:20Z","timestamp":1742933780919,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319112053"},{"type":"electronic","value":"9783319112060"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11206-0_14","type":"book-chapter","created":{"date-parts":[[2014,9,15]],"date-time":"2014-09-15T01:31:55Z","timestamp":1410744715000},"page":"135-146","source":"Crossref","is-referenced-by-count":0,"title":["Matching with Respect to General Concept Inclusions in the Description Logic $\\mathcal{EL}$"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Morawska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F., Morawska, B.: Matching with respect to general concept inclusions in the description logic $\\mathcal{EL}$. LTCS-Report 14-03, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit\u00e4t Dresden, Dresden, Germany (2014), \n                      http:\/\/lat.inf.tu-dresden.de\/research\/reports.html","DOI":"10.25368\/2022.205"},{"key":"14_CR2","unstructured":"Baader, F., Borgwardt, S., Morawska, B.: Extending unification in $\\mathcal{EL}$ towards general TBoxes. In: Proc. of the 13th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2012), pp. 568\u2013572. AAAI Press (2012)"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1007\/978-3-642-35101-3_42","volume-title":"AI 2012: Advances in Artificial Intelligence","author":"F. Baader","year":"2012","unstructured":"Baader, F., Borgwardt, S., Morawska, B.: A goal-oriented algorithm for unification in $\\mathcal{ELH}_{R^+}$ w.r.t. cycle-restricted ontologies. In: Thielscher, M., Zhang, D. (eds.) AI 2012. LNCS, vol.\u00a07691, pp. 493\u2013504. Springer, Heidelberg (2012)"},{"key":"14_CR4","first-page":"364","volume-title":"Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005)","author":"F. Baader","year":"2005","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pp. 364\u2013369. Morgan Kaufmann, Los Altos (2005)"},{"key":"14_CR5","unstructured":"Baader, F., K\u00fcsters, R.: Matching in description logics with existential restrictions. In: Proc. of the 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2000), pp. 261\u2013272 (2000)"},{"issue":"3","key":"14_CR6","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1093\/logcom\/9.3.411","volume":"9","author":"F. Baader","year":"1999","unstructured":"Baader, F., K\u00fcsters, R., Borgida, A., McGuinness, D.L.: Matching in description logics. J. of Logic and Computation\u00a09(3), 411\u2013447 (1999)","journal-title":"J. of Logic and Computation"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Baader, F., Morawska, B.: Unification in the description logic $\\mathcal{EL}$. Logical Methods in Computer Science 6(3) (2010)","DOI":"10.2168\/LMCS-6(3:17)2010"},{"issue":"3","key":"14_CR8","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1006\/jsco.2000.0426","volume":"31","author":"F. Baader","year":"2001","unstructured":"Baader, F., Narendran, P.: Unification of concept terms in description logics. J. of Symbolic Computation\u00a031(3), 277\u2013305 (2001)","journal-title":"J. of Symbolic Computation"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Borgida, A., Brachman, R.J., McGuinness, D.L., Alperin Resnick, L.: CLASSIC: A structural data model for objects. In: Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pp. 59\u201367 (1989)","DOI":"10.1145\/66926.66932"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Borgida, A., K\u00fcsters, R.: What\u2019s not in a name? Initial explorations of a structural approach to integrating large concept knowledge-bases. Tech. Rep. DCS-TR-391, Rutgers University (1999)","DOI":"10.25368\/2022.101"},{"key":"14_CR11","unstructured":"Borgida, A., McGuinness, D.L.: Asking queries about frames. In: Proc. of the 5th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 1996), pp. 340\u2013349 (1996)"},{"key":"14_CR12","unstructured":"Brandt, S.: Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and\u2014what else? In: de M\u00e1ntaras, R.L., Saitta, L. (eds.) Proc. of the 16th Eur. Conf. on Artificial Intelligence (ECAI 2004), pp. 298\u2013302 (2004)"}],"container-title":["Lecture Notes in Computer Science","KI 2014: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11206-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T08:28:56Z","timestamp":1674894536000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11206-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319112053","9783319112060"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11206-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}