{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:07:49Z","timestamp":1742994469210,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":12,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819603503"},{"type":"electronic","value":"9789819603510"}],"license":[{"start":{"date-parts":[[2024,11,20]],"date-time":"2024-11-20T00:00:00Z","timestamp":1732060800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,20]],"date-time":"2024-11-20T00:00:00Z","timestamp":1732060800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-981-96-0351-0_16","type":"book-chapter","created":{"date-parts":[[2024,11,23]],"date-time":"2024-11-23T18:47:41Z","timestamp":1732387661000},"page":"214-227","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Equality Generating Dependencies in\u00a0Description Logics via\u00a0Path Agreements"],"prefix":"10.1007","author":[{"given":"Eva","family":"Feng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Franconi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter F.","family":"Patel-Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Toman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grant","family":"Weddell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,11,20]]},"reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"638","DOI":"10.1007\/BF01448869","volume":"100","author":"W Ackermann","year":"1928","unstructured":"Ackermann, W.: Uber die Erfullbarkeit gewisser Zahlausdrucke. Math. Ann. 100, 638\u2013649 (1928)","journal-title":"Math. Ann."},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-319-68288-4_3","volume-title":"The Semantic Web \u2013 ISWC 2017","author":"A Artale","year":"2017","unstructured":"Artale, A., Franconi, E., Pe\u00f1aloza, R., Sportelli, F.: A decidable very expressive description logic for databases. In: d\u2019Amato, C., et al. (eds.) ISWC 2017. LNCS, vol. 10587, pp. 37\u201352. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68288-4_3"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-3-031-22695-3_26","volume-title":"AI 2022: Advances in Artificial Intelligence. AI 2022","author":"A Borgida","year":"2022","unstructured":"Borgida, A., Franconi, E., Toman, D., Weddell, G.E.: Understanding document data sources using ontologies with referring expressions. In: Aziz, H., Corr\u00eaa, D., French, T. (eds.) AI 2022. LNCS, vol. 13728, pp. 367\u2013380. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-22695-3_26"},{"issue":"2","key":"16_CR4","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"MJ Fischer","year":"1979","unstructured":"Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. J. Comput. Syst. Sci. 18(2), 194\u2013211 (1979)","journal-title":"J. Comput. Syst. Sci."},{"issue":"4","key":"16_CR5","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/BF00974106","volume":"3","author":"E Franconi","year":"1993","unstructured":"Franconi, E.: A treatment of plurals and plural quantifications based on a theory of collections. Minds Mach. 3(4), 453\u2013474 (1993)","journal-title":"Minds Mach."},{"key":"16_CR6","unstructured":"F\u00fcrer, M.: Alternation and the Ackermann case of the decision problem. L\u2019Enseignement Mathematique (1981)"},{"key":"16_CR7","unstructured":"Hopcroft, J., Ullman, J.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Boston (1979)"},{"issue":"3","key":"16_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. J. Comput. Syst. Sci. 49(3), 726\u2013768 (1994)","journal-title":"J. Comput. Syst. Sci."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"McIntyre, S., Toman, D., Weddell, G.E.: FunDL - a family of feature-based description logics, with applications in querying structured data sources. In: Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, pp. 404\u2013430 (2019)","DOI":"10.1007\/978-3-030-22102-7_19"},{"key":"16_CR10","unstructured":"Toman, D., Weddell, G.: On attributes, roles, and dependencies in description logics and the Ackermann case of the decision problem. In: Description Logics 2001, vol. 49, pp. 76\u201385. CEUR-WS (2001)"},{"key":"16_CR11","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":"16_CR12","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"}],"container-title":["Lecture Notes in Computer Science","AI 2024: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-96-0351-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,23]],"date-time":"2024-11-23T19:05:47Z","timestamp":1732388747000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-96-0351-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,20]]},"ISBN":["9789819603503","9789819603510"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-981-96-0351-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,11,20]]},"assertion":[{"value":"20 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Australasian Joint Conference on Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Melbourne, VIC","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Australia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ausai2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ajcai2024.org\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}