KL-ONE

swMATH28891MaRDI QIDQ40605FDOQ40605

Author name not available (Why is that?)

Cited In (36)

• Blocking and other enhancements for bottom-up model generation methods
• HermiT: an OWL 2 reasoner
• Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
• A polynomial space construction of tree-like models for logics with local chains of modal connectives
• A new methodology for developing deduction methods
• Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics
• Representing ontologies using description logics, description graphs, and rules
• On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
• Description Logics
• Reasoning on UML class diagrams
• Modal Tableau Systems with Blocking and Congruence Closure
• Data complexity of query answering in expressive description logics via tableaux
• Hybrid logics and ontology languages
• Using tableau to decide description logics with full role negation and identity
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases
• Automated Synthesis of Tableau Calculi
• Combining Description Logics, Description Graphs, and Rules
• Ontology Integration Using ε-Connections
• Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic
• On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm
• Consistency reasoning in lattice-based fuzzy description logics
• A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
• Automata-based axiom pinpointing
• Lightweight hybrid tableaux
• Optimizing terminological reasoning for expressive description logics
• Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
• Ontologies and Databases: The DL-Lite Approach
• Computing the least common subsumer w.r.t. a background terminology
• A Tableau Calculus for Regular Grammar Logics with Converse
• ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
• PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\)
• ExpTime tableau decision procedures for regular grammar logics with converse
• An overview of tableau algorithms for description logics
• Automata can show PSpace results for description logics
• ExpTime tableaux with global caching for hybrid PDL

This page was built for software: KL-ONE