You are here

Theoretical frameworks

Contextualized Knowledge Repository

A theory for the integration of multiple knowledge bases represented in Description Logics

a logical framework that allows the composition of multiple theories (contexts) via a set of intra-theory axioms called bridge rules.