{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T17:20:04Z","timestamp":1740158404898,"version":"3.37.3"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,6,25]],"date-time":"2020-06-25T00:00:00Z","timestamp":1593043200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,6,25]],"date-time":"2020-06-25T00:00:00Z","timestamp":1593043200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100005357","name":"Agent\u00fara na Podporu V\u00fdskumu a V\u00fdvoja","doi-asserted-by":"publisher","award":["SK-CZ-0208-11"],"award-info":[{"award-number":["SK-CZ-0208-11"]}],"id":[{"id":"10.13039\/501100005357","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Ministerstvo \u0160kolstv\u00ed, Ml\u00e1de\u017ee a Telov\u00fdchovy","award":["7AMB12SK020"],"award-info":[{"award-number":["7AMB12SK020"]}]},{"DOI":"10.13039\/501100006109","name":"Vedeck\u00e1 Grantov\u00e1 Agent\u00fara M\u0160VVa\u0160 SR a SAV","doi-asserted-by":"crossref","award":["1\/1333\/12"],"award-info":[{"award-number":["1\/1333\/12"]}],"id":[{"id":"10.13039\/501100006109","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100006109","name":"Vedeck\u00e1 Grantov\u00e1 Agent\u00fara M\u0160VVa\u0160 SR a SAV","doi-asserted-by":"publisher","award":["1\/0778\/18"],"award-info":[{"award-number":["1\/0778\/18"]}],"id":[{"id":"10.13039\/501100006109","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100011273","name":"FP7-ICT","doi-asserted-by":"crossref","award":["257943"],"award-info":[{"award-number":["257943"]}],"id":[{"id":"10.13039\/100011273","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Grantov\u00e1 Agentura Cesk\u00e9 Republiky","award":["18-23964S"],"award-info":[{"award-number":["18-23964S"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2020,9]]},"DOI":"10.1007\/s13218-020-00665-8","type":"journal-article","created":{"date-parts":[[2020,6,25]],"date-time":"2020-06-25T20:03:36Z","timestamp":1593115416000},"page":"417-421","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Higher-order OWL"],"prefix":"10.1007","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6384-9771","authenticated-orcid":false,"given":"Martin","family":"Homola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3406-3574","authenticated-orcid":false,"given":"J\u00e1n","family":"K\u013euka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petra","family":"Hozzov\u00e1","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2256-2982","authenticated-orcid":false,"given":"Vojt\u011bch","family":"Sv\u00e1tek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7989-4427","authenticated-orcid":false,"given":"Miroslav","family":"Vacura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,6,25]]},"reference":[{"issue":"3","key":"665_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jswis.2009081901","volume":"5","author":"C Bizer","year":"2009","unstructured":"Bizer C, Heath T, Berners-Lee T (2009) Linked data-the story so far. Int J Semant Web Inf Syst 5(3):1\u201322","journal-title":"Int J Semant Web Inf Syst"},{"key":"665_CR2","doi-asserted-by":"publisher","unstructured":"Brasileiro F, Almeida JPA, Carvalho VA, Guizzardi G (2016) Expressive multi-level modeling for the semantic web. In: P.\u00a0Groth, E.\u00a0Simperl, A.\u00a0Gray, M.\u00a0Sabou, M.\u00a0Kr\u00f6tzsch, F.\u00a0Lecue, F.\u00a0Fl\u00f6ck, Y.\u00a0Gil (eds.) The Semantic Web \u2013 ISWC 2016: 15th International Semantic Web Conference, Kobe, Japan, October 17\u201321, 2016, Proceedings, Part I, pp. 53\u201369. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46523-4_4","DOI":"10.1007\/978-3-319-46523-4_4"},{"issue":"1","key":"665_CR3","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s10270-016-0538-9","volume":"17","author":"VA de Carvalho","year":"2018","unstructured":"de Carvalho VA, Almeida JPA (2018) Toward a well-founded theory for multi-level conceptual modeling. Softw Syst Model 17(1):205\u2013231. https:\/\/doi.org\/10.1007\/s10270-016-0538-9","journal-title":"Softw Syst Model"},{"issue":"3","key":"665_CR4","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W Chen","year":"1993","unstructured":"Chen W, Kifer M, Warren DS (1993) A foundation for higher-order logic programming. J Log Program 15(3):187\u2013230","journal-title":"J Log Program"},{"issue":"4","key":"665_CR5","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","volume":"6","author":"B Cuenca Grau","year":"2008","unstructured":"Cuenca Grau B, Horrocks I, Motik B, Parsia B, Patel-Schneider P, Sattler U (2008) OWL 2: the next step for OWL. J Web Semant 6(4):309\u2013322","journal-title":"J Web Semant"},{"key":"665_CR6","unstructured":"\u010certick\u00fd M, Homola M, K\u013euka J, Serra S, Sv\u00e1tek V, \u0160imko A, Vacura M, Zamazal O (2014) LAAOS: Logical aspects of adaptable ontological schemas (Project overview). In: Znalosti 2014. V\u0160E, Praha"},{"key":"665_CR7","unstructured":"De Giacomo G, Lenzerini M, Rosati R (2011) Higher-order description logics for domain metamodeling. In: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7\u201311, 2011. AAAI"},{"key":"665_CR8","doi-asserted-by":"publisher","unstructured":"Giordano L, Policriti A (2019) Adding the power-set to description logics. Theor Comput Sci. https:\/\/doi.org\/10.1016\/j.tcs.2019.10.049","DOI":"10.1016\/j.tcs.2019.10.049"},{"key":"665_CR9","doi-asserted-by":"crossref","unstructured":"Glimm B, Rudolph S, V\u00f6lker J (2010) Integrated metamodeling and diagnosis in OWL\u00a02. In: ISWC","DOI":"10.1007\/978-3-642-17746-0_17"},{"key":"665_CR10","unstructured":"Gu Z, Cao C, Zhang S (2019) An expressive sub-language of OWL 2 full for domain meta-modeling. In: M.\u00a0Simkus, G.E. Weddell (eds.) Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019, CEUR Workshop Proceedings, vol. 2373. CEUR-WS.org"},{"key":"665_CR11","unstructured":"Hayes PJ, Patel-Schneider PF eds. (2014) RDF 1.1 Semantics. W3C Recommendation"},{"key":"665_CR12","doi-asserted-by":"crossref","first-page":"81","DOI":"10.2307\/2266967","volume":"15","author":"L Henkin","year":"1950","unstructured":"Henkin L (1950) Completeness in the theory of types. J Symb Log 15:81\u201391","journal-title":"J Symb Log"},{"key":"665_CR13","unstructured":"Homola M, K\u013euka J, Sv\u00e1tek V, Vacura M (2014) Typed higher-order variant of $$\\cal{SROIQ}$$ \u2013 why not? In: DL"},{"key":"665_CR14","unstructured":"Kubincov\u00e1 P (2016) Higher-order description logics for metamodelling. Master\u2019s thesis, Comenius University in Bratislava"},{"key":"665_CR15","unstructured":"Kubincov\u00e1 P, K\u013euka J, Homola M (2016) Expressive description logic with instantiation metamodelling. In: C.\u00a0Baral, J.P. Delgrande, F.\u00a0Wolter (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016., pp. 569\u2013572. AAAI Press"},{"issue":"4","key":"665_CR16","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1093\/logcom\/exm027","volume":"17","author":"B Motik","year":"2007","unstructured":"Motik B (2007) On the properties of metamodeling in OWL. J Log Comput 17(4):617\u2013637","journal-title":"J Log Comput"},{"key":"665_CR17","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 (2015) The description logic SHIQ with a flexible meta-modelling hierarchy. J Web Semant 35:214\u2013234. https:\/\/doi.org\/10.1016\/j.websem.2015.05.002","journal-title":"J Web Semant"},{"key":"665_CR18","doi-asserted-by":"crossref","unstructured":"Pan JZ, Horrocks I, Schreiber G (2005) OWL FA: A metamodeling extension of OWL DL. In: OWLED","DOI":"10.1145\/1135777.1136017"},{"key":"665_CR19","unstructured":"Patel-Schneider PF, Hayes P, Horrocks I (2002) OWL Web Ontology Language; Semantics and Abstract Syntax. Recommendation. W3C . http:\/\/www.w3.org\/TR\/owl-semantics\/"},{"key":"665_CR20","unstructured":"Raimond Y, Abdallah SA, Sandler MB, Giasson F (2007) The music ontology. In: S.\u00a0Dixon, D.\u00a0Bainbridge, R.\u00a0Typke (eds.) Proceedings of the 8th International Conference on Music Information Retrieval, ISMIR 2007, Vienna, Austria, September 23\u201327, 2007, pp. 417\u2013422. Austrian Computer Society"},{"key":"665_CR21","unstructured":"Sv\u00e1tek V, Homola M, K\u013euka J, Vacura M (2013) Metamodeling-based coherence checking of OWL vocabulary background models. In: Rodriguez-Muro M, Jupp S, Srinivas K (eds) OWLED, CEUR Workshop Proceedings, vol 1080. http:\/\/CEUR-WS.org"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-020-00665-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s13218-020-00665-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-020-00665-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,24]],"date-time":"2021-06-24T23:53:13Z","timestamp":1624578793000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s13218-020-00665-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,25]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,9]]}},"alternative-id":["665"],"URL":"https:\/\/doi.org\/10.1007\/s13218-020-00665-8","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"type":"print","value":"0933-1875"},{"type":"electronic","value":"1610-1987"}],"subject":[],"published":{"date-parts":[[2020,6,25]]},"assertion":[{"value":"29 February 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 May 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 June 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}