The following pages link to Mantas Šimkus (Q414847):
Displaying 22 items.
- Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots (Q414848) (← links)
- Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog (Q2302291) (← links)
- The Challenge of Optional Matching in SPARQL (Q2807080) (← links)
- Reasoning about Explanations for Negative Query Answers in DL-Lite (Q2865013) (← links)
- Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms (Q2941737) (← links)
- FDNC (Q2946602) (← links)
- (Q3305347) (← links)
- Linking Open-World Knowledge Bases Using Nonmonotonic Rules (Q3449214) (← links)
- $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols (Q3498490) (← links)
- Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$ (Q3532465) (← links)
- Query Answering in Description Logics: The Knots Approach (Q3638272) (← links)
- Managing Change in Graph-Structured Data Using Description Logics (Q4608716) (← links)
- Extending ALCQIO with Trees (Q4635832) (← links)
- The Impact of Active Domain Predicates on Guarded Existential Rules (Q4637882) (← links)
- Reasoning and Query Answering in Description Logics (Q4647812) (← links)
- Datalog and Its Extensions for Semantic Web Databases (Q4647813) (← links)
- (Q4999276) (← links)
- The Triguarded Fragment of First-Order Logic (Q5222982) (← links)
- The Impact of Active Domain Predicates on Guarded Existential Rules (Q5268437) (← links)
- (Q5276195) (← links)
- Reasoning Using Knots (Q5505568) (← links)
- Datalog rewritability and data complexity of \(\mathcal{ALCHOIQ}\) with closed predicates (Q6566618) (← links)
