scientific article; zbMATH DE number 6902582
From MaRDI portal
Publication:4576256
DOI10.3233/978-1-61499-672-9-1440zbMATH Open1403.68255MaRDI QIDQ4576256FDOQ4576256
Authors: Claudia Carapelle, Anni-Yasmin Turhan 
Publication date: 12 July 2018
Title of this publication is not available (Why is that?)
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)
- Efficient TBox Reasoning with Value Restrictions using the wer Reasoner
- Matching in the Description Logic FL0 with respect to General TBoxes
- Automated Reasoning with Analytic Tableaux and Related Methods
- A tableau algorithm for description logics with concrete domains and general TBoxes
- An algebraic view on p-admissible concrete domains for lightweight description logics
- Description logics with concrete domains and general concept inclusions revisited
- Using model theory to find decidable and tractable description logics with concrete domains
- Title not available (Why is that?)
- First steps towards taming description logics with strings
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)
