The following pages link to (Q4539596):
Displayed 7 items.
- A tableau algorithm for description logics with concrete domains and general TBoxes (Q877890) (← links)
- Flexible software architectures for ontology-based information systems (Q1006736) (← links)
- On the scalability of description logic instance retrieval (Q1040773) (← links)
- Using model theory to find decidable and tractable description logics with concrete domains (Q2090131) (← links)
- Description logics with concrete domains and general concept inclusions revisited (Q2096462) (← links)
- A tableau decision procedure for \(\mathcal{SHOIQ}\) (Q2462647) (← links)
- Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge (Q4957188) (← links)