Mantas Šimkus

Available identifiers

zbMath Open simkus.mantasMaRDI QIDQ414847

List of research outcomes

Publication	Date of Publication	Type
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 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mantas Šimkus