标签: ontology

我想了解更多关于RDF/SPARQL实现内部的知识,但是大多数框架(必然)在一定程度上会因实际性能和实现考虑而变得复杂.我很好奇是否有适合作为低级教学工具的"参考"实施？从代码角度来看,最小/最干净的RDF/SPARQL实现是什么？

如何添加数值一样float,int或者 date一个Resource使用耶拿？

我假设我必须使用resource.addProperty(Property, String, RDFDataType),但如何为上述数据类型实例化正确的RDFDataType？

我正在寻找一个与医学领域相关的明确的示例本体.也许是为了表达一些推理.或者有任何人对我可以用Protégé实施的小型医学实例有个好主意吗？

提前致谢

马丁

我正在尝试创建一个关于在我的区域中运行种族的语义Web应用程序(10k,半程马拉松,马拉松).更具体地说,我想收集和发布(在RDF中)有关种族,参与者和结果的数据,并合并类似的数据.过去几周我一直在测试Jena(包括TDB),从静态网站上做一些关于运行比赛和阅读词汇和本体的网页.

我认为用于我的应用程序的最有信誉的本体,以及进入门槛最低(不是非常过度设计)的本体,是BBC体育本体论. http://www.bbc.co.uk/ontologies/sport/2011-02-17.shtml

我有一些关于使用BBC体育和制作应用程序的问题:

即使我只使用它的一小部分,我可以使用BBC体育本体吗？

我想查看本体的模式以更好地理解它,但我似乎无法在任何地方找到它.BBC是保守秘密,还是我一直在错误的地方寻找它？

有没有办法让我确定我是否正确使用本体？我的母语不是英语,所以我担心我可能会误解本体中的一些概念.

当我向我的(TDB)三元组商店添加新的三元组时,为资源创建新URI的惯例是什么？更具体地说,URI应该以名称还是uid结尾？这会影响来自不同数据集的类似数据的合并吗？

您能否推荐任何语义Web工具来使资源URI可解除引用？我不会很快将应用程序放在网上,但如果我可以在本地访问URI,那仍然会很好

http://localhost/running/12345.

我目前在Protégé4中创建了一个关于发明的本体论.

我宣布:

• 财产 fulfills
• 两个班级:Invention和Need

仍然在Protégé,我的课程发明由以下断言定义:

Invention subClassOf fulfills exactly 1 Need

这意味着我不希望任何类型的个体Invention不是fulfills一个Need或多个.

为了验证这一说法,我创建了一个名为类型发明的个人Boots和类型的极品两个人分别叫Move_faster和Eat_faster.

我断言,Boots fulfills Move_faster并且Boots fulfills Eat_faster,这应该打破我的一致性,因为发明应该只满足一个需要.

但是,当我推出HermiT推理器时,我的本体仍然是一致的,即使在以下情况下:

• Boots满足什么
• Boots 满足任何不是的人 Need

这是正常的吗？

谢谢

我要使用的rdfs文件是cv.rdfs，我想将其转换为SKOS，因此可以在Maui Indexer中使用它

我是这个主题的完全菜鸟。请帮忙。

是否可以在protege(因此在owl中)描述一个类,具体取决于它是否具有某些属性？

例如

我有一个类Home,我想说的是,每一个都有实例property1,并property2与property2被认为是类的实例？

这是查询和结果:

如您所见,我正在过滤掉那些用户,bo:ania为什么他们仍然出现？

但是,如果我删除宽卡并仅选择用户?user,bo:ania则不会出现

我没有提供最小数据示例,因为这是关于过滤器和通配符如何工作的问题,而不是从数据集中提取某些数据的问题.但是,如果您需要最低限度的数据,我非常乐意提供.

我需要将SNOMED CT本体导入图形数据库,在本例中为Neo4J,但它最终可能是另一种选择.

但是,为了实现这一点,我无法找到SNOMED CT底层关系数据模型的清晰描述.或者至少是简化的SQL视图,它们以可以映射到图形数据库的方式公开实体关系.

我非常感谢任何有关此事的指导或以前的经验.

我试图理解为什么向OWL EL添加析取会使语言在计算上更复杂(例如,为什么在多项式时间内添加'或'会使可满足性,一致性和/或包含检查变得不可能......他们是p-标准OWL EL中的时间)

除其他外,OWL EL概况不允许分离和否定.我无法理解为什么使用现有的OWL EL结构无法实现析取,通过创建包含给定类表达式的析取子集作为子集的新类.

例如,可以表达式(在曼彻斯特语法中):

  Class1 and (Class2 or Class3) and (Property1 some (Class3 or Class4))

被改写为:

  Class1 and NewClass1 and (Property1 some NewClass2)

  where Class2 is a subset of NewClass1,
        Class3 is a subset of NewClass1,
        Class3 is a subset of NewClass2,
        Class4 is a subset of NewClass2

？

我知道答案是'不',但为什么'不'？