Property:Subproperty of
Jump to navigation
Jump to search
"Subproperty of" is a predefined property. This property is pre-deployed (also known as special property) and comes with additional administrative privileges but can be used just like any other user-defined property.
As in Description Logics. The meaning of subproperty of is, in FOL:
- p(a, b).
- subpropertyOf(p, r).
- r(a, b).
... more about "Subproperty of"