A tableau algorithm for description logics with concrete domains and general TBoxes

DOI10.1007/s10817-006-9049-7zbMath1113.68090OpenAlexW1975503364MaRDI QIDQ877890

Carsten Lutz, Maja Miličić

Publication date: 4 May 2007

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-006-9049-7

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items (10)

Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints ⋮ Querying incomplete information in RDF with SPARQL ⋮ Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method ⋮ Solving infinite-domain CSPs using the patchwork property ⋮ Constants and finite unary relations in qualitative constraint reasoning ⋮ Reasoning over Vague Concepts ⋮ An algebraic view on p-admissible concrete domains for lightweight description logics ⋮ Using model theory to find decidable and tractable description logics with concrete domains ⋮ Collective singleton-based consistency for qualitative constraint networks: theory and practice ⋮ Description logics with concrete domains and general concept inclusions revisited

Uses Software

• Racer

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Attributive concept descriptions with complements
• Combining interval-based temporal reasoning with general TBoxes
• On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
• Many-dimensional modal logics: theory and applications
• Optimizing description logic subsumption
• A description logic with transitive and inverse roles and role hierarchies
• Reasoning about temporal relations
• PSpace Reasoning with the Description Logic ALCF(D)
• Modal Logics of Topological Relations
• Automated Reasoning with Analytic Tableaux and Related Methods
• Mechanizing Mathematical Reasoning

This page was built for publication: A tableau algorithm for description logics with concrete domains and general TBoxes