Submissions:InformationObjectsAndRepresentationLanguages/formallyRepresents
From Odp
< Submissions:InformationObjectsAndRepresentationLanguages(Difference between revisions)
Current revision
formallyRepresents has Category:OntologyElement and is an element of InformationObjectsAndRepresentationLanguages
Name: formallyRepresents
Type: owl:ObjectProperty
Description: The relation between formal expressions, and anything that they are supposed to represent.
E.g., 'the predicate 'MariachiInTijuana' formallyRepresents the dul:Collection of all mariachis in Tijuana'; 'the equivalence relation '<=>' formallyRepresents the concept of two entities having the same properties'.
Notice that formal expressions are formally interpreted by instances of dul:FormalEntity