位置：成果数据库 > 期刊 > 期刊详情页
面向语义Web的描述逻辑
  • ISSN号：1003-6059
  • 期刊名称：《模式识别与人工智能》
  • 时间：0
  • 分类：TP181[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构：[1]中山大学计算机科学系,广州510275, [2]广西师范大学计算机科学与信息工程学院,桂林541004
  • 相关基金：国家自然科学基金项目（No.60663001,60373081,60573010）、中国博士后科学基金项目（No.20060400226）、广东省自然科学基金重点项目（No.04105503）和广西青年科学基金项目（桂科青0640030）资助
作者： 蒋运承[1,2], 汤庸[1], 王驹[2], 周生明[2]
关键词： 语义WEB, 描述逻辑, SHOIQ(D), Tableaux算法, Semantic Web, Description Logic, SHOIQ（D）, Tableaux Algorithm
中文摘要：

分析描述逻辑SHOIQ（D）与语义Web的关系，特别是SHOIQ（D）与语义Web本体语言的等价性．但由于SHOIQ（D）的复杂性，目前只给出它的语法和语义，还没有研究给出它的推理机制．在描述逻辑SHOIQ推理机制的基础上，首先提出SHOIQ（D）的tableaux的概念．然后重点研究基于tableaux的SHOIQ（D）的推理机制，提出SHOIQ（D）-tableaux推理算法，并证明该算法的正确性．

英文摘要：

The relationship between the description logic SHOIQ（D） and the semantic Web, especially the equality of SHOIQ（D） and semantic Web ontology language, is analyzed. Due to the complexity of SHOIQ（D）, only the syntax and the semantics are given at present. Based on the reasoning method of the description logic SHOIQ, the tableaux of SHOIQ is presented at first. Then the reasoning method of SHOIQ（D） based on tableaux of SHOIQ is studied mainly, and a SHOIQ （D）-tableaux reasoning algorithm is presented. Finally, the correctness of SHOIQ（D）-tableaux algorithm is proved.

同期刊论文项目
时态知识数据模型及软件构件研究
期刊论文 71 会议论文 20 获奖 6 著作 1
程序及代数结构的逻辑性质
期刊论文 55 会议论文 1
描述逻辑循环定义的理论框架及其推理机制研究
期刊论文 52 会议论文 1
同项目期刊论文
机群协同工作中的时态管理研究与
面向XML文档的时态访问控制技术
基于结构摘要的时态索引技术
基于SIDSS的时态知识与数据的表
一种基于时态描述逻辑的工资智能
基于时态数据类型的时态数据索引
基于XPath数据模型的双时态扩展
基于BCDM的双时态代数
A PTAS for a disc covering pro
A Meta-model of temporal Workf
一个实现双时态数据库的新方法
基于Rough表达的时态关系代数
一种有效的双时态索引技术
时态数据库中间件的设计与实现
模糊时态工作流网的建模和时间可
服务组合的质量估计模型
一个工作流元模型的分析及其时态
一种基于时态中间件的高效双时态
A Service-Oriented Group Aware
一种基于FP-树的时态关联规则的
基于有效时间的时态索引技术
Determinants of Groupware Usab
Concepts,model and framework o
基于角色的带时限的转授权与撤销模型
时态变量“Now”语义及相应时态
基于时态关系代数的工作流引擎
柔性工作流元模型及应用
基于OWL时间本体的工作流建模与
时态知识/数据模型研究及应用
时态知识和时态数据的统一模型研
面向服务合成的访问控制技术研究
Workflow Analysis Based on Fuz
描述逻辑εLN循环术语集的不动点语义及推理
描述逻辑μALCQO的语义及推理
描述逻辑εL混合循环术语集的LCS和MSC推理
基于描述逻辑的模糊ER模型
一种分布式动态描述逻辑
基于对象相关性的全监督和直推式排序算法
一个工作流元模型的分析及其时态扩展
时间变元Now的绑定算法
一种维护分解的并行增量视图维护方法
逆同余发生器的密码分析
描述逻辑μALCIO的语义及推理
一种工作流模型的挖掘方法
基于任务协同的MAS计算模型
时态XML索引技术
智能主体的信念认知时态子结构逻辑模型
基于BCDM的冗余时间变元绑定
一种工作流模型的时间性能评估方法
基于时限的角色授权委托模型
模糊时态工作流网的建模和时间可能性分析
利用单词超团的二分图文本聚类算法
BCDM中的时间标签规范及优化
带RVM的描述逻辑εL混合循环术语集的语义及推理
描述逻辑εL循环术语集的混合推理
基于描述逻辑的带属性依赖时序ER模型
基于时态变量对象关系模型及代数运算
模糊描述逻辑FALNUI的tableaux推理
协同工作中基于角色的群体感知技术研究
时态拟序数据索引TQD-tree
面向语义Web语义表示的模糊描述逻辑
基于描述逻辑的CIM模型
面向XML文档的时态访问控制技术研究
时态数据库中的时间变元及其绑定
描述逻辑FL-循环术语集的语义及推理
一种降低XML文档更新代价的扩展Dewey编码方案
基于上下文感知的访问控制模型:CaRBAC
谓词模态逻辑到对应物理论的翻译
弱可逆线性有限自动机的一种分解
Expressive fuzzy description logics over lattices
Extending soft sets with description logics
描述逻辑εLN循环术语集的不动点语义及推理
描述逻辑μALCQO的语义及推理
循环ALCN-Tbox具有模型的条件
独立于设计者的行动推理
Reasoning within intuitionistic fuzzy rough description logics
基于语义的旅游信息搜索引擎
描述逻辑εL混合循环术语集的LCS和MSC推理
模糊描述逻辑L-ALCN
带传递关系和存在量词的描述逻辑MSC推理
P2P环境下基于描述逻辑的信息集成
描述逻辑μALCIO的语义及推理
带RVM的描述逻辑εL混合循环术语集的语义及推理
描述逻辑εL循环术语集的混合推理
基于描述逻辑的带属性依赖时序ER模型
模糊描述逻辑FALNUI的tableaux推理
面向语义Web语义表示的模糊描述逻辑
基于描述逻辑的CIM模型
循环ALCN—Tbox具有模型的条件
半分配同余簇主同余的研究
描述逻辑FL-循环术语集的语义及推理
有单位元的环的主同余
面向语义Web的Expressive格值描述逻辑
gfp-模型的描述逻辑FLε的循环术语集推理
基于Tabu的Deep Web特征选择算法
描述逻辑非标准推理
描述逻辑系统FLEN中概念的最小公共包含算法研究
基于最大不动点模型的描述逻辑系统FLε的有穷基
DDS并行模型及其形式化
基于正区域的快速求核算法
谓词模态逻辑到对应物理论的翻译
描述逻辑εLU概念及术语公理集的表达能力刻画
描述逻辑εLN循环术语集的不动点语义及推理
独立于设计者的行动推理
描述逻辑εL混合循环术语集的LCS和MSC推理
模糊描述逻辑L-ALCN
带RVM的描述逻辑(L混合循环术语集的语义及推理
多主体系统中的模糊匹配
Reasoning with rough description logics: An approximate concepts approach
Reasoning within expressive fuzzy rough description logics
循环的ALCN-Tbox具有模型的条件
描述逻辑(L混合循环术语集的LCS和MSC推理
带传递关系和存在量词的描述逻辑MSC推理
基于描述逻辑的模糊ER模型
描述逻辑FL(循环术语集的语义及推理
描述逻辑(LN循环术语集的不动点语义及推理
描述逻辑(ALCQO的语义及推理
带n-元存在量词的描述逻辑MSC推理
一种分布式动态描述逻辑
Satisfiability and reasoning mechanism of terminological cycles in description logic vL
描述逻辑(L循环术语集的混合推理
一种模糊动态描述逻辑
描述逻辑系统vL循环术语集的可满足性及推理机制
DDS 并行模型及其形式化
P2P环境下基于描述逻辑的信息集成
描述逻辑μALCIO的语义及推理
带RVM的描述逻辑εL混合循环术语集的语义及推理
描述逻辑εL循环术语集的混合推理
基于描述逻辑的带属性依赖时序ER模型
模糊描述逻辑FALNUI的tableaux推理
面向语义Web语义表示的模糊描述逻辑
基于描述逻辑的CIM模型
循环ALCN—Tbox具有模型的条件
描述逻辑FL-循环术语集的语义及推理
DDS并行模型及其形式化
基于信息分存的整数小波大容量数据隐藏方法
基于服务提供方与请求方的语义Web服务选取研究
网络语言实验室的教学模式的研究与设计
P中与归纳等价的几个条件
基于句型模板的智能问答系统
期刊信息
  • 《模式识别与人工智能》
  • 中国科技核心期刊
  • 主管单位:中国科学技术协会 中国自动化学会
  • 主办单位:国家智能计算机研究开发中心 中国科学院合肥智能机械研究所
  • 主编：郑南宁
  • 地址：安徽省合肥市蜀山湖路350号中国科学院合肥智能机械研究所
  • 邮编：230031
  • 邮箱：bjb@iim.cas.cn
  • 电话：0551-5591176
  • 国际标准刊号：ISSN：1003-6059
  • 国内统一刊号：ISSN：34-1089/TP
  • 邮发代号:26-69
  • 获奖情况:
  • 国内外数据库收录:
  • 被引量:10169