From Odp

< Submissions:InformationObjectsAndRepresentationLanguages
Revision as of 17:40, 22 February 2010 by Admin (Talk | contribs)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
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