Towards constructive DL for abstraction and refinement

DOI10.1007/S10817-009-9151-8MaRDI QIDQ972423zbMATH OpenOpenAlexFDO

Authors Michael Mendler, Stephan Scheele

Publication date 26 May 2010

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

Full work available at URL https://doi.org/10.1007/s10817-009-9151-8

zbMATH Keywords

Curry-Howard isomorphismauditingconstructive description logicGentzen tableau calculus

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• A Decidable Constructive Description Logic
• \({\mathcal KALC}\): a constructive semantics for \({\mathcal ALC}\)
• ASP Based Generation of Information Terms for Constructive ɛℒ
• \(\mathcal {BCDL}\): Basic constructive description logic
• Actions over a constructive semantics for description logics

Cites work

• scientific article; zbMATH DE number 1028819 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1848312 (Why is no real title available?)
• A Logic for Partial System Description
• A four-valued semantics for terminological logics
• A survey of temporal extensions of description logics
• Constructive modal logics. I
• Constructivism in mathematics. An introduction. Volume II
• Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
• Intuitionistic hybrid logic
• Intuitionistic tense and modal logic
• Many-dimensional modal logics: theory and applications
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• Towards constructive DL for abstraction and refinement

Cited in

(9)

• Implementation of hierarchical single surface δ0 and δ1 models in finite element procedure
• Bridges from language to logic: concepts, contexts and ontologies
• The Došen square under construction: a tale of four modalities
• \({\mathcal KALC}\): a constructive semantics for \({\mathcal ALC}\)
• Constructive description logics hybrid-style
• Cut-free Gentzen calculus for multimodal CK
• Towards constructive DL for abstraction and refinement
• Actions over a constructive semantics for description logics
• Embedding constructive K into intuitionistic K

This page was built for publication: Towards constructive DL for abstraction and refinement

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