搜索到1118篇“ 描述逻辑“的相关文章
- 基于描述逻辑的道路工程设计规范表示
- 将规范转译为计算机可读形式是实现合规性审查的技术基础,针对设计规范文件概念繁多、关系复杂且多重属性等特点,实现自动化规范转译存在技术难点。本研究基于描述逻辑(Description Logic)提出一种规范条款表示方法,...
- 于佳莉孙有为张吉松
- 关键词：BIM合规性审查描述逻辑道路工程
- 强表达描述逻辑本体的后继式公理定位研究
- 公理定位（Axiom Pinpointing，AP）是本体领域的重要研究内容，它的目标是为给定逻辑蕴含寻找隐藏的理由，从而帮助用户理解需求或调试并修复不一致本体。随着本体的应用越来越广泛，从弱表达描述逻辑本体的研究发展到...
- 李静
- 一种基于描述逻辑的策略自动化演绎方法及系统
- 本发明公开的基于描述逻辑的策略自动化演绎方法及系统，包括：创建结构化格式的策略，将结构化格式的策略存储为XACML格式的策略；将XACML格式的策略翻译为形式化策略；根据需要实现的策略目标解释环境，将形式化策略转换为具体...
- 于振伟杨正权秦益飞
- 强表达描述逻辑本体的后继式公理定位研究
- 2023年
- 公理定位能够挖掘描述逻辑中可解释的缺陷,并为逻辑蕴含结果寻找隐藏的理由,因此在描述逻辑研究中引起了广泛的关注.平衡描述逻辑表达能力和推理机求解效率问题一直是公理定位研究的重点内容.基于一种后继式判定算法,从白盒和黑盒两个角度将其用于公理定位.白盒方法利用修正的后继式规则(即定位规则)来追踪推理的具体过程,并引入定位公式的概念建立子句的布尔公式标签与逻辑蕴含的所有极小公理集之间的对应关系.黑盒方法则直接调用基于未修正的后继式规则的推理机,并进一步利用碰集树方法求得逻辑蕴含的所有理由.最后,基于这样的两种面向强表达描述逻辑本体的公理定位算法设计推理工具,从理论和实验两方面验证其可行性,并与已有的推理工具比较求解性能.
- 李静欧阳丹彤叶育鑫
- 基于描述逻辑知识库上有序概念空间的音乐资源检索方法
- 本公开通过基于描述逻辑知识库和有序概念空间这两种手段，对于音乐此种难以深度检索的艺术资源，将其转换为知识库上的概念的查找，从而有利于实现一种新的检索系统，实现对音乐资源的深入检索。以此，本公开提出了一种基于描述逻辑知识库...
- 袁柳吴晓军李鹏路纲
- 一种基于外延的将名词短语映射到描述逻辑概念的方法
- 一种基于外延的将名词短语映射到描述逻辑概念的方法，首先穷举名词短语的所有文本片段，生成文本片段到知识库中资源的映射表；然后根据名词短语的分词、词性标注与句法树，生成解析顺序；最后按解析顺序，从EL++的概念<Image ...
- 瞿裕忠宋鼎丁文韬
- 轻量级描述逻辑本体的公理定位研究
- 近年来,轻量级描述逻辑语言逐渐吸引了专家学者们的注意,这种表达能力较弱但是复杂性低的语言更适合构建大型本体。随着本体规模的不断增大,在本体构建过程中不可避免会产生的各种逻辑冲突。这些冲突如果未被及时修正,会影响本体工程或...
- 廖梦婷
- 面向云3D打印的制造资源服务动态描述逻辑建模方法
- 本发明公开了一种面向云3D打印的制造资源服务动态描述逻辑建模方法，属于3D打印技术领域，用于云3D打印服务，其包括定义云3D打印装备服务资源3DSP<Sub>CMfg</Sub>执行所需的输入条件的参数集Input、输出...
- 张成雷庄娇娇王晓杰王振乾亓琳张远明刘佳佳初豪杰
- 文献传递
- 基于时间区间的模糊描述逻辑的Tableau算法被引量：1
- 2021年
- 基于时间区间的模糊描述逻辑TFDL是对模糊描述逻辑在时间上进行限定讨论的一种新的描述逻辑。TFDL对个体,概念和关系的模糊隶属度用vague集来进行描述,其语法是在模糊描述逻辑ALCN的语法基础上的扩充。研究在其语法、语义的基础上给出相应的知识库,给出TFDL的Tableau判定算法,该算法继承了描述逻辑Tableau算法的基本特征,通过构造知识库中表达式的解释模型来证明其可满足性。
- 昌霞
- 关键词：模糊描述逻辑
- 基于描述逻辑知识库上有序概念空间的音乐资源检索方法
- 本公开通过基于描述逻辑知识库和有序概念空间这两种手段，对于音乐此种难以深度检索的艺术资源，将其转换为知识库上的概念的查找，从而有利于实现一种新的检索系统，实现对音乐资源的深入检索。以此，本公开提出了一种基于描述逻辑知识库...
- 袁柳吴晓军李鹏路纲
- 文献传递
相关作者
- 蒋运承
- 作品数：113被引量：661H指数：15
- 供职机构：华南师范大学
- 研究主题：描述逻辑 语义WEB 文本 多主体系统 语义
- 王驹
- 作品数：77被引量：250H指数：12
- 供职机构：广西师范大学计算机科学与信息工程学院
- 研究主题：描述逻辑 逻辑系统 循环术语集 语义 不动点语义
- 常亮
- 作品数：312被引量：738H指数：15
- 供职机构：桂林电子科技大学
- 研究主题：描述逻辑 谱表示 知识图 三元组 景点
- 史忠植
- 作品数：432被引量：6,883H指数：41
- 供职机构：中国科学院计算技术研究所
- 研究主题：人工智能 数据挖掘 动态描述逻辑 多主体系统 专家系统
- 古天龙
- 作品数：486被引量：1,457H指数：18
- 供职机构：桂林电子科技大学
- 研究主题：OBDD 装配序列规划 有序二叉决策图 离散事件系统 景点
