Tableau algorithms for description logics

DOI10.1007/10722086_1MaRDI QIDQ2721180zbMATH OpenFDO

Authors Franz Baader, Ulrike Sattler

Publication date 1 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10722086_1

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• An overview of tableau algorithms for description logics
• PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\)
• scientific article; zbMATH DE number 2063024
• scientific article; zbMATH DE number 5674817
• Practical reasoning for very expressive description logics

Cited in

(26)

• Flexible software architectures for ontology-based information systems
• Tableau reasoning for description logics and its extension to probabilities
• A tableau decision algorithm for modalized A L C with constant domains
• A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\)
• Formally verified tableau-based reasoners for a description logic
• Optimizing terminological reasoning for expressive description logics
• Benchmark analysis with FaCT
• Intelligent tableau algorithm for DL reasoning
• Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics
• scientific article; zbMATH DE number 5674817 (Why is no real title available?)
• PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\)
• A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments
• Individual Reuse in Description Logic Reasoning
• scientific article; zbMATH DE number 1980942 (Why is no real title available?)
• scientific article; zbMATH DE number 2063024 (Why is no real title available?)
• Issues of decidability for description logics in the framework of resolution
• scientific article; zbMATH DE number 1765666 (Why is no real title available?)
• Semantic DMN: formalizing and reasoning about decisions in the presence of background knowledge
• A tableau decision procedure for \(\mathcal{ALC}\) with monotonic modal operators and constant domains
• A tableau algorithm for reasoning about concepts and similarity
• Using tableau to decide description logics with full role negation and identity
• An overview of tableau algorithms for description logics
• An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$
• Conceptual logic programs
• A tableau algorithm for description logics with concrete domains and general TBoxes
• Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)

This page was built for publication: Tableau algorithms for description logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2721180)