Description Logics, Rules and Multi-context Systems [chapter]

Luís Cruz-Filipe, Rita Henriques, Isabel Nunes
2013 Lecture Notes in Computer Science  
The combination of rules and ontologies has been a fertile topic of research in the last years, with the proposal of several different systems that achieve this goal. In this paper, we look at two of these formalisms, Mdl-programs and multi-context systems, which address different aspects of this combination, and include different, incomparable programming constructs. Despite this, we show that every Mdl-program can be transformed in a multi-context system, and this transformation relates the
more » ... fferent semantics for each paradigm in a natural way. As an application, we show how a set of design patterns for multi-context systems can be obtained from previous work on Mdl-programs.
doi:10.1007/978-3-642-45221-5_18 fatcat:2l3cdgc4erep7bct62y4bodkxe