Property:Subproperty of
Revision as of 05:35, 19 December 2009 by 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).)
"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"
