Optimizing terminological reasoning for expressive description logics
From MaRDI portal
Publication:2462645
Recommendations
Cites work
- A Computing Procedure for Quantification Theory
- A description logic with transitive and inverse roles and role hierarchies
- A machine program for theorem-proving
- A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- An overview of tableau algorithms for description logics
- Attributive concept descriptions with complements
- Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\).
- scientific article; zbMATH DE number 1612541 (Why is no real title available?)
- scientific article; zbMATH DE number 1612554 (Why is no real title available?)
- scientific article; zbMATH DE number 1614719 (Why is no real title available?)
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- scientific article; zbMATH DE number 1950259 (Why is no real title available?)
- scientific article; zbMATH DE number 1765662 (Why is no real title available?)
- scientific article; zbMATH DE number 1405450 (Why is no real title available?)
- scientific article; zbMATH DE number 1405451 (Why is no real title available?)
- Optimizing description logic subsumption
Cited in
(25)- Optimising fuzzy description logic reasoners with general concept inclusion absorption
- Optimised exptime tableaux for \(\mathcal{SHJN}\) over finite residuated lattices
- Human rationality challenges universal logic
- Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\)
- A prover dealing with nominals, binders, transitivity and relation hierarchies
- A goal-directed decision procedure for hybrid PDL
- HermiT: an OWL 2 reasoner
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- Reasoning with nominal schemas through absorption
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
- scientific article; zbMATH DE number 1612540 (Why is no real title available?)
- Tractable approximate deduction for OWL
- Intelligent tableau algorithm for DL reasoning
- Extended caching, backjumping and merging for expressive description logics
- Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics
- Coupling tableau algorithms for expressive description logics with completion-based saturation procedures
- Pay-as-you-go description logic reasoning by coupling tableau and saturation procedures
- An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description)
- Optimized Reasoning in Description Logics Using Hypertableaux
- Optimizing description logic subsumption
- scientific article; zbMATH DE number 1149405 (Why is no real title available?)
- A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages
- Optimized description logic reasoning via core blocking
- Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures
- Lightweight hybrid tableaux
This page was built for publication: Optimizing terminological reasoning for expressive description logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2462645)
