{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T00:30:12Z","timestamp":1725755412715},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319036793"},{"type":"electronic","value":"9783319036809"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03680-9_36","type":"book-chapter","created":{"date-parts":[[2013,11,6]],"date-time":"2013-11-06T08:06:30Z","timestamp":1383725190000},"page":"350-361","source":"Crossref","is-referenced-by-count":4,"title":["Conjunctive Query Answering in ${\\mathcal{CFD}}_{nc}$ : A PTIME Description Logic with Functional Constraints and Disjointness"],"prefix":"10.1007","author":[{"given":"David","family":"Toman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grant","family":"Weddell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"36_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.2820","volume":"36","author":"A. Artale","year":"2009","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. Artif. Intell. Res (JAIR)\u00a036, 1\u201369 (2009)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"36_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\cal EL$ Envelope. In: Proc. Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 364\u2013369 (2005)","DOI":"10.25368\/2022.144"},{"key":"36_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/3-540-63792-3_10","volume-title":"Deductive and Object-Oriented Databases","author":"A. Borgida","year":"1997","unstructured":"Borgida, A., Weddell, G.: Adding Uniqueness Constraints to Description Logics (Preliminary Report). In: Bry, F., Ramakrishnan, R., Ramamohanarao, K. (eds.) DOOD 1997. LNCS, vol.\u00a01341, pp. 85\u2013102. Springer, Heidelberg (1997)"},{"issue":"3","key":"36_CR4","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D. Calvanese","year":"2007","unstructured":"Calvanese, D., de Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. Journal of Automated Reasoning\u00a039(3), 385\u2013429 (2007)","journal-title":"Journal of Automated Reasoning"},{"key":"36_CR5","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Path-Based Identification Constraints in Description Logics. In: Proc. of the 11th Int. Joint Conf. on Principles of Knowledge Representation and Reasoning (KR), pp. 231\u2013241 (2008)"},{"key":"36_CR6","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: Identification Constraints and Functional Dependencies in Description Logics. In: Proc. Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 155\u2013160 (2001)"},{"key":"36_CR7","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley (1979)"},{"issue":"3","key":"36_CR8","doi-asserted-by":"publisher","first-page":"726","DOI":"10.1016\/S0022-0000(05)80078-9","volume":"49","author":"M. Ito","year":"1994","unstructured":"Ito, M., Weddell, G.: Implication Problems for Functional Constraints on Databases Supporting Complex Objects. Journal of Computer and System Sciences\u00a049(3), 726\u2013768 (1994)","journal-title":"Journal of Computer and System Sciences"},{"key":"36_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/3-540-44503-X_4","volume-title":"Database Theory - ICDT 2001","author":"V.L. Khizder","year":"2000","unstructured":"Khizder, V.L., Toman, D., Weddell, G.: On Decidability and Complexity of Description Logics with Uniqueness Constraints. In: Van den Bussche, J., Vianu, V. (eds.) ICDT 2001. LNCS, vol.\u00a01973, pp. 54\u201367. Springer, Heidelberg (2000)"},{"key":"36_CR10","unstructured":"Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to query answering in DL-Lite. In: KR (2010)"},{"key":"36_CR11","doi-asserted-by":"crossref","unstructured":"Kozen, D.: Lower bounds for natural proof systems. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science, pp. 254\u2013266. IEEE Computer Society (1977)","DOI":"10.1109\/SFCS.1977.16"},{"key":"36_CR12","unstructured":"Lutz, C., Toman, D., Wolter, F.: Conjunctive query answering in the description logic EL using a relational database system. In: Proc. Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 2070\u20132075 (2009)"},{"issue":"1","key":"36_CR13","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.tcs.2004.10.036","volume":"336","author":"D. Toman","year":"2005","unstructured":"Toman, D., Weddell, G.: On Reasoning about Structural Equality in XML: A Description Logic Approach. Theoretical Computer Science\u00a0336(1), 181\u2013203 (2005)","journal-title":"Theoretical Computer Science"},{"key":"36_CR14","unstructured":"Toman, D., Weddell, G.: On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics. In: Proc. Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 603\u2013608 (2005)"},{"key":"36_CR15","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1007\/11814771_52","volume-title":"Automated Reasoning","author":"D. Toman","year":"2006","unstructured":"Toman, D., Weddell, G.: On Keys and Functional Dependencies as First-Class Citizens in Description Logics. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 647\u2013661. Springer, Heidelberg (2006)"},{"issue":"2-3","key":"36_CR16","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/s10817-007-9092-z","volume":"40","author":"D. Toman","year":"2008","unstructured":"Toman, D., Weddell, G.E.: On keys and functional dependencies as first-class citizens in description logics. J. Autom. Reasoning\u00a040(2-3), 117\u2013132 (2008)","journal-title":"J. Autom. Reasoning"},{"key":"36_CR17","unstructured":"Toman, D., Weddell, G.E.: Applications and extensions of ptime description logics with functional constraints. In: Proc. Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 948\u2013954 (2009)"},{"key":"36_CR18","doi-asserted-by":"crossref","unstructured":"Weddell, G.: A Theory of Functional Dependencies for Object Oriented Data Models. In: International Conference on Deductive and Object-Oriented Databases, pp. 165\u2013184 (1989)","DOI":"10.1016\/B978-0-444-88433-6.50017-4"}],"container-title":["Lecture Notes in Computer Science","AI 2013: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03680-9_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,6]],"date-time":"2023-07-06T06:26:26Z","timestamp":1688624786000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-03680-9_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319036793","9783319036809"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03680-9_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}