Pages that link to "Item:Q2462645"
From MaRDI portal
The following pages link to Optimizing terminological reasoning for expressive description logics (Q2462645):
Displaying 13 items.
- Tractable approximate deduction for OWL (Q274420) (← links)
- Lightweight hybrid tableaux (Q631086) (← links)
- Optimising fuzzy description logic reasoners with general concept inclusion absorption (Q1697336) (← links)
- Human rationality challenges universal logic (Q1931349) (← links)
- Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\) (Q2082509) (← links)
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- A goal-directed decision procedure for hybrid PDL (Q2351150) (← links)
- HermiT: an OWL 2 reasoner (Q2351420) (← links)
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492) (← links)
- Reasoning with nominal schemas through absorption (Q2352498) (← links)
- Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics (Q3010369) (← links)
- An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description) (Q3541710) (← links)
- Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures (Q6152660) (← links)
