我正在阅读这个问题的答案： How to infer isBrotherOf property between two individuals
在屏幕截图中有类表达式，它们使用运算符＆＃34; o＆＃34;。我已经搜索过OWL 2文档，但无法在任何地方找到它。谷歌搜索＆＃34; o＆＃34;不产生任何东西，因为它可能是一个停止词。
＆＃34;手册页＆＃34;对于这个＆＃34; o＆＃34;？
答案 0 :(得分：3)
o运算符更多描述逻辑语法样式，表示对象属性表达式的连接，即对象属性或其反转。在OWL 2中，这包含在所谓的property chains
此外，运算符在Manchester OWL syntax中使用，这是Protege中的默认语法（您参考的屏幕截图显示了Protege本体编辑器）