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
Ontology focusing: knowledge-enriched databases on demand	2021-07-06	Paper
Rewriting guarded existential rules into small Datalog programs	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 \(\mathcal{ALCQIO}\) with trees	2018-04-23	Paper
Managing Change in Graph-Structured Data Using Description Logics	2018-03-22	Paper
Verification of evolving graph-structured data under expressive path constraints	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: decidable nonmonotonic disjunctive logic programs with function symbols	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