首页
程序开发
写作辅助
多媒体
实用工具
博客
当前分类:
reasoning
rdf - 在 OWL 中使用排除依据
java - Jena 推断 rdfs :Resource to be in range of a owl:DatatypeProperty. 为什么?
instance - 实例的闭包公理,以便推理器可以正确地对本体中的实例进行分类
python - 使用 apache solr 设置 Conceptnet
logic - 巴拉克不喜欢唐纳德喜欢的任何东西
logic - 如何在答案集编程中表示要推理的未知知识?
SPARQL - 启用推理时获取断言类
owl - Protege 中的 Reasoner 无法处理限制/基数
reasoning - clingo 中勇敢/谨慎的推理
OWL:如何从父类(super class)中继承两个类之间的属性关系?
reasoning - Klarna面试中的逻辑推理
logic - 使用 rdfs :subClassOf or owl:equivalentClass in case of existential quantification (owl:SomeValuesFrom) for a OWL class restriction constructor? 时
semantic-web - Stardog和Protege推理结果不同
performance - 在 Scala for 循环中倒计时
prolog - 编程道义逻辑
sparql - 删除 SPARQL 中不需要的父类(super class)答案
rdf - 门生 4.3 : Ontology consistency
artificial-intelligence - 推理机和语义推理机有什么区别?
rdf - OWL 和 DL 推理 : Why is Eros not beautiful?
logic - 克里普克语义 : learning software available?
«
1
2
3
»
热门标签:
编程
数据结构与算法
其他