homeresources & publications › constructive description logics: what, why and how

TECHNICAL PUBLICATIONS:

Constructive description logics: what, why and how

 

This note discusses possible conceptions of constructive description logics. We discuss why different communities should be interested in constructive description logics, why so little work has been done on this before and why we think it is important. Our goal is a system of constructivemcontexted description logic, whose contexts are inspired by Guha-McCarthy's ideas along the lines of the system described in~cite{til}. In this note we only lay down the fundamentals of constructive description logics. We describe three systems, produce semantics for them and prove some basic results.

 
citation

de Paiva, V. Constructive description logics: what, why and how. Workshop on Context Representation and Reasoning, (CRR 2006); 2006 August 29; Riva del Garda, Italy.