Pages that link to "Item:Q4260083"
From MaRDI portal
The following pages link to Optimizing description logic subsumption (Q4260083):
Displaying 23 items.
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943) (← links)
- ExpTime tableau decision procedures for regular grammar logics with converse (Q763333) (← links)
- A tableau algorithm for description logics with concrete domains and general TBoxes (Q877890) (← links)
- Symmetric blocking (Q897931) (← links)
- Automata can show PSpace results for description logics (Q948069) (← links)
- On the scalability of description logic instance retrieval (Q1040773) (← links)
- Automated deduction techniques for classification in description logic systems (Q1383996) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- OWL reasoning: subsumption test hardness and modularity (Q1655485) (← links)
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- Reasoning on UML class diagrams (Q2457652) (← links)
- Optimizing terminological reasoning for expressive description logics (Q2462645) (← links)
- A tableau decision procedure for \(\mathcal{SHOIQ}\) (Q2462647) (← links)
- One-Pass Tableaux for Computation Tree Logic (Q3498455) (← links)
- An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description) (Q3541710) (← links)
- (Q4636969) (← links)
- CoLoSS: The Coalgebraic Logic Satisfiability Solver (Q4982113) (← links)
- An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability (Q4982121) (← links)
- A Tableau Calculus for Regular Grammar Logics with Converse (Q5191117) (← links)
- An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability (Q5191118) (← links)
- A goal-directed implementation of query answering for hybrid MKNF knowledge bases (Q5410731) (← links)
- Global Caching for Coalgebraic Description Logics (Q5747750) (← links)
- Optimized Description Logic Reasoning via Core Blocking (Q5747784) (← links)
