Mantas Šimkus

Available identifiers

zbMath Open simkus.mantasMaRDI QIDQ414847

List of research outcomes

Publication	Date of Publication	Type
Datalog rewritability and data complexity of \(\mathcal{ALCHOIQ}\) with closed predicates	2024-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q4999276	2021-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q3305347	2020-08-06	Paper
Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog	2020-02-26	Paper
The Triguarded Fragment of First-Order Logic	2019-07-04	Paper
The Impact of Active Domain Predicates on Guarded Existential Rules	2018-05-03	Paper
Extending ALCQIO with Trees	2018-04-23	Paper
Managing Change in Graph-Structured Data Using Description Logics	2018-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q5276195	2017-07-14	Paper
The Impact of Active Domain Predicates on Guarded Existential Rules	2017-06-20	Paper
The Challenge of Optional Matching in SPARQL	2016-05-19	Paper
Linking Open-World Knowledge Bases Using Nonmonotonic Rules	2015-11-04	Paper
FDNC	2015-09-17	Paper
Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms	2015-08-25	Paper
Reasoning about explanations for negative query answers in \textit{DL-Lite}	2013-11-28	Paper
Reasoning and Query Answering in Description Logics	2012-11-08	Paper
Datalog and Its Extensions for Semantic Web Databases	2012-11-08	Paper
Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots	2012-05-11	Paper
Query Answering in Description Logics: The Knots Approach	2009-07-02	Paper
Reasoning Using Knots	2009-01-27	Paper
Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$	2008-10-27	Paper
$\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols	2008-05-15	Paper

Research outcomes over time

This page was built for person: Mantas Šimkus