Constructive Description Logics
Constructive description logics
CKR – Contextualized Knowledge Repository
Contextualized Knowledge Repository
Distributed description logics
A theory for the integration of multiple knowledge bases represented in Description Logics
Multi Context Systems
a logical framework that allows the composition of multiple theories (contexts) via a set of intra-theory axioms called bridge rules.