Pages that link to "Item:Q3055811"
From MaRDI portal
The following pages link to Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! (Q3055811):
Displaying 5 items.
- Enhancing probabilistic model checking with ontologies (Q2065528) (← links)
- Answering regular path queries in expressive description logics via alternating tree-automata (Q2252521) (← links)
- Query Answering with DBoxes is Hard (Q2825409) (← links)
- Ontology-Mediated Query Answering with Data-Tractable Description Logics (Q2970310) (← links)
- Reasoning and Query Answering in Description Logics (Q4647812) (← links)
