66
4 Semantic Technology for Simulations and Molecular Particle-Based Methods
Fig. 4.5 Highlight of classes from VISO and VOV (shown as ellipses) and the relations between
them (shown as arrows). The relations are: is_a, involves, has_attached_variable and
has_attached_function
Fig. 4.6 An example containing individuals from VISO and VOV: full rectangles indicate individuals that are present in the ontologies, whereas empty rectangles indicate possible user-defined
ones. Ellipses denote classes and arrows denote relations. The relations are: is_a (thin-head arrow
for instantiation and thick one for class subsumption), involves and has_attached_variable
with the limitations just described. So far for inferences; nevertheless, of course, there
is always the possibility to make explicit negative statements about variables and other
concepts (using owl:complementOf, or owl:NegativePropertyAssertion, available in
OWL2).
4 Semantic Technology for Simulations and Molecular Particle-Based Methods
Fig. 4.5 Highlight of classes from VISO and VOV (shown as ellipses) and the relations between
them (shown as arrows). The relations are: is_a, involves, has_attached_variable and
has_attached_function
Fig. 4.6 An example containing individuals from VISO and VOV: full rectangles indicate individuals that are present in the ontologies, whereas empty rectangles indicate possible user-defined
ones. Ellipses denote classes and arrows denote relations. The relations are: is_a (thin-head arrow
for instantiation and thick one for class subsumption), involves and has_attached_variable
with the limitations just described. So far for inferences; nevertheless, of course, there
is always the possibility to make explicit negative statements about variables and other
concepts (using owl:complementOf, or owl:NegativePropertyAssertion, available in
OWL2).