Pages that link to "Item:Q2389348"
From MaRDI portal
The following pages link to Data-complexity of the two-variable fragment with counting quantifiers (Q2389348):
Displaying 5 items.
- Logical separability of labeled data examples under ontologies (Q2093388) (← links)
- Query Answering in Description Logics: The Knots Approach (Q3638272) (← links)
- Reasoning and Query Answering in Description Logics (Q4647812) (← links)
- First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries (Q5870513) (← links)
- Two variable logic with ultimately periodic counting (Q6573777) (← links)
