Ontology-Based Monitoring of Dynamic Systems

摘要：

　　Our understanding of the notion dynamic system is a rather broad one: such a system has states, which can change over time.Ontologies are used to describe the states of the system, possibly in an incomplete way.Monitoring is then concerned with deciding whether some run of the system or all of its runs satisfy a certain property, which can be expressed by a formula of an appropriate temporal logic.

作者: Franz Baader

作者单位: Theoretical Computer Science TU Dresden, Germany

会议类型: 国际会议

会议名称: 8th International Conference on Intelligent Information Processing(2014年IFIP智能信息处理国际会议)

会议地点: 杭州

会议语种:英文

页码: 334-334

在线出版日期: 2014-10-01（万方平台首次上网日期，不代表论文的发表时间）