A Decidable Constructive Description Logic
From MaRDI portal
Recommendations
- Decidability of circumscribed description logics revisited
- Constructive description logics hybrid-style
- Description Logics
- A logical semantics for description logic programs
- Decidable description logics of context with rigid roles
- Deciding expressive description logics in the framework of resolution
- scientific article; zbMATH DE number 1405450
- Using model theory to find decidable and tractable description logics with concrete domains
- DESCRIPTION LOGICS OVER LATTICES
Cited in
(12)- Deciding inseparability and conservative extensions in the description logic
- Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models
- \({\mathcal KALC}\): a constructive semantics for \({\mathcal ALC}\)
- scientific article; zbMATH DE number 1149405 (Why is no real title available?)
- scientific article; zbMATH DE number 6902582 (Why is no real title available?)
- scientific article; zbMATH DE number 1926635 (Why is no real title available?)
- Constructive description logics hybrid-style
- On intuitionistic query answering in description bases
- Non-normal Modal description logics
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
- Towards constructive DL for abstraction and refinement
- \(\mathcal {BCDL}\): Basic constructive description logic
This page was built for publication: A Decidable Constructive Description Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4930754)
