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.