×

使用OWL代表和监督承诺和规范。 (英语) Zbl 1216.68283号

监控义务和禁令的时间演变是开放交互系统设计的一个关键方面。在本文中,我们将此类义务和禁令视为具有起点和截止日期的社会承诺案例,并建议在OWL中对其进行建模,OWL是W3C为语义Web应用程序推荐的逻辑语言。特别是,我们提出了一个独立于应用程序的社会承诺、时间命题、事件、代理、角色和规范等概念的本体,可以用于任何开放交互系统的规范。然后,我们描述了一个混合解决方案,该解决方案使用OWL本体、SWRL规则和Java程序动态监控社会承诺的时间演变,同时考虑到时间的流逝和系统内交互的代理执行的操作。

MSC公司:

68立方英尺 知识表示
68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部