Ontologies Classes Object Properties Data Properties Annotation Properties Individuals Datatypes Clouds

Annotation Property: example

Annotations (2)

Usage (4)

  • 'all-number interpretation modifier' example "
    <<hand has-part finger>> os:interpretation os:AllNumberInterpretation ; os:min 5 ; os:max 5 ->
    hand rdfs:subClassOf [a owl:Restriction ; owl:onProperty part-of ; owl:cardinality 5]
    "     
  • 'all-some all-times interpretation modifier' example "
    <<nucleus part-of cell>> os:interpretation os:AllSomeAllTimesInterpretation ->
    all i, t: <<i a nucleus>> os:context t -> exists j: <<j a cell>> os:context t, <<i part-of j>> os:context t
    "     
  • 'all-some interpretation modifier' example "<<finger part-of hand>> os:interpretation os:AllSomeInterpretation -> finger rdfs:subClassOf [a owl:Restriction ; owl:onProperty part-of ; owl:someValuesFrom hand]" 
  • 'some-some interpretation modifier' example "<<HumanShhProtein involved-in HeartDevelopment>> os:interpretation os:SomeSomeInterpretation -> [a HumanShhProtein] involved-in [a HeartDevelopment]" 

OWL HTML inside