Fatal编程技术网
  • logic/
  • Logic “我该如何表达？”；每"；在曼彻斯特owl语法中？

Logic “我该如何表达？”；每"；在曼彻斯特owl语法中？

logic

Logic “我该如何表达？”；每"；在曼彻斯特owl语法中？,logic,owl,protege,manchester-syntax,Logic,Owl,Protege,Manchester Syntax,如果A与B相关 并且B具有dataproperty:existence={true，false} 如何用manchester owl语法（对于protege）表示子集，其中： 是A型和 A的每个isRelatedTo都有值“true”我想你要问的是，如何为其成员具有typeA且其isRelatedTo属性的所有值均为true^^xsd:boolean的类编写类表达式。这很简单： A和（仅与相关{true}） 在Protégé中，它看起来是这样的： 我不明白表达式中是如何涉及B的，以及属性“exi

如果A与B相关 并且B具有dataproperty:existence={true，false}

如何用manchester owl语法（对于protege）表示子集，其中： 是A型和
A的每个isRelatedTo都有值“true”

我想你要问的是，如何为其成员具有type
A
且其
isRelatedTo
属性的所有值均为
true^^xsd:boolean
的类编写类表达式。这很简单：

A和（仅与相关{true}）

在Protégé中，它看起来是这样的：

我不明白表达式中是如何涉及B的，以及属性“existence”是如何使用的。如果它们在你的问题中很重要，你能澄清它们是如何相互作用的吗？