{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:37:58Z","timestamp":1759639078000,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030195694"},{"type":"electronic","value":"9783030195700"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-19570-0_25","type":"book-chapter","created":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T16:27:54Z","timestamp":1557160074000},"page":"387-398","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Extending $$\\mathcal {ALC}$$ with the Power-Set Construct"],"prefix":"10.1007","author":[{"given":"Laura","family":"Giordano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Policriti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,6]]},"reference":[{"key":"25_CR1","volume-title":"Non-Well-Founded Sets","author":"P Aczel","year":"1988","unstructured":"Aczel, P.: Non-Well-Founded Sets, vol. 14. CSLI Lecture Notes, Stanford (1988)"},{"key":"25_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511711787","volume-title":"The Description Logic Handbook - Theory, Implementation, and Applications","author":"F Baader","year":"2007","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 (2007)"},{"issue":"3","key":"25_CR3","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/BF00881803","volume":"15","author":"G D\u2019Agostino","year":"1995","unstructured":"D\u2019Agostino, G., Montanari, A., Policriti, A.: A set-theoretic translation method for polymodal logics. J. Autom. Reasoning 15(3), 317\u2013337 (1995)","journal-title":"J. Autom. Reasoning"},{"key":"25_CR4","unstructured":"De Giacomo, G., Lenzerini, M., Rosati, R.: Higher-order description logics for domain metamodeling. In: Proceedings of AAAI 2011, San Francisco, California, USA, 7\u201311 August 2011"},{"key":"25_CR5","unstructured":"Giordano, L., Policriti, A.: Power(Set) ALC. In ICTCS, 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, 18\u201320 September 2018"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Giordano, L., Policriti, A.: Adding the Power-Set to Description Logics. CoRR abs\/1902.09844, February 2019","DOI":"10.1016\/j.tcs.2019.10.049"},{"key":"25_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-642-17746-0_17","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"B Glimm","year":"2010","unstructured":"Glimm, B., Rudolph, S., V\u00f6lker, J.: Integrated metamodeling and diagnosis in OWL\u00a02. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010. LNCS, vol. 6496, pp. 257\u2013272. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-17746-0_17"},{"key":"25_CR8","unstructured":"Gu, Z.: Meta-modeling extension of Horn-SROIQ and query answering. In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, 22\u201325 April 2016"},{"key":"25_CR9","unstructured":"Homola, M., Kluka, J., Sv\u00e1tek, V., Vacura, M.: Typed higher-order variant of SROIQ - why not? In: Proceedings 27th International Workshop on Description Logics, Vienna, Austria, 17\u201320 July, pp. 567\u2013578 (2014)"},{"key":"25_CR10","unstructured":"Kubincov\u00e1, P., Kluka, J., Homola, M.: Towards expressive metamodelling with instantiation. In: Proceedings of the 28th International Workshop on Description Logics, Athens, 7\u201310 June 2015"},{"key":"25_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1007\/11574620_40","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"B Motik","year":"2005","unstructured":"Motik, B.: On the Properties of Metamodeling in OWL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 548\u2013562. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11574620_40"},{"key":"25_CR12","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.websem.2015.05.002","volume":"35","author":"R Motz","year":"2015","unstructured":"Motz, R., Rohrer, E., Severi, P.: The description logic SHIQ with a flexible meta-modelling hierarchy. J. Web Sem. 35, 214\u2013234 (2015)","journal-title":"J. Web Sem."},{"key":"25_CR13","series-title":"On Sets and Graphs","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-54981-1","volume-title":"Perspectives Logic Combinatorics","author":"EG Omodeo","year":"2017","unstructured":"Omodeo, E.G., Policriti, A., Tomescu, A.I.: Perspectives Logic Combinatorics. On Sets and Graphs. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-54981-1"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Pan, J.Z., Horrocks, I., Schreiber, G.: OWL FA: A metamodeling extension of OWL DL. In Proceedings of OWLED 2005 Workshop, Galway, Ireland, 11\u201312 November 2005","DOI":"10.1145\/1135777.1136017"},{"key":"25_CR15","unstructured":"Patel-Schneider, P.F., Hayes, P.H., Horrocks. I.: OWL Web Ontology Language; Semantics and Abstract Syntax (2002). http:\/\/www.w3.org\/TR\/owl-semantics\/"},{"key":"25_CR16","unstructured":"Schild, K.: A correspondence theory for terminological logics: preliminary report. In: Proceedings IJCAI 1991, Sydney, Australia, 24\u201330 August 1991, pp. 466\u2013471 (1991)"},{"key":"25_CR17","unstructured":"Welty, C., Ferrucci, D.: What\u2019s in an instance? Technical report, pp. 94\u201318, Max-Plank-Institut, RPI computer Science (1994)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-19570-0_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,16]],"date-time":"2023-09-16T08:40:25Z","timestamp":1694853625000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-19570-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030195694","9783030195700"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-19570-0_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"6 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JELIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Logics in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rende","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 May 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/jelia2019.mat.unical.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}