Matches in LOV for { <http://www.ontologydesignpatterns.org/ont/dul/IOLite.owl#isAssignedTo> ?p ?o. }
Showing items 1 to 9 of
9
with 100 items per page.
- isAssignedTo type InverseFunctionalProperty.
- isAssignedTo type ObjectProperty.
- isAssignedTo 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 is 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').".
- isAssignedTo domain Entity.
- isAssignedTo label "formally interprets {@en}".
- isAssignedTo label "interpreta formalmente {@it}".
- isAssignedTo label "è assegnata a".
- isAssignedTo range FormalExpression.
- isAssignedTo subPropertyOf isFormallyRepresentedIn.