BCDL: Basic constructive description logic

DOI10.1007/S10817-009-9160-7zbMATH Open1197.03027OpenAlexW2014495597MaRDI QIDQ972431FDOQ972431

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

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

zbMATH Keywords

natural deductiondescription logicsconstructive logics

Mathematics Subject Classification ID

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

Cites Work

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

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)