《表1 SROIQ语法语义》
SROIQ是刘炜等[2]在描述逻辑基础上进行扩展,形成的一种语言。相比于传统的描述逻辑语言,SROIQ的表达能力强,有助于实现事件关系的推理。表1为SROIQ的语法和语义。
图表编号 | XD002631300 严禁用于非法目的 |
---|---|
绘制时间 | 2018.04.01 |
作者 | 刘思含、刘旭红、刘秀磊 |
绘制单位 | 北京信息科技大学计算机学院、北京信息科技大学网络文化与数字传播北京市重点实验室、北京信息科技大学计算机学院、北京信息科技大学网络文化与数字传播北京市重点实验室、北京信息科技大学计算机学院、北京邮电大学网络与交换技术国家重点实验室 |
更多格式 | 高清、无水印(增值服务) |