Information Flow within Relational Multi-context Systems

Abstract

Abstract. Multi-context systems (MCSs) are an important framework for heterogeneous combinations of systems within the Semantic Web. In this paper, we propose generic constructions to achieve specific forms of interaction in a principled way, and systematize some useful techniques to work with ontologies within an MCS. All these mechanisms are presented in the form of general-purpose design patterns. Their study also suggests new ways in which this framework can be further extended.

Integrity Constraints for General-Purpose Knowledge Bases

“…In particular, the only element of ACC L (kb) may not be a model of kb in the classical sense of first-order logic. This is in contrast with [5], where ACC L (kb) contains all models of kb; as discussed in [13], this is essential to model e.g. default reasoning correctly.…”

“…For this reason, encoding ontologies as a context in an MCS is a bit different than the previous examples. We follow the approach from [13], refering the reader to the discussion therein of why the embeddding from e.g. [5] is not satisfactory.…”