Pages that link to "Item:Q3608764"
From MaRDI portal
The following pages link to Optimized Reasoning in Description Logics Using Hypertableaux (Q3608764):
Displaying 12 items.
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943) (← links)
- Consistency reasoning in lattice-based fuzzy description logics (Q465592) (← links)
- Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) (Q631080) (← links)
- Representing ontologies using description logics, description graphs, and rules (Q840831) (← links)
- Data complexity of query answering in expressive description logics via tableaux (Q945056) (← links)
- Incremental classification of description logics ontologies (Q972428) (← links)
- Optimising fuzzy description logic reasoners with general concept inclusion absorption (Q1697336) (← links)
- ABox abduction in the description logic \(\mathcal{ALC}\) (Q2429984) (← links)
- Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$ (Q3532465) (← links)
- Individual Reuse in Description Logic Reasoning (Q3541705) (← links)
- Deontic Logic for Human Reasoning (Q5172607) (← links)
- An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$ (Q6104768) (← links)
