Matches in LOV for { <http://www.ontologydesignpatterns.org/ont/dul/IOLite.owl#formallyRepresents> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- formallyRepresents type ObjectProperty.
- formallyRepresents comment "The relation between formal expressions, and anything that they are supposed to represent.\nE.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', 'the constant 'John' formallyRepresents the dul:NaturalPerson 'John'.\nNotice that a FormalExpression isAssignmentOf (is formally interpreted by) instances of dul:FormalEntity.\n\nformallyRepresents is a particular case of 'dul:isAbout', holding only for formal expressions. \nAnyway, a formal expression that dul:expresses a dul:SocialObject is also possible, but treats formal expressions as any other kind of dul:InformationObject that express a 'social' or 'cognitive' semantics, not a formal one.".
- formallyRepresents domain FormalExpression.
- formallyRepresents label "formally represents".
- formallyRepresents label "rappresenta formalmente".
- formallyRepresents range Entity.
- formallyRepresents subPropertyOf isAbout.