Submissions:InformationObjectsAndRepresentationLanguages/formallyRepresents

From Odp

Jump to: navigation, search

Admin (Talk | contribs)
(Imported from OWL file.)
Next diff →

Current revision

formallyRepresents has Category:OntologyElement and is an element of InformationObjectsAndRepresentationLanguages


ObjectProperty

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

Personal tools
Quality Committee
Content OP publishers