owl 相关问题

Web本体语言（OWL）是用于创建本体的词汇表，即类的定义，属性以及它们之间的关系。请不要使用此标签代替'owl-carousel'！

OWL 到 JSON 转换器

我需要将此 OWL 本体文件转换为 JSON，以便将其集成到 HTML5 网页中进行可视化：这是有问题的 OWL 本体文件

json taxonomy owl ontology

回答 3 投票 0

如何在本体中进行存在量化推理？

我正在尝试计算本体中的存在量化推论，如下所示。给定本体：政治家（阿尔伯特）政治家（鲍勃）相关（阿尔伯特，鲍勃）我想哈...

logic owl ontology owl-api hermit

回答 1 投票 0

OWL 类中的不一致

我是语义技术的新手。我创建了一些 OWL 类并运行颗粒推理器来检查类中的不一致之处。这是我迄今为止创建的内容的片段：我是语义技术的新手。我创建了一些 OWL 类并运行颗粒推理器来检查类中的不一致之处。这是我迄今为止创建的片段： <owl:NamedIndividual rdf:about="&object_test;obj_5678"> <rdf:type rdf:resource="&object_test;WorkPiece"/> <xyz:widthOfObject rdf:datatype="&xsd;float">0.1</xyz:widthOfObject>  <xyz:depthOfObject rdf:datatype="&xsd;float">0.1</xyz:depthOfObject>  <xyz:heightOfObject rdf:datatype="&xsd;float">0.2</xyz:heightOfObject>  </owl:NamedIndividual> <owl:NamedIndividual rdf:about="&xyz;PQR_WorkPiece_5678"> <rdf:type rdf:resource="&xyz;PQR"/> <xyz:eventOccursAt rdf:resource="&object_test;Transform_5678"/> <xyz:startTime rdf:resource="&object_test;timepoint_0"/> <xyz:objectActedOn rdf:resource="&object_test;obj_5678"/> </owl:NamedIndividual> <owl:NamedIndividual rdf:about="&object_test;Transform_5678"> <rdf:type rdf:resource="&xyz_paramserver;Transform"/> <xyz:quaternion rdf:datatype="&xsd;string">0.0 0.0 1.0 0.0</xyz:quaternion> <xyz:translation rdf:datatype="&xsd;string">0.5 0.1 0.5</xyz:translation> </owl:NamedIndividual> 当我运行颗粒推理机时 sync_reasoner_pellet(infer_property_values = True, infer_data_property_values = True, debug=2) 存在关于类不一致的错误，以下是解释 This is the output of `pellet explain`: Axiom: Thing subClassOf Nothing Explanation(s): 1) Region subClassOf Abstract hasParticipant range Object hasRegionDataValue domain Region objectActedOn subPropertyOf preActor SemanticMapPerception_WorkPiece_1234 objectActedOn obj_1234 obj_1234 depthOfObject 0.02f depthOfObject subPropertyOf hasDepth actor subPropertyOf hasParticipant Abstract disjointWith Object hasShapeParameter subPropertyOf hasRegionDataValue preActor subPropertyOf actor hasDepth subPropertyOf hasShapeParameter 我不知道如何阅读这个输出。这是什么矛盾？这是指逻辑上的不一致，例如说一个形状既是正方形又是圆形，这是不可能的。你的本体中正在发生类似的事情。对不一致的解释由一组最小的公理和断言组成，所有这些公理和断言都必须成立才能使本体不一致。因为它是公理和断言的最小集合，如果您可以从本体中删除这些公理或断言中的任何 1 个，则本体将是一致的（假设您只有 1 个对不一致的解释 - 可能有多个不一致的解释）。根据您提供的内容，您正在根据现有本体创建一些个体。但是，解释中未提及您提供的个人。因此，它们不是不一致的原因（再次假设您只得到上面的 1 个解释）。为了更清楚起见，在解释中，我指出了公理和断言： Region subClassOf Abstract --> axiom hasParticipant range Object --> axiom hasRegionDataValue domain Region --> axiom objectActedOn subPropertyOf preActor --> axiom SemanticMapPerception_WorkPiece_1234 objectActedOn obj_1234 --> assertion obj_1234 depthOfObject 0.02f --> assertion depthOfObject subPropertyOf hasDepth --> axiom actor subPropertyOf hasParticipant --> axiom Abstract disjointWith Object --> axiom hasShapeParameter subPropertyOf hasRegionDataValue --> axiom preActor subPropertyOf actor --> hasDepth subPropertyOf hasShapeParameter --> axiom 为了解决这个问题，我建议：根据解释，有问题的人似乎是obj_1234或SemanticMapPerception_WorkPiece_1234。我建议至少暂时删除这些内容，然后重新运行推理机。如果这是唯一的解释，那么你的本体论现在应该是一致的。这意味着您对这些人做出的断言是不正确的。希望您能找到有关如何使用本体的文档，或者您可以联系本体的创建者。如果您有多个解释，请尝试删除所有断言（至少是暂时的），然后重新运行推理器。如果本体仍然不一致，则意味着本体的公理存在问题，您需要与本体的创建者一起解决这个问题。

rdf owl reasoning pellet owlready

回答 1 投票 0

如何将大本体从 Turtle (.ttl) 格式转换为 OWL/XML (.owl) 格式？

我在这里使用来自 GitHub 的本体： https://raw.githubusercontent.com/oeg-upm/gtfs-bench/master/ontology/gtfs.ttl 本体以 Turtle 格式提供，但我需要将其转换为 OWL/XML

owl ontology turtle-rdf

回答 1 投票 0

何时使用 rdf:Type 与 rdfs:subClassOf

我对本体论和OWL相当熟悉并且一直在使用它们。但我始终没有一个想法，当我试图找到一个好的答案时，总是会出现矛盾。也就是说，什么时候使用...

rdf owl ontology semantic-web rdfs

回答 1 投票 0

OWL 限制：重复变量

我读了这段文字： “在 OWL 中，禁止在类公理中重复出现变量（例如，不能公理化所有给自己刮胡子的理发师的类......