Optimized Reasoning in Description Logics Using Hypertableaux
From MaRDI portal
Publication:3608764
Recommendations
- Hypertableau reasoning for description logics
- Optimized description logic reasoning via core blocking
- Individual Reuse in Description Logic Reasoning
- A refined tableau calculus with controlled blocking for the description logic \(\mathcal{SHOI}\)
- Optimizing terminological reasoning for expressive description logics
Cited in
(20)- HermiT: an OWL 2 reasoner
- Incremental classification of description logics ontologies
- Representing ontologies using description logics, description graphs, and rules
- Optimized description logic reasoning via core blocking
- ABox abduction in the description logic \(\mathcal{ALC}\)
- Individual Reuse in Description Logic Reasoning
- Data complexity of query answering in expressive description logics via tableaux
- Reasoning with nominal schemas through absorption
- Hypertableau reasoning for description logics
- An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$
- Consistency reasoning in lattice-based fuzzy description logics
- Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\)
- Optimizing terminological reasoning for expressive description logics
- scientific article; zbMATH DE number 1612540 (Why is no real title available?)
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
- Optimising fuzzy description logic reasoners with general concept inclusion absorption
- A refined tableau calculus with controlled blocking for the description logic \(\mathcal{SHOI}\)
- Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$
- Deontic logic for human reasoning
- Intelligent tableau algorithm for DL reasoning
This page was built for publication: Optimized Reasoning in Description Logics Using Hypertableaux
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608764)
