Attributive concept descriptions with complements
Artificial Intelligence
Journal of Symbolic Computation
From constructivism to computer science
Theoretical Computer Science
PAP: A Logic Programming System Based on a Constructive Logic
Proceedings of the Workshop on Foundations of Logic and Functional Programming
Extracting Exact Time Bounds from Logical Proofs
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Actions Over a Constructive Semantics for Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Using tableau to decide expressive description logics with role negation
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
A decidable constructive description logic
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Composition of semantic web services in a constructive description logic
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Semantic service composition framework for multidomain ubiquitous computing applications
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Hi-index | 0.00 |
In this paper we present ${\mbox{\mbox{${\cal BC\!D\!L}$}}}$ , a description logic based on information terms semantics, which allows a constructive interpretation of ${\mbox{\mbox{${\cal ALC}$}}}$ formulas. In the paper we describe the information terms semantics, we define a natural deduction calculus for ${\mbox{\mbox{${\cal BC\!D\!L}$}}}$ and we show it is sound and complete. As a first application of proof-theoretical properties of the calculus, we show how it fulfills the proofs-as-programs paradigm. Finally, we discuss the role of generators, the main element distinguishing our formalisation from the usual ones.