From Odp

Jump to: navigation, search

isFormallyRepresentedIn has Category:OntologyElement and is an element of InformationObjectsAndRepresentationLanguages


Name: isFormallyRepresentedIn

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

Personal tools
Quality Committee
Content OP publishers