prov:value
| - A formal definition of a subtype test is as follows: given an object, o, and a type b, a subtype test is a query whether the type, a, of the object, o, is a subtype of b, i.e., whether a is a descendant of b in an inheritance hierarchy. [0006] A subtype relation which is reflexive, transitive and anti-symmetric is typically denoted by the subtype symbol, ???<???.
|