BCDL: Basic constructive description logic

DOI10.1007/S10817-009-9160-7MaRDI QIDQ972431zbMATH OpenOpenAlexFDO

Authors Mauro Ferrari, Camillo Fiorentini, Guido Fiorino

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-9160-7

zbMATH Keywords

natural deductiondescription logicsconstructive logics

Mathematics Subject Classification ID

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

Recommendations

• A Decidable Constructive Description Logic
• Beth definability in expressive description logics
• Reasoning in Description Logics: Basics, Extensions, and Relatives
• Reasoning in basic description logics and description logics with modal operators
• On bisimulations for description logics
• Description Logics
• scientific article; zbMATH DE number 2090284
• \({\mathcal{ALC}_\mathcal{ALC}}\): a context description logic
• Constructive description logics hybrid-style

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 4053063 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 2070200 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 2090126 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• A constructivism based on classical truth
• Abstract parametric classes and abstract data types defined by classical and constructive logical methods
• Actions over a constructive semantics for description logics
• Attributive concept descriptions with complements
• Constructible falsity
• From constructivism to computer science
• Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Semantical investigations in Heyting's intuitionistic logic
• Snapshot Generation in a Constructive Object-Oriented Modeling Language
• Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels

Cited in

(2)

• \({\mathcal KALC}\): a constructive semantics for \({\mathcal ALC}\)
• Towards constructive DL for abstraction and refinement

This page was built for publication: \(\mathcal {BCDL}\): Basic constructive description logic

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