Pages that link to "Item:Q3192211"
From MaRDI portal
The following pages link to Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures (Q3192211):
Displaying 4 items.
- OWL reasoning: subsumption test hardness and modularity (Q1655485) (← links)
- The OWL reasoner evaluation (ORE) 2015 competition report (Q1694573) (← links)
- Reasoning with nominal schemas through absorption (Q2352498) (← links)
- Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach (Q4957185) (← links)
