KL-ONE
From MaRDI portal
Cited in
(49)- ExpTime tableaux with global caching for hybrid PDL
- Data complexity of query answering in expressive description logics via tableaux
- A polynomial space construction of tree-like models for logics with local chains of modal connectives
- Ontologies and Databases: The DL-Lite Approach
- Modal tableau systems with blocking and congruence closure
- Lightweight hybrid tableaux
- Ontology Integration Using ε-Connections
- A conceptual framework for secrecy-preserving reasoning in knowledge bases
- Description Logics
- Computing the least common subsumer w.r.t. a background terminology
- Combining description logics, description graphs, and rules
- Experimental analysis of some computation rules in a simple parallel reasoning system for the \(\mathcal{ALC}\) description logic
- ExpTime tableau decision procedures for regular grammar logics with converse
- Reasoning on UML class diagrams
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
- OilEd
- DAML+OIL
- CLIPS
- Pellet
- A new methodology for developing deduction methods
- FaCT++
- Racer
- MetTeL
- CEL
- Protege
- MSPASS
- Sonic
- HermiT: an OWL 2 reasoner
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- Reasoning in expressive description logics under infinitely valued Gödel semantics
- WSReasoner
- ICOM
- An overview of tableau algorithms for description logics
- A Tableau Calculus for Regular Grammar Logics with Converse
- On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
- Optimizing terminological reasoning for expressive description logics
- Automated synthesis of tableau calculi
- Terminating tableaux for graded hybrid logic with global modalities and role hierarchies
- Automata can show PSpace results for description logics
- Automata-based axiom pinpointing
- Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
- Blocking and other enhancements for bottom-up model generation methods
- Consistency reasoning in lattice-based fuzzy description logics
- Using tableau to decide description logics with full role negation and identity
- On the undecidability of fuzzy description logics with GCIs and product t-norm
- Representing ontologies using description logics, description graphs, and rules
- Hybrid logics and ontology languages
This page was built for software: KL-ONE
