owl

-1热度

1回答

我需要创建 - 可能，通过重新使用各种（部分）现有本体 - 数据通信，数据处理，数据存储等。 - - 关于某些方面的本体论模型关于分布式系统（平台，框架，... ）在大数据的情况下使用。重要的概念，关系，限制，个人应该被视为真正的软件产品的例子，比如Hadoop或Git Large File Storage可能会考虑到。是否有人知道是否存在描述上述系统或任何其他分布式系统的本体？

0热度

1回答

耶拿本体API：通过匿名类

单个添加属性值以下模型我需要创建Class1的个人和property4和property5用于创建个人设置文字值。为此，我为Anonymous class2（in1）创建个人并为其设置属性值。然后我为Anonymous class1（in0）创建个人并使用addproperty（property2，in1），再次为类1创建个人并使用addproperty（property1，in0）。 Str

0热度

1回答

如何在OWL本体中表示条件句？

例如，如果天气允许，我会去徒步旅行。类：天气徒步旅行个人：我属性：许可证去

0热度

1回答

使用Jena的OWL本体层次结构（具有复杂类）

我想使用Jena API创建OWL本体的层次结构，它与Protege创建的类似。我曾尝试了两种方法来获得猫头鹰的子类：事情，然后再次出现下一级别：使用listSubClasses（真）使用listHierarchyRootClasses（）他们都曾为owl：Thing的rdfs：subClassOf的OWL类工作过。但是，对于OWL复杂类（owl：unionOf，owl：intersecti

0热度

1回答

在Protege中定义数据属性表达式

我想模拟一个关于与protege徒步旅行的本体论。在那里我有目的地，例如可以是一个小路（目的地的子类）。作为目的地的另一个子类，我希望有长途线路，只有具有一定距离/长度的线路才是长途线路。为了达到这个目的，我为轨迹添加了数据属性（有）kmDistance。后来我想添加喜欢的表达式： equivalent to Destination and (kmDistance value > 100)

0热度

1回答

为什么此SPARQL查询生成错误

我的本体论IRI是“http://mycompany.com/ontologies/quality”。我想找到“查找与给定对象的属性（hasSolution）所有科目” SELECT ?subject WHERE { ?subject hasSolution <http://mycompany.com/ontologies/quality#Issue> } LIMIT 10 这导致该

0热度

2回答

OWL HermiT调试可满足性检查

我正在使用HermiT v1.3.8.4和OWLAPI v3.5.6并且遇到reasoner.isSatisfiable(clazz)永远运行的问题。有没有办法检查HermiT正在做什么，即获取调试信息的方法？我目前的设置是大致是这样的 OWLReasonerFactory reasonerFactory = new Reasoner.ReasonerFactory(); OWLReason

0热度

1回答

如何自动创建本体中的类？

我与followig数据CSV文件（一个小的提取物）： ITEM_ID FAMILY SUBFAMILY 555 Adventure Adventure and extreme sports 444 Nightlife International restaurants 333 Adventure Adventure and extreme sports 我还在于我在门徒新创建的

1热度

1回答

IFP（owl：InverseFunctionalProperty）和FP（owl：FunctionalProperty）有什么区别？

我已阅读W3C文档，但我不明白他们为什么不同。我给他们的定义在W3C文件： FP (owl:FunctionalProperty)：的功能属性是可以为每个实例x只有一个（唯一）值y的属性。 IFP (owl:InverseFunctionalProperty)：如果属性声明为逆功能的，则一个属性语句的对象唯一地确定所述受检者（个别）。这里也有差别：具有功能特性的一个差别在于，对于逆功能性质

0热度

1回答

LUBM基准测试中的子类的成员不属于超类的成员

我试图运行LUBM基准测试，但推理后我遇到了一些分类问题。我使用的文件是： The main ontology The output of the LUBM generator 1.7 的问题是，GraduateStudent和UndergraduateStudent成员不被列为Student超类的成员。我在Protege 5.0上试过了Pellet，Hermit和Fact reasoners