The following pages link to Mantas Šimkus (Q414847):
Displaying 10 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)
- The Triguarded Fragment of First-Order Logic (Q5222982) (← links)
- (Q5276195) (← links)
