Pages that link to "Item:Q2462645"

The following pages link to Optimizing terminological reasoning for expressive description logics (Q2462645):

Displaying 20 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)
• Optimised exptime tableaux for \(\mathcal{SHJN}\) over finite residuated lattices (Q1714715) (← 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)
• A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276) (← links)
• Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics (Q3010369) (← links)
• Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures (Q3460382) (← links)
• An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description) (Q3541710) (← links)
• Optimizing description logic subsumption (Q4260083) (← links)
• (Q4386924) (← links)
• A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages (Q4870066) (← links)
• Optimized Description Logic Reasoning via Core Blocking (Q5747784) (← links)
• Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures (Q6152660) (← links)