Description logics, rules and multi‐context systems

L. Cruz‐Filipe, l.; Henriques, R.; Nunes, I.

http://hdl.handle.net/10400.26/52192

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
Description logics, rules and multi‐context systems.pdf		71.26 KB	Adobe PDF	Download

Send Feedback

Authors

L. Cruz‐Filipe, l.

Henriques, R.

Nunes, I.

Abstract(s)

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 different 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.

URI

http://hdl.handle.net/10400.26/52192

Citation

Cruz-Filipe, L., Henriques, R., Nunes, I. (2013). Description Logics, Rules and Multi-context Systems. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds) Logic for Programming, Artificial Intelligence, and Reasoning. LPAR 2013. Lecture Notes in Computer Science, vol 8312. Springer, Berlin, Heidelberg.