Matches in LOV for { <http://www.ontologydesignpatterns.org/ont/dul/IOLite.owl#isAssignmentOf> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- isAssignmentOf type FunctionalProperty.
- isAssignmentOf type ObjectProperty.
- isAssignmentOf comment "The relation between a FormalExpression, and an Entity (a FormalEntity in case of classes, relations, etc.) that it is supposed to be the reference of the symbol (FormalExpression) that the Entity is an intepretation of. \nIn other words, this property expresses the 'formal interpretation' function, by which a logician 'assigns' an Entity to a FormalExpression. \nFor each type of formal expressions defined in a logical language, an assignment assumption should be indicated, for example, owl:Class should be restricted to: isAssignmentOf allValuesFrom Class. In addition, differently from the general relation formallyRepresents, isAssignmentOf is functional (and its inverse is inverse functional), in order to encode the Tarskian correspondence assumption.\nE.g., the Set of 'all mariachis in Tijuana' isAssignedTo the predicate (FormalExpression) 'TijuanaMariachi' (that isFormalTermFor a Term e.g. 'the mariachis in Tijuana').".
- isAssignmentOf domain FormalExpression.
- isAssignmentOf label "is formally interpreted as".
- isAssignmentOf label "è assegnazione di".
- isAssignmentOf label "è interpretata formalmente come".
- isAssignmentOf range Entity.
- isAssignmentOf subPropertyOf formallyRepresents.
- isAssignmentOf inverseOf isAssignedTo.