The following pages link to (Q5715707):
Displaying 15 items.
- Complexity of hybrid logics over transitive frames (Q631089) (← links)
- Inclusion dependencies and their interaction with functional dependencies in SQL (Q730506) (← links)
- On keys and functional dependencies as first-class citizens in description logics (Q928661) (← links)
- Reasoning with rough description logics: An approximate concepts approach (Q1010135) (← links)
- Reasoning within expressive fuzzy rough description logics (Q1043323) (← links)
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
- Link key candidate extraction with relational concept analysis (Q2286378) (← links)
- Reasoning within intuitionistic fuzzy rough description logics (Q2390356) (← links)
- The limits of decidability in fuzzy description logics with general concept inclusions (Q2512986) (← links)
- Exact Query Reformulation with First-Order Ontologies and Databases (Q2915072) (← links)
- Logical Foundations of Possibilistic Keys (Q2938493) (← links)
- The Complexity of Conjunctive Query Answering in Expressive Description Logics (Q3541701) (← links)
- Automated Reasoning in $\mathcal{ALCQ}$ via SMT (Q5200031) (← links)
- First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries (Q5870513) (← links)
- Towards World Identification in Description Logics (Q5882770) (← links)
