-
弹丸
- 引用92篇文章[sw07019]
- 颗粒物:猫头鹰2 Java推理机。对于需要代表和解释。。。信息使用猫头鹰颗粒是系统的主要选择,健全和完整。。。猫头鹰DL推理是必不可少的。颗粒包括支撑猫头鹰2个配置文件包括。。。猫头鹰标高2。它包含了对名词、连接查询回答和增量推理的优化。在那里。。。
-
旋转
- 引用48篇文章[sw14002]
- SWRL:一种语义Web规则语言组合猫头鹰还有RuleML。本文件包含一个建议。。。SWRL)基于猫头鹰DL和猫头鹰Lite子语言。。。猫头鹰网络本体语言与规则标记语言的一元/二进制数据日志规则语言。。。在这两个地方猫头鹰DL和猫头鹰Lite子语言。。。
-
卢布
- 引用了20篇文章【sw14975】
- LUBM:一个基准猫头鹰知识库系统。我们描述了我们的方法基准语义。。。关于大范围使用的系统猫头鹰应用。我们展示了莱海大学的基准。。。大学领域的本体论,综合猫头鹰数据可扩展到任意大小,14个扩展。。。
-
德洛宁
- 引用15篇文章[sw22920]
- 德洛宁:模糊推理机猫头鹰2今天,人们对。。。支持标准语言的模糊扩展猫头鹰和猫头鹰2严格来说。。。
-
Ontop公司
- 在14篇文章中引用[sw22931]
- 在下的数据库上回答SPARQL查询猫头鹰2 QL约束机制。我们提出一个扩展。。。支持在猫头鹰直接语义蕴涵机制。。。显示任何输入SPARQL查询,猫头鹰2 QL本体和R2RML映射。。。
-
隐士
- 参考12篇文章[sw12418]
- 隐士:高效的猫头鹰推理者。隐士是推理的本体论写使用。。。本体语言(猫头鹰). 给予猫头鹰文件,隐士可以决定是否本体。。。更多。隐士是第一个公开的猫头鹰基于“超理性演算”的小说。。。HermiT使用直接语义并传递所有猫头鹰2个直接语义推理机的一致性测试。。。
-
麋鹿
- 参考12篇文章[sw22930]
- 推理者猫头鹰2个目前支持(大部分)的本体猫头鹰2 EL本体。。。轻量级本体语言的源推理器猫头鹰2 EL,由大学开发。。。可以使用猫头鹰阿皮,普罗特,雪猫头鹰本体编辑器。。。
-
凯尔
- 引用15篇文章【sw12477】
- 医学和生物学本体论。CEL是一个猫头鹰2 EL reasoner(尽管目前有一些。。。
-
公关猫头鹰
- 参考7篇文章[sw22024]
- 猫头鹰-一种定义概率本体论的语言。近年来见证了一个日益成熟的身体。。。这是概率网络本体语言(PR-猫头鹰),它提供了一种表示不确定性的方法。。。用Web本体语言表达的本体论(猫头鹰). 公共关系-猫头鹰允许随机变量的值。。。射程超过猫头鹰数据类型,遵循Poole等人建议的方法来形式化。。。
-
康克鲁德
- 引用8篇文章[sw12474]
- 处理所有的Web本体语言(猫头鹰2) 几乎所有的数据类型。此外。。。命令行。对于使用猫头鹰API,OWLlink猫头鹰API适配器。。。
-
DL学习者
- 参考7篇文章[sw14439]
- 描述逻辑学习框架猫头鹰.猫头鹰W3C的官方标准本体。。。学会建造和维护猫头鹰本体论或解决类似的问题。。。包括几种学习算法,支持不同的猫头鹰格式、推理机接口和学习问题。。。
-
本体论
- 参考7篇文章[sw30415]
- 比本体论网站语言更合适(猫头鹰)同样,也常常源于这样的本体论。。。OntoDLV支持强大的互操作机制猫头鹰,允许用户从。。。猫头鹰本体论,并在猫头鹰本体论。系统。。。
-
诺尔
- 引用5篇文章[sw27501号]
- NoHR:将XSB prolog与猫头鹰2个外形及以上。我们提供最新的。。。关于混合理论的质疑猫头鹰描述逻辑中的本体论。。。致力于猫头鹰和规则-但它也可用。。。首先支持所有多项式猫头鹰配置文件,甚至更多,允许它与。。。
-
宝塔
- 引用3篇文章[sw17539]
- 一种混合查询应答方法猫头鹰2个本体论结合了一个数据日志推理机。。。成熟的猫头鹰2 reasoner,以提供可伸缩的“现收现付”性能。。。数据日志推理机和求助于昂贵的猫头鹰只有在必要时才进行推理才能充分回答。。。目标是有效地回答猫头鹰2本体论和数据,我们的技术成果。。。
-
高锰酸钾
- 引用4篇文章[sw09838]
- KAON2是一个管理的基础设施猫头鹰-DL、SWRL和F-逻辑本体论。KAON2提供。。。特性:用于编程管理猫头鹰-DL、SWRL和F逻辑本体论。。。
-
变态猫头鹰
- 引用2篇文章[sw16929]
- 阿伯-猫头鹰生物学中基于本体的数据访问框架。背景:许多本体论有。。。通常用Web本体语言表示(猫头鹰). 计算访问包含在。。。推理。结果:建立了abr-猫头鹰提供推理服务的基础设施。。。本体论。阿伯-猫头鹰包括一个本体库,一组web服务。。。