{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T21:18:59Z","timestamp":1725830339019},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319242453"},{"type":"electronic","value":"9783319242460"}],"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-24246-0_2","type":"book-chapter","created":{"date-parts":[[2015,9,19]],"date-time":"2015-09-19T04:20:53Z","timestamp":1442636453000},"page":"17-32","source":"Crossref","is-referenced-by-count":2,"title":["Decidable Description Logics of Context with Rigid Roles"],"prefix":"10.1007","author":[{"given":"Stephan","family":"B\u00f6hme","sequence":"first","affiliation":[]},{"given":"Marcel","family":"Lippmann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,12]]},"reference":[{"key":"2_CR1","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope. In: Proc. IJCAI 2005, pp. 364\u2013369 (2005)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511711787"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. In: Proc. KR 2008, pp. 684\u2013694 (2008)","DOI":"10.25368\/2022.164"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. ACM Trans. Comput. Log.\u00a013(3) (2012)","DOI":"10.1145\/2287718.2287721"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-642-01907-4_16","volume-title":"Modular Ontologies","author":"J. Bao","year":"2009","unstructured":"Bao, J., Voutsadakis, G., Slutzki, G., Honavar, V.: Package-based description logics. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.) Modular Ontologies. LNCS, vol.\u00a05445, pp. 349\u2013371. Springer, Heidelberg (2009)"},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-3-540-39733-5_7","volume":"2800","author":"A. Borgida","year":"2003","unstructured":"Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. Journal of Data Semantics\u00a02800, 153\u2013184 (2003)","journal-title":"Journal of Data Semantics"},{"key":"2_CR7","unstructured":"Borgwardt, S., Thost, V.: LTL over $\\mathcal{EL}$ axioms. LTCS-Report 15-07, Chair of Automata Theory, TU Dresden (2015). see http:\/\/lat.inf.tu-dresden.de\/research\/reports.html"},{"key":"2_CR8","unstructured":"Borgwardt, S., Thost, V.: Temporal query answering in the description logic $\\mathcal{EL}$ . In: Proc. IJCAI 2015 (to appear, 2015)"},{"key":"2_CR9","unstructured":"Bhme, S., Lippmann, M.: Description logics of context with rigid roles revisited. LTCS-Report 15-04, Chair of Automata Theory, TU Dresden (2015). see http:\/\/lat.inf.tu-dresden.de\/research\/reports.html"},{"issue":"3","key":"2_CR10","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1093\/jigpal\/8.3.239","volume":"8","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for very expressive description logics. Journal of the IGPL\u00a08(3), 239\u2013263 (2000)","journal-title":"Journal of the IGPL"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-15675-5_19","volume-title":"Logics in Artificial Intelligence","author":"S. Klarman","year":"2010","unstructured":"Klarman, S., Guti\u00e9rrez-Basulto, V.: ${\\mathcal{ALC}_\\mathcal{ALC}}$ : A context description logic. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol.\u00a06341, pp. 208\u2013220. Springer, Heidelberg (2010)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Klarman, S., Guti\u00e9rrez-Basulto, V.: Two-dimensional description logics for context-based semantic interoperability. In: Proc. AAAI 2011 (2011)","DOI":"10.1609\/aaai.v25i1.7854"},{"key":"2_CR13","unstructured":"Klarman, S., Guti\u00e9rrez-Basulto, V.: Two-dimensional description logics of context. In: Proc. DL 2011 (2011)"},{"key":"2_CR14","unstructured":"Lippmann, M.: Temporalised Description Logics for Monitoring Partially Observable Events. Ph.D. thesis, TU Dresden, Germany (2014)"},{"issue":"12","key":"2_CR15","doi-asserted-by":"publisher","first-page":"1030","DOI":"10.1145\/33447.33448","volume":"30","author":"J. McCarthy","year":"1987","unstructured":"McCarthy, J.: Generality in artificial intelligence. Communications of the ACM\u00a030(12), 1030\u20131035 (1987)","journal-title":"Communications of the ACM"},{"key":"2_CR16","unstructured":"McCarthy, J.: Notes on formalizing context. In: Proc. IJCAI 1993, pp. 555\u2013562 (1993)"},{"key":"2_CR17","unstructured":"Schild, K.: A correspondence theory for terminological logics: Preliminary report. In: Proc. IJCAI 1991, pp. 466\u2013471 (1991)"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24246-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,14]],"date-time":"2023-08-14T08:47:39Z","timestamp":1692002859000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24246-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319242453","9783319242460"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24246-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}