Towards constructive DL for abstraction and refinement

DOI10.1007/S10817-009-9151-8zbMATH Open1197.03029OpenAlexW2085690665MaRDI QIDQ972423FDOQ972423

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

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

zbMATH Keywords

Curry-Howard isomorphismauditingconstructive description logicGentzen tableau calculus

Mathematics Subject Classification ID

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

Cites Work

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

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)