{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:43:57Z","timestamp":1725565437349},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156748"},{"type":"electronic","value":"9783642156755"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-15675-5_19","type":"book-chapter","created":{"date-parts":[[2010,9,13]],"date-time":"2010-09-13T00:07:17Z","timestamp":1284336437000},"page":"208-220","source":"Crossref","is-referenced-by-count":5,"title":["${\\mathcal{ALC}_\\mathcal{ALC}}$ : A Context Description Logic"],"prefix":"10.1007","author":[{"given":"Szymon","family":"Klarman","sequence":"first","affiliation":[]},{"given":"V\u00edctor","family":"Guti\u00e9rrez-Basulto","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","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, 1030\u20131035 (1987)","journal-title":"Communications of the ACM"},{"key":"19_CR2","unstructured":"Buva\u010d, S., Mason, I.A.: Propositional logic of context. In: Proceedings of the Eleventh National Conference on Artificial Intelligence, pp. 412\u2013419 (1993)"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Buva\u010d, S., Buvac, V., Mason, I.A.: Metamathematics of contexts. Fundamenta Informaticae\u00a023, 412\u2013419","DOI":"10.3233\/FI-1995-232345"},{"key":"19_CR4","unstructured":"Buva\u010d, S.: Quantificational logic of context. In: Proceedings of the Eleventh National Conference on Artificial Intelligence, pp. 412\u2013419 (1996)"},{"key":"19_CR5","first-page":"555","volume-title":"Proc. of International Joint Conference on Artificial Intelligence, IJCAI 1993","author":"J. McCarthy","year":"1993","unstructured":"McCarthy, J.: Notes on formalizing context. In: Proc. of International Joint Conference on Artificial Intelligence, IJCAI 1993, pp. 555\u2013560. Morgan Kaufmann, San Francisco (1993)"},{"key":"19_CR6","unstructured":"Guha, R.: Contexts: a formalization and some applications. PhD thesis, Stanford University (1991)"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-30475-3_4","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"R. Guha","year":"2004","unstructured":"Guha, R., Mccool, R., Fikes, R.: Contexts for the semantic web. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 32\u201346. Springer, Heidelberg (2004)"},{"issue":"1-2","key":"19_CR8","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S1570-8683(03)00007-7","volume":"1","author":"R. Nossum","year":"2003","unstructured":"Nossum, R.: A decidable multi-modal logic of context. Journal of Applied Logic\u00a01(1-2), 119\u2013133 (2003)","journal-title":"Journal of Applied Logic"},{"key":"19_CR9","volume-title":"The description logic handbook: theory, implementation, and applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., Mcguinness, D.L., Nardi, D., Patel-Schneider, P.F.: The description logic handbook: theory, implementation, and applications. Cambridge University Press, Cambridge (2003)"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. Journal of Data Semantics\u00a01, 2003 (2003)","DOI":"10.1007\/978-3-540-39733-5_7"},{"key":"19_CR11","unstructured":"Cuenca Grau, B., Kutz, O.: Modular ontology languages revisited. In: Proc. of the Workshop on Semantic Web for Collaborative Knowledge Acquisition (2007)"},{"key":"19_CR12","unstructured":"Goczyla, K., Waloszek, W., Waloszek, A.: Contextualization of a DL knowledge base. In: The Proceedings of the International Workshop on Description Logics, DL 2007 (2007)"},{"key":"19_CR13","unstructured":"Grossi, D.: Desigining Invisible Handcuffs. Formal Investigations in Institutions and Organizations for Multi-Agent Systems. PhD thesis, Utrecht University (2007)"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Lutz, C., Wolter, F., Zakharyaschev, M.: Temporal description logics: A survey. In: Proceedings of the Fourteenth International Symposium on Temporal Representation and Reasoning. IEEE Computer Society Press, Los Alamitos (2008)","DOI":"10.1109\/TIME.2008.14"},{"key":"19_CR15","unstructured":"Artale, A., Lutz, C., Toman, D.: A description logic of change. In: Veloso, M. (ed.) Proceedings of IJCAI 2007, pp. 218\u2013223 (2007)"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Artale, A., Kontchakov, R., Lutz, C., Wolter, F., Zakharyaschev, M.: Temporalising tractable description logics. In: Proceedings of the Fourteenth International Symposium on Temporal Representation and Reasoning (2007)","DOI":"10.1109\/TIME.2007.62"},{"key":"19_CR17","unstructured":"Wolter, F., Zakharyaschev, M.: Multi-dimensional description logics. In: IJCAI 1999: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, San Francisco, CA, USA, pp. 104\u2013109 (1999)"},{"key":"19_CR18","first-page":"808","volume-title":"Proceedings of the 14th International Joint Conference on Artificial Intelligence","author":"F. Baader","year":"1995","unstructured":"Baader, F., Laux, A.: Terminological logics with modal operators. In: Mellish, C. (ed.) Proceedings of the 14th International Joint Conference on Artificial Intelligence, Montr\u00e9al, Canada, pp. 808\u2013814. Morgan Kaufmann, San Francisco (1995)"},{"key":"19_CR19","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Many-Dimensional Modal Logics: Theory and Applications","author":"A. Kurucz","year":"2003","unstructured":"Kurucz, A., Wolter, F., Zakharyaschev, M., Gabbay, D.M.: Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundations of Mathematics, vol.\u00a0148. Elsevier, Amsterdam (2003)"},{"key":"19_CR20","first-page":"512","volume-title":"Proceedings of the Sixth Conference on Principles of Knowledge Representation and Reasoning","author":"F. Wolter","year":"1998","unstructured":"Wolter, F., Zakharyaschev, M.: Satisfiability problem in description logics with modal operators. In: Proceedings of the Sixth Conference on Principles of Knowledge Representation and Reasoning, pp. 512\u2013523. Morgan Kaufman, San Francisco (1998)"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Klarman, S., Guti\u00e9rrez-Basulto, V.: $\\mathcal{ALC}_\\mathcal{ALC}$ : a context description logic. Technical report, Vrije Universiteit Amsterdam (2010), http:\/\/klarman.synthasite.com\/resources\/JELIA2010TechRep.pdf","DOI":"10.1007\/978-3-642-15675-5_19"},{"issue":"1","key":"19_CR22","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/322234.322243","volume":"28","author":"A.K. Chandra","year":"1981","unstructured":"Chandra, A.K., Kozen, D.C., Stockmeyer, L.J.: Alternation. J. ACM\u00a028(1), 114\u2013133 (1981)","journal-title":"J. ACM"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15675-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T10:10:28Z","timestamp":1591870228000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15675-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156748","9783642156755"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15675-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}