The following pages link to (Q4539598):
Displayed 5 items.
- On the scalability of description logic instance retrieval (Q1040773) (← links)
- OWL reasoning: subsumption test hardness and modularity (Q1655485) (← links)
- Optimizing terminological reasoning for expressive description logics (Q2462645) (← links)
- Reasoning in description logics by a reduction to disjunctive datalog (Q2462648) (← links)
- Incremental reasoning on monadic second-order logics with logic programming (Q5963088) (← links)