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.
imported>Denny (New page: As in Description Logics. The meaning of subproperty of is, in FOL: :p(a, b). :subpropertyOf(p, r). ---- :r(a, b).) |
(No difference)
|
Latest revision as of 04:35, 19 December 2009
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"
