{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T23:39:04Z","timestamp":1725838744880},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319263496"},{"type":"electronic","value":"9783319263502"}],"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-26350-2_50","type":"book-chapter","created":{"date-parts":[[2015,11,21]],"date-time":"2015-11-21T10:59:35Z","timestamp":1448103575000},"page":"559-571","source":"Crossref","is-referenced-by-count":1,"title":["On the Krom Extension of $$\\mathcal {CFDI}^{\\forall -}_{nc}$$"],"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","published-online":{"date-parts":[[2015,11,22]]},"reference":[{"key":"50_CR1","first-page":"1","volume":"36","author":"A Artale","year":"2009","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. AI Res. 36, 1\u201369 (2009)","journal-title":"J. AI Res."},{"key":"50_CR2","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. In: Bry, F. (ed.) DOOD 1997. LNCS, vol. 1341, pp. 85\u2013102. Springer, Heidelberg (1997)"},{"key":"50_CR3","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Path-based identification constraints in description logics. In: Principles of Knowledge Representation and Reasoning, pp. 231\u2013241 (2008)"},{"key":"50_CR4","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: Identification constraints and functional dependencies in description logics. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 155\u2013160 (2001)"},{"issue":"3","key":"50_CR5","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. J. Comput. Syst. Sci. 49(3), 726\u2013768 (1994)","journal-title":"J. Comput. Syst. Sci."},{"key":"50_CR6","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":"VL 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. 1973, pp. 54\u201367. Springer, Heidelberg (2000)"},{"issue":"3","key":"50_CR7","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BF00962071","volume":"2","author":"A Schaerf","year":"1993","unstructured":"Schaerf, A.: On the complexity of the instance checking problem in concept languages with existential quantification. J. Intell. Inf. Syst. 2(3), 265\u2013278 (1993)","journal-title":"J. Intell. Inf. Syst."},{"key":"50_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","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. 4130, pp. 647\u2013661. Springer, Heidelberg (2006)"},{"key":"50_CR9","unstructured":"Toman, D., Weddell, G.E.: On the interaction between inverse features and path-functional dependencies in description logics. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 603\u2013608 (2005)"},{"issue":"2\u20133","key":"50_CR10","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. Aut. Reasoning 40(2\u20133), 117\u2013132 (2008)","journal-title":"J. Aut. Reasoning"},{"key":"50_CR11","unstructured":"Toman, D., Weddell, G.E.: Applications and extensions of PTIME description logics with functional constraints. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 948\u2013954 (2009)"},{"key":"50_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"587","DOI":"10.1007\/978-3-319-13560-1_47","volume-title":"PRICAI 2014: Trends in Artificial Intelligence","author":"D Toman","year":"2014","unstructured":"Toman, D., Weddell, G.: On adding inverse features to the description logic \n                    \n                      \n                    \n                    $${\\cal {CFD}}^{\\forall }_{nc}$$\n                  . In: Pham, D.-N., Park, S.-B. (eds.) PRICAI 2014. LNCS, vol. 8862, pp. 587\u2013599. Springer, Heidelberg (2014)"},{"key":"50_CR13","unstructured":"Toman, D., Weddell, G.E.: On the utility of \n                    \n                      \n                    \n                    $${\\cal CFDI}$$\n                  . In: Proceedings of the 28th International Workshop on Description Logics (2015)"},{"key":"50_CR14","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 2015: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-26350-2_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T16:55:52Z","timestamp":1559321752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26350-2_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319263496","9783319263502"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26350-2_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}