The following pages link to Konclude (Q24402):
Displaying 11 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)
- The OWL reasoner evaluation (ORE) 2015 competition report (Q1694573) (← links)
- Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes (Q2055866) (← links)
- Enhancing probabilistic model checking with ontologies (Q2065528) (← links)
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
- Reasoning with nominal schemas through absorption (Q2352498) (← links)
- NoHR: integrating XSB Prolog with the OWL 2 profiles and beyond (Q2401940) (← links)
- Extended Caching, Backjumping and Merging for Expressive Description Logics (Q2908522) (← links)
- Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures (Q3192211) (← links)
- Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach (Q4957185) (← links)