Relationowl#has_value__hasvalue(owl#restriction,?)for onProperty(?restrClass,?rel) and hasValue(?restrClass,V), read: i instance of ?restrClass if and only if ?rel(i,V), i.e. if and only if any ?rel from ?i has for destination an instance of C; toValue is an obsolete nameequal: owl#to_value supertype: pm#relation_from_restriction (owl#restriction,*) supertype: pm#relation_from_class (rdfs#class,*) supertype: pm#relation_from_type (pm#type,*)type of relations from a concept/relation type, i.e. in RDFS terminology, from a class or a propertysupertype: pm#relation_from_collection (pm#collection,*) supertype: pm#relation_from/to_thing_of_common_kind (*)this type permits to categorize relations according to their signatures and hence offers (i) a concise way to set essential exclusion relations, and (ii) a systematic and easy-to-follow categorizationsupertype: pm#relation__related_thing__relatedthing___related_with (*)type for any relation (unary, binary, ..., *-ary) and instance of pm#relation_typesupertype: pm#what_relation (*) supertype: pm#wh-/how_relation (*)this type permits to categorize relations according to the usual who/what/why/where/when/how questions ; this is a traditional but very subjective and ineffective way of categorizing relationssupertype: pm#relation__related_thing__relatedthing___related_with (*)type for any relation (unary, binary, ..., *-ary) and instance of pm#relation_type