{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T21:33:53Z","timestamp":1725831233595},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319244884"},{"type":"electronic","value":"9783319244891"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24489-1_5","type":"book-chapter","created":{"date-parts":[[2015,9,29]],"date-time":"2015-09-29T03:00:40Z","timestamp":1443495640000},"page":"59-71","source":"Crossref","is-referenced-by-count":0,"title":["Deciding Subsumers of Least Fixpoint Concepts w.r.t. general $$\\mathcal{EL}$$ -TBoxes"],"prefix":"10.1007","author":[{"given":"Shasha","family":"Feng","sequence":"first","affiliation":[]},{"given":"Michel","family":"Ludwig","sequence":"additional","affiliation":[]},{"given":"Dirk","family":"Walther","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,3]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Proceedings of IJCAI-05: the 19th International Joint Conference on Artificial Intelligence, pp. 364\u2013369. Morgan-Kaufmann Publishers (2005)","DOI":"10.25368\/2022.144"},{"key":"5_CR2","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope further. In: Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions (2008)"},{"key":"5_CR3","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, 2nd edition (2010)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Bradfield, J., Stirling, C.: Modal $$\\mu $$ -calculi. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, Studies in Logic and Practical Reasoning, vol. 3, pp. 721\u2013756. Elsevier (2007)","DOI":"10.1016\/S1570-2464(07)80015-2"},{"key":"5_CR5","unstructured":"Brandt, S.: Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and\u2013what else? In: Proceedings of ECAI-04: the 16th European Conference on Artificial Intelligence, pp. 298\u2013302. IOS Press (2004)"},{"key":"5_CR6","unstructured":"Ecke, A., Ludwig, M., Walther, D.: The concept difference for EL-terminologies using hypergraphs. In: Proceedings of DChanges-13: the International Workshop on (Document) Changes: Modeling, Detection, Storage and Visualization. CEUR-WS, vol. 1008 (2013)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Baader, F., K\u00fcsters, R., Molitor, R.: Computing least common subsumers in description logics with existential restrictions. In: Proceedings of IJCAI-99: the 16th International Joint Conference on Artificial Intelligence, pp. 96\u2013101. Morgan-Kaufmann Publishers (1999)","DOI":"10.25368\/2022.85"},{"key":"5_CR8","unstructured":"Feng, S., Ludwig, M., Walther, D.: The logical difference for EL: from terminologies towards TBoxes. In: Proceedings of IWOST-15: the 1st International Workshop on Semantic Technologies. CEUR-WS (2015)"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1007\/3-540-60246-1_160","volume-title":"Mathematical Foundations of Computer Science 1995","author":"D Janin","year":"1995","unstructured":"Janin, D., Walukiewicz, I.: Automata for the modal mu-calculus and related results. In: Wiedermann, J., H\u00e1jek, P. (eds.) Mathematical Foundations of Computer Science 1995. LNCS, vol. 969, pp. 552\u2013562. Springer, Heidelberg (1995)"},{"key":"5_CR10","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1613\/jair.3552","volume":"44","author":"B Konev","year":"2012","unstructured":"Konev, B., Ludwig, M., Walther, D., Wolter, F.: The logical difference for the lightweight description logic EL. Journal of Artificial Intelligence Research (JAIR) 44, 633\u2013708 (2012)","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"issue":"3","key":"5_CR11","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional $$\\mu $$ -calculus. Theoretical Computer Science 27(3), 333\u2013354 (1983)","journal-title":"Theoretical Computer Science"},{"key":"5_CR12","unstructured":"Ludwig, M., Walther, D.: The logical difference for ELHr-terminologies using hypergraphs. In: Proceedings of ECAI-14: the 21st European Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications, vol. 263, pp. 555\u2013560. IOS Press (2014)"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-45744-5_7","volume-title":"Automated Reasoning","author":"U Sattler","year":"2001","unstructured":"Sattler, U., Vardi, M.Y.: The hybrid mgr-calculus. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, p. 76. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","KI 2015: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24489-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,14]],"date-time":"2023-08-14T14:04:58Z","timestamp":1692021898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24489-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319244884","9783319244891"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24489-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}