The following pages link to KL-ONE (Q40605):
Displaying 36 items.
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943) (← links)
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965) (← links)
- Consistency reasoning in lattice-based fuzzy description logics (Q465592) (← links)
- Lightweight hybrid tableaux (Q631086) (← links)
- Automata-based axiom pinpointing (Q707741) (← links)
- ExpTime tableau decision procedures for regular grammar logics with converse (Q763333) (← 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)
- Automata can show PSpace results for description logics (Q948069) (← links)
- A new methodology for developing deduction methods (Q1037405) (← links)
- A polynomial space construction of tree-like models for logics with local chains of modal connectives (Q1399966) (← links)
- ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions (Q2341257) (← links)
- HermiT: an OWL 2 reasoner (Q2351420) (← links)
- Computing the least common subsumer w.r.t. a background terminology (Q2372193) (← 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)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276) (← links)
- Hybrid Logics and Ontology Languages (Q2867944) (← links)
- A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases (Q2946749) (← links)
- Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics (Q2964452) (← links)
- Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic (Q3016275) (← links)
- On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm (Q3172882) (← links)
- Modal Tableau Systems with Blocking and Congruence Closure (Q3455760) (← links)
- Ontology Integration Using ε-Connections (Q3631364) (← links)
- Description Logics (Q3638996) (← links)
- Ontologies and Databases: The DL-Lite Approach (Q3639004) (← links)
- Combining Description Logics, Description Graphs, and Rules (Q3655191) (← links)
- Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach (Q4957185) (← links)
- A Tableau Calculus for Regular Grammar Logics with Converse (Q5191117) (← links)
- Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)
- Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies (Q5892513) (← links)
- Automated Synthesis of Tableau Calculi (Q5892517) (← links)
- An overview of tableau algorithms for description logics (Q5955620) (← links)
