scientific article; zbMATH DE number 6902582

DOI10.3233/978-1-61499-672-9-1440MaRDI QIDQ4576256zbMATHFDO

Authors Claudia Carapelle, Anni-Yasmin Turhan

Publication date 12 July 2018

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• A tableau algorithm for description logics with concrete domains and general TBoxes
• Using model theory to find decidable and tractable description logics with concrete domains
• Reasoning About Actions Using Description Logics with General TBoxes
• scientific article; zbMATH DE number 2196595
• Description logics with concrete domains and general concept inclusions revisited
• Decidability of circumscribed description logics revisited
• A Decidable Constructive Description Logic
• scientific article; zbMATH DE number 2090284
• scientific article; zbMATH DE number 1980942
• Consequence-based and fixed-parameter tractable reasoning in description logics

Cited in

(9)

• Automated Reasoning with Analytic Tableaux and Related Methods
• scientific article; zbMATH DE number 1765661 (Why is no real title available?)
• First steps towards taming description logics with strings
• An algebraic view on p-admissible concrete domains for lightweight description logics
• A tableau algorithm for description logics with concrete domains and general TBoxes
• Matching in the Description Logic FL0 with respect to General TBoxes
• Description logics with concrete domains and general concept inclusions revisited
• Using model theory to find decidable and tractable description logics with concrete domains
• Efficient TBox Reasoning with Value Restrictions using the wer Reasoner

This page was built for publication:

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