Pages that link to "Item:Q3651485"
From MaRDI portal
The following pages link to Hypertableau Reasoning for Description Logics (Q3651485):
Displaying 28 items.
- Tractable approximate deduction for OWL (Q274420) (← links)
- Consequence-based and fixed-parameter tractable reasoning in description logics (Q490523) (← links)
- Semantic decision making using ontology-based soft sets (Q552135) (← links)
- Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) (Q631080) (← links)
- Semantic operations of multiple soft sets under conflict (Q660826) (← links)
- Representing ontologies using description logics, description graphs, and rules (Q840831) (← links)
- Similarity-based relaxed instance queries (Q901081) (← links)
- Tableau reasoning for description logics and its extension to probabilities (Q1653448) (← links)
- Optimised exptime tableaux for \(\mathcal{SHJN}\) over finite residuated lattices (Q1714715) (← links)
- The Fusemate logic programming system (Q2055893) (← links)
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
- Absorption for ABoxes (Q2351418) (← 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)
- The limits of decidability in fuzzy description logics with general concept inclusions (Q2512986) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- (Q3408128) (← links)
- Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures (Q3460382) (← links)
- A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments (Q3541702) (← links)
- Individual Reuse in Description Logic Reasoning (Q3541705) (← links)
- Combining Description Logics, Description Graphs, and Rules (Q3655191) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)
- Optimized Description Logic Reasoning via Core Blocking (Q5747784) (← links)
- An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$ (Q6104768) (← links)
- Classical algorithms for reasoning and explanation in description logics (Q6535980) (← links)
- Semantic web (Q6602270) (← links)