Pages that link to "Item:Q2908522"
From MaRDI portal
The following pages link to Extended Caching, Backjumping and Merging for Expressive Description Logics (Q2908522):
Displayed 4 items.
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics (Q518606) (← links)
- OWL reasoning: subsumption test hardness and modularity (Q1655485) (← links)
- Reasoning with nominal schemas through absorption (Q2352498) (← links)
- The limits of decidability in fuzzy description logics with general concept inclusions (Q2512986) (← links)