• 凯尔

  • 引用15篇文章【sw12477】
  • 推理本体. CEL是描述 逻辑EL+,支持。。。EL诱导的包容层次+本体. CEL最显著的特点是,不像。。。多项式时间算法。支持的描述 逻辑EL+提供了一套精选的表达手段。。。医学和生物制剂本体. 凯尔是一个猫头鹰2el推理机。。。
  • Fuzzydl公司

  • 27条引用[sw11709]
  • FuzzyDL是一个说明 逻辑支持模糊推理机逻辑模糊粗糙集推理。。。它支持Fuzzy OWL2,以构建Fuzzy本体...
  • 信标

  • 引用5篇文章[sw16742]
  • 基于调试工具+本体.说明 逻辑学(DLs)是知识表示和推理形式。。。医学信息学。但是本体论是一个容易出错的过程,通常。。。
  • 诺尔

  • 引用5篇文章[sw27501号]
  • 由猫头鹰组成的理论本体论在里面描述 逻辑学一组非单调的。。。插件应用广泛本体论编辑Protégé-事实上,第一个混合推理机。。。
  • 德洛宁

  • 引用15篇文章[sw22920]
  • 几个模糊扩张逻辑而且很粗糙逻辑,在其他形式中,已经提出。。。文章描述了德洛宁2,第一篇本体论支持模糊扩展的推理机。。。进入古典本体论语言。这允许使用经典(广泛可用)说明 逻辑推理引擎。。。
  • 马斯特罗

  • 参考7篇文章[sw35563]
  • 哪一个本体论在DL LiteA,id,a中指定逻辑... 轻便型系列说明 逻辑学专门为本体论-基于数据访问。。。
  • 康克鲁德

  • 引用8篇文章[sw12474]
  • 本体. 支持的本体论语言的正式特征是说明 逻辑(DL)斯罗伊克夫。。。Konclude可以处理所有的网络本体论语言(OWL2)与几乎所有的数据类型。。。
  • 德拉戈

  • 引用3篇文章[sw15032]
  • 在每个单独的内部执行本体论. 使用分布式说明 逻辑学作为一个正式的框架。。。多重语义连接的表示本体,我们定义了一个健全和完整的分布式表格。。。作为标准的扩展说明 逻辑人构成的画面或场景。最后,介绍了系统的设计。。。银河系的分布式推理体系结构本体论),实现了这样的分布式决策过程。。。
  • 前方

  • 引用2篇文章[sw28410]
  • 基于形式的频繁概念挖掘算法本体. 本文介绍了一个频繁概念任务。。。(复杂)概念的形式描述 逻辑. 我们设计了一种挖掘频繁信息的算法。。。标准网基础本体论语言猫头鹰描述 逻辑概念对应于OWL类。。。利用形式化的知识密集型应用程序本体...
  • 普力

  • 1条引用[sw28623]
  • 中错误蕴涵的调试说明 逻辑 本体. 最近一些基于SAT的方法。。。
  • 只是

  • 引用3篇文章[sw16743]
  • 一般概念包含物w.r.t。本体制定于描述 逻辑EL扩展了角色包含。。。只是当应用在几个实用程序上本体...
  • 名声

  • 引用2篇文章[sw26270]
  • 名望,因为在表达中忘记了语义描述 逻辑学. 遗忘是一种非标准的推理服务。。。试图对本体通过消除概念和角色名称。。。角色名称来自本体描述 逻辑阿尔科伊。ALCOIH是分机。。。基本的描述 逻辑具有名词、反角色和角色包含的ALC。名望可以用来。。。
  • DL学习者

  • 参考7篇文章[sw14439]
  • 学习描述 逻辑学还有猫头鹰。OWL是W3C的官方标准本体论语言。。。
  • CEX公司

  • 引用3篇文章【sw19453】
  • 本体. CEX检测符合逻辑的轻量级中非循环术语的差异描述 逻辑有角色。。。查询。用NCI的版本进行实验本体论是为了评估性能。。。
  • 检查

  • 1条引用[sw07143]
  • 描述 逻辑推理者。与其他静态检查方法相比本体论-基于我们提出的方法。。。
  • EL2MCS公司

  • 参考6篇文章[sw28624]
  • EL分类编码+本体论一个多项式大小的霍恩命题公式。。。现有的用于轻量化的axiom精确定位方法描述 逻辑学...
  • 达姆尔杰斯卡

  • 引用3篇文章[sw23528号]
  • 语义网:DAMLJessKB是一个描述 逻辑DARPA代理标记语言的推理器。。。正在慢慢迁移到W3C本体论作为猫头鹰的语言。在那里。。。
  • 很酷

  • 引用4篇文章[sw11992]
  • 混合的逻辑学. 我们描述了煤系本体论 逻辑solver Cool,一个决定。。。全局假设描述 逻辑换句话说,我们支持一个通用的TBox并将一个Boolean内部化。。。
  • 音速

  • 引用3篇文章[sw17515]
  • 非标准推理的实现说明 逻辑学可通过图形用户界面使用。。。通过图形化本体论编辑上油了。。。
  • 莫莫

  • 1条引用[sw10022]
  • 描述 逻辑学这是目前建筑的标准形式主义本体. 和莫莫。。。