A Multi-Context System Computing Modalities

Description Logics 2010.

计算机科学;

Tarek R. Besold1 ; Bernhard Schiemann2

Others  :  http://ceur-ws.org/Vol-573/paper_1.pdf
PID  :  41262

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

The system description presents the conception and a prototypical implementation of a multi-context system, used for computing and implementing temporal modalities within given data without the use of modal operators. Instead, an external constraint based rule system is used for computing the corresponding temporal relations, making use of the way a multi-context system works for transporting the needed information between contexts and knowledge bases.