A tableau algorithm for description logics with concrete domains and general TBoxes
From MaRDI portal
Publication:877890
DOI10.1007/s10817-006-9049-7zbMath1113.68090OpenAlexW1975503364MaRDI QIDQ877890
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
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
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
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
