{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:11:47Z","timestamp":1725628307695},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/lics.2015.54","type":"proceedings-article","created":{"date-parts":[[2015,8,3]],"date-time":"2015-08-03T21:27:50Z","timestamp":1438637270000},"page":"511-522","source":"Crossref","is-referenced-by-count":1,"title":["Extending ALCQIO with Trees"],"prefix":"10.1109","author":[{"given":"Tomer","family":"Kotek","sequence":"first","affiliation":[]},{"given":"Mantas","family":"imkus","sequence":"additional","affiliation":[]},{"given":"Helmut","family":"Veith","sequence":"additional","affiliation":[]},{"given":"Florian","family":"Zuleger","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Complexity Results and Practical Algorithms for Logics in Knowledge Representation","year":"2001","author":"tobias","key":"ref31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-8(1:15)2012"},{"key":"ref10","first-page":"73","article-title":"Witold Charatonik and Piotr Witkowski. Two-variable logic with counting and trees","year":"2013","journal-title":"Proc of LICS 2013"},{"key":"ref11","first-page":"411","article-title":"Concept language with number restrictions and fixpoints, and its relationship with mu-calculus","author":"de giacomo","year":"1994","journal-title":"Proc of ECAI-1994"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41335-3_17"},{"key":"ref13","article-title":"Satisfiability for two-variable logic with two successor relations on finite linear orders","author":"figueira","year":"2012","journal-title":"arXiv preprint arXiv 1204 2495"},{"key":"ref14","first-page":"306","article-title":"Two-variable logic with counting is decidable","author":"gr\u00e4del martin otto","year":"1997","journal-title":"Proc of LICS 1997"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75560-9_23"},{"key":"ref16","first-page":"337","article-title":"Decidability issues for two-variable logics with several linear orders","author":"kieronski","year":"2011","journal-title":"Proc of CSL 2011"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2009.39"},{"key":"ref18","first-page":"591","article-title":"Towards a description logic for program analysis: Extending ALCQIO with reachability","author":"kotek","year":"2014","journal-title":"Informal Proceedings of the 27th International Workshop on Description Logics"},{"key":"ref19","article-title":"An improved NExpTime-hardness result for description logic ALC extended with inverse roles, nominals, and counting","author":"lutz","year":"2005","journal-title":"LTCS-Report 04–07 Chair for Automata Theory"},{"key":"ref28","first-page":"509","article-title":"Terminological cycles and the propositional µ-calculus","author":"schild","year":"1994","journal-title":"Proc of KR 1994"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.05.003"},{"key":"ref27","first-page":"466","article-title":"A correspondence theory for terminological logics: Preliminary report","author":"schild","year":"1991","journal-title":"Proc IJCAI 1991"},{"journal-title":"The Description Logic Handbook Theory Implementation and Applications","year":"2003","author":"baader","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2004.04.012"},{"key":"ref29","first-page":"307","article-title":"How many toes do I have? Parthood and number restrictions in description logics","author":"schr\u00f6der","year":"2008","journal-title":"Proc of KR 2008"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/11787006_46"},{"key":"ref8","first-page":"714","article-title":"Regular path queries in expressive description logics with nominals","author":"calvanese","year":"2009","journal-title":"Proc of IJCAI 2009"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(96)00004-5"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75563-0_20"},{"key":"ref9","first-page":"3","article-title":"Shape and content – A database-theoretic perspective on the analysis of data structures","author":"calvanese","year":"2014","journal-title":"Proc of iFM 2014"},{"key":"ref1","first-page":"966","article-title":"Managing change in graph-structured data using description logics","author":"ahmetaj","year":"2014","journal-title":"Proc of AAAI 2014"},{"key":"ref20","first-page":"513","article-title":"Amaldev Manuel. Two variables and two successors","year":"2010","journal-title":"Proc of MFCS 2010"},{"journal-title":"OWL 2 Web Ontology Language Document Overview W3C Recommendation 27 10 09","year":"0","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.2307\/2695037"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-005-5791-1"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1997.614958"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2603088.2603117"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exl034"}],"event":{"name":"2015 30th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2015,7,6]]},"location":"Kyoto, Japan","end":{"date-parts":[[2015,7,10]]}},"container-title":["2015 30th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7174833\/7174853\/07174908.pdf?arnumber=7174908","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,25]],"date-time":"2017-03-25T01:14:59Z","timestamp":1490404499000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7174908\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/lics.2015.54","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}