DL-safe规则相关论文
OWL本体描述语言包含相对丰富的概念定义符,但提供的关系定义符描述能力则较差.将OWL与规则相结合是克服这种表达能力限制的一种常......
为了对UML状态图进行形式化验证,将状态图中的语义分为静态语义和动态语义两部分,用描述逻辑知识库表示静态语义,用DL-Safe规则表......
为发现语义Web使用记录中所蕴含的有效信息，本文提出了一种挖掘日志本体频繁Web访问模式的方法．该方法引入应用访问规则集和观察集分......
提出一种结合DL-safe规则挖掘用户访问模式的ILP方法．该方法首先定义基于事件的日志本体，将DL—safe规则和日志本体构建为一个推理过......
