当前位置: 首页 > 知识库问答 >
问题:

我如何在曼彻斯特猫头鹰语法中表达“每一个”?

谷梁镜
2023-03-14

共有1个答案

谷梁卓
2023-03-14

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

A与(仅isRelatedTo{true})

在Protégé,它看起来是这样的:

 类似资料:
  • 有没有办法将OWL公理转换成曼彻斯特语法?我知道OWL-API将允许您将曼彻斯特语法中的一个句子解析为OWL函数语法,但我需要做的正好相反。

  • 问题内容: 我是Angular2的新手,并试图将Angularjs中的owl-carousel转换为Angular2。 以下是owl-carousel实现的index.html文件: 这是app.js文件: 这是Angular1的实​​现,如何为Angular2实施呢? 问题答案: 更新资料 OwlCarousel2 + Angular2.3.0 旧版 以下是angular2猫头鹰轮播实现的app

  • 我正在用Java编写一个利用OWL API 3.1.0版的程序。我有一个表示一个使用曼彻斯特OWL语法的公理,我想在对象中转换这个字符串,因为我需要使用方法(它是的方法)将结果公理添加到一个本体中。我怎么能那样做?

  • 我创建了一个基于以下内容的本体论: > 每个人都是美丽的,如果他/她的父母之一是美丽的 阿佛洛狄忒是厄洛斯的父母 因此,我们希望爱神也是美丽的!然而,弹丸推理者似乎并不是这样推断的。如果我手动将爱神的类型置为successful的话,它会接受它,但它难道不应该推断它吗? 我的本体论就在这里(将扩展改为.owl)。我还提供了来自Protege的截图: 我错过了什么? 编辑: 我可以看到Eros出现在

  • 下面是我的WordPress和插件的详细信息。 WordPress详细信息: WordPress版本:4.9.8 WordPress jQuery 1.12.4 插件详细信息: owl-carousel jQuery 1.0.0 插件版本:2.1 使用过的WordPress版本:3.0.1或更高版本 测试范围:4.9.9 [tc-owl-carousel]短代码 谢谢你给我明确的指示。 下面是与o