A framework for intuitionistic modal logics
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
A four-valued semantics for terminological logics
Artificial Intelligence
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
A Concept Language Extended with Different Kinds of Transitive Roles
KI '96 Proceedings of the 20th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
A Logic for Partial System Description
Journal of Logic and Computation
A decidable constructive description logic
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Constructive Description Logics Hybrid-Style
Electronic Notes in Theoretical Computer Science (ENTCS)
Cut-free Gentzen calculus for multimodal CK
Information and Computation
Compliance checking of integrated business processes
Data & Knowledge Engineering
| Hi-index | 0.00 |
This work explores some aspects of a new and natural semantical dimension that can be accommodated within the syntax of description logics which opens up when passing from the classical truth-value interpretation to a constructive interpretation. We argue that such a strengthened interpretation is essential to represent applications with partial information adequately and to achieve consistency under abstraction as well as robustness under refinement. We introduce a constructive version of $\mathcal{ALC}$ , called ${c\mathcal{ALC}}$ , for which we give a sound and complete Hilbert axiomatisation and a Gentzen tableau calculus showing finite model property and decidability.