Tag: swrl

OWL 2 rolification

在描述逻辑中，有一个叫做“rolification”的概念（ OWL and Rules，Sec 3.2 ）。 它将概念（类）转换为angular色（属性）。 例如，当我们boostR(x) ，我们得到r(x,x) 。 这种技术对于在DL中expression一些规则是有用的。 我们如何在OWL 2中做到这一点？ 在OWL 2规范中似乎没有直接的支持。