An overview of tableau algorithms for description logics
From MaRDI portal
Publication:5955620
DOI10.1023/A:1013882326814zbMath0991.03012WikidataQ56771043 ScholiaQ56771043MaRDI QIDQ5955620
Publication date: 14 February 2002
Published in: Studia Logica (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (36)
Computing the least common subsumer w.r.t. a background terminology ⋮ Converse-PDL with regular inclusion axioms: a framework for MAS logics ⋮ On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm ⋮ Representing ontologies using description logics, description graphs, and rules ⋮ Modal Tableau Systems with Blocking and Congruence Closure ⋮ ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching ⋮ PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) ⋮ A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases ⋮ Efficient TBox Reasoning with Value Restrictions using the wer Reasoner ⋮ A polynomial space construction of tree-like models for logics with local chains of modal connectives ⋮ Lightweight hybrid tableaux ⋮ Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics ⋮ Consistency reasoning in lattice-based fuzzy description logics ⋮ Automata-Based Axiom Pinpointing ⋮ Reasoning on UML class diagrams ⋮ Optimizing terminological reasoning for expressive description logics ⋮ A tableau decision procedure for \(\mathcal{SHOIQ}\) ⋮ Data complexity of query answering in expressive description logics via tableaux ⋮ Automata can show PSpace results for description logics ⋮ Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic ⋮ Using tableau to decide description logics with full role negation and identity ⋮ Automata-based axiom pinpointing ⋮ A hybrid reasoning system for terminologies and first-order clauses in knowledge bases ⋮ A Tableau Calculus for Regular Grammar Logics with Converse ⋮ Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach ⋮ Ontology Integration Using ε-Connections ⋮ ExpTime tableaux with global caching for hybrid PDL ⋮ Blocking and other enhancements for bottom-up model generation methods ⋮ Description Logics ⋮ Ontologies and Databases: The DL-Lite Approach ⋮ ExpTime tableau decision procedures for regular grammar logics with converse ⋮ A new methodology for developing deduction methods ⋮ Combining Description Logics, Description Graphs, and Rules ⋮ On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions ⋮ Hybrid Logics and Ontology Languages ⋮ HermiT: an OWL 2 reasoner
Uses Software
This page was built for publication: An overview of tableau algorithms for description logics
