Pages that link to "Item:Q1128645"
From MaRDI portal
The following pages link to A refined architecture for terminological systems: Terminology = Schema + Views (Q1128645):
Displaying 4 items.
- Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\) (Q948503) (← links)
- An epistemic operator for description logics (Q1128772) (← links)
- Using automata theory for characterizing the semantics of terminological cycles (Q1380409) (← links)
- Description Logics (Q3638996) (← links)
