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)- Optimising fuzzy description logic reasoners with general concept inclusion absorption
- HermiT: an OWL 2 reasoner
- Reasoning with nominal schemas through absorption
- ABox abduction in the description logic \(\mathcal{ALC}\)
- Optimizing terminological reasoning for expressive description logics
- scientific article; zbMATH DE number 1612540 (Why is no real title available?)
- A refined tableau calculus with controlled blocking for the description logic \(\mathcal{SHOI}\)
- Intelligent tableau algorithm for DL reasoning
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
- Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$
- Individual Reuse in Description Logic Reasoning
- Hypertableau reasoning for description logics
- Consistency reasoning in lattice-based fuzzy description logics
- Deontic logic for human reasoning
- Optimized description logic reasoning via core blocking
- An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$
- Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\)
- Representing ontologies using description logics, description graphs, and rules
- Data complexity of query answering in expressive description logics via tableaux
- Incremental classification of description logics ontologies
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)
