Pages that link to "Item:Q4260083"
From MaRDI portal
The following pages link to Optimizing description logic subsumption (Q4260083):
Displaying 8 items.
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943) (← links)
- ExpTime tableau decision procedures for regular grammar logics with converse (Q763333) (← links)
- A tableau algorithm for description logics with concrete domains and general TBoxes (Q877890) (← links)
- Symmetric blocking (Q897931) (← links)
- Automata can show PSpace results for description logics (Q948069) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- OWL reasoning: subsumption test hardness and modularity (Q1655485) (← links)
- Optimizing terminological reasoning for expressive description logics (Q2462645) (← links)
