Pages that link to "Item:Q1799301"
From MaRDI portal
The following pages link to Tractable reasoning in description logics with functionality constraints (Q1799301):
Displaying 5 items.
- On keys and functional dependencies as first-class citizens in description logics (Q928661) (← links)
- Tractable reasoning using logic programs with intensional concepts (Q2055806) (← links)
- Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
- A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic (Q2968856) (← links)
- Efficient TBox Reasoning with Value Restrictions using the <i>wer</i> Reasoner (Q6063879) (← links)