Up a level |
Wolter, Frank, Hernich, Andre, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Lutz, Carsten
(2020)
Dichotomies in Ontology-Mediated Querying with the
Guarded Fragment.
ACM Transactions on Computational Logic, 21 (3).
pp. 1-47.
Hernich, Andre, Lutz, Carsten, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Wolter, Frank
(2017)
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment.
In: SIGMOD/PODS'17: International Conference on Management of Data, 2017-5-14 - 2017-5-19, Chicago, IL, USA.
Hernich, Andre and Kolaitis, Phokion G
(2017)
Foundations of Information Integration under Bag Semantics.
In: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017-6-20 - 2017-6-23, Reykjavik.
Hernich, Andre, Lutz, Carsten, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Wolter, Frank
(2018)
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying.
In: Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}, 2018-7-13 - 2018-7-19.
Hernich, Andre, Lemos, Julio and Wolter, Frank ORCID: 0000-0002-4470-606X
(2017)
Query Answering in DL-Lite with Datatypes: A Non-Uniform Approach.
In: AAAI, 2017-2-4 - 2017-2-9, San Francisco.
Hernich, Andre, Lutz, Carsten, Ozaki, Ana and Wolter, Frank
(2015)
Schema.org as a Description Logic.
In: Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015-7-25 - 2015-7-31, Buenos Aires, Argentina.
Lazzarini Lemos, JC
(2019)
Tractable Ontology-Mediated Query Answering with Datatypes.
PhD thesis, University of Liverpool.