The following pages link to Pellet (Q19082):
Displaying 6 items.
- Automata-based axiom pinpointing (Q707741) (← links)
- Reasoning with rough description logics: An approximate concepts approach (Q1010135) (← links)
- HermiT: an OWL 2 reasoner (Q2351420) (← links)
- Optimizing terminological reasoning for expressive description logics (Q2462645) (← links)
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) (Q2510119) (← links)
- Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! (Q3055811) (← links)
