Pages that link to "Item:Q5955620"
From MaRDI portal
The following pages link to An overview of tableau algorithms for description logics (Q5955620):
Displaying 5 items.
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965) (← links)
- Automata-based axiom pinpointing (Q707741) (← links)
- HermiT: an OWL 2 reasoner (Q2351420) (← links)
- Optimizing terminological reasoning for expressive description logics (Q2462645) (← links)
- A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases (Q2946749) (← links)
