![]() | Up a level |
Artale, Alessandro, Kontchakov, Roman, Kovtunova, Alisa, Ryzhikov, Vladislav, Wolter, Frank and Zakharyaschev, Michael
(2021)
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.
Artificial Intelligence.
Botoeva, Elena, Konev, Boris ORCID: 0000-0002-6507-0494, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, Frank and Zakharyaschev, Michael
(2018)
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.
.
Botoeva, Elena, Konev, Boris, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, Frank and Zakharyaschev, Michael
(2018)
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.
CoRR, abs/18.
Kikot, Stanislav, Kurucz, Agi, Tanaka, Yoshihito, Wolter, Frank and Zakharyaschev, Michael
(2019)
KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS.
JOURNAL OF SYMBOLIC LOGIC, 84 (2).
533 - 588.
Botoeva, Elena, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, F and Zakharyaschev, Michael
(2019)
Query Inseparability for ALC Ontologies.
Artificial Intelligence, 272.
1 - 51.
Artale, Alessandro, Kontchakov, Roman, Wolter, Frank and Zakharyaschev, Michael
(2013)
Temporal Description Logic for Ontology-Based Data Access (Extended Version).