formalism used in the theory which obviously can-
not be represented in RDF. We may, however, apply
a light-weight approach and concentrate only on RDF
links between elements of the theory considered in
some article and elements of the theory from other
articles or publications. Moreover, one may try to de-
termine types of the elements assigning them to vo-
cabulary terms (see Fig.1).
Figure 1: RDF links between entities from article A and
entities from articles B and C. The entities from article A
are also linked to classes from ontologies.
In order to create RDF links in quantum mechan-
ics we need an appropriate vocabularies. The vocab-
ularies are formally defined in the following ontolo-
gies:
• quONTOm
5
- an OWL ontology describing main
concepts (e.g. observable, Hamiltonian, spin)
and relations (e.g. commutator, orthogonality) in
quantum mechanics. Aside from quantum me-
chanical concepts and relations, the ontology con-
tains elements which in fact do not belong to
the domain of quantum mechanics e.g. math-
ematical objects which should be contained in
an ontology for mathematics. Unfortunately, to
our best knowledge, an appropriate ontology for
mathematics, which could be imported and used
in quONTOm ontology does not exist. However,
we think that in the future these concepts will be
separated from the ontology and become parts of
auxiliary ontology (or ontologies).
• PHYSO (Physical Sciences Ontology)
6
- an on-
tology describing general concepts (e.g. princi-
ple, problem, assumption) and relations (e.g. has
property, consequence of) of physical sciences.
The ontology can be used to characterize compo-
nent parts and relations of any physical theory and
not only quantum mechanics.
• SACO (Scientific Article Content Ontology)
7
-
an ontology containing a set of objects proper-
ties enabling description of what is done/used
5
http://purl.org/quONTOm
6
http://purl.org/lyr/physo
7
http://purl.org/lyr/saco
in a research paper. In such article something
(e.g. some element of the theory) is analyzed, de-
scribed etc. Equivalently, using ’dummy’ subject,
we can say that the paper considers, describes
something (Glasman-Deal, 2010).
We stress that above ontologies are at the moment in-
complete and are gradually developed towards more
complete forms. Consequently, parts of them might
be changed in the near future.
3.3 Including Links to Other Things
The fourth principle of Linked Data recommends in-
cluding links to other URIs. These links are crucial
because they enable the discovery of additional data
resources. There are three types of RDF links.
Relationship Links. In one research article an en-
tity (e.g. equation, concept, definition) from another
article can be used (e.g. generalized). Assuming that
this element is named with a URI (according to one
of the methods considered above) we can create the
following RDF link pointing to this element:
art3:H phys:generalizes art6:H_0 .
A reference to some concept introduced in another ar-
ticle can be represented by the following link:
art3:Concept sac:isIntroducedIn
<http://ex2.org/art6> .
where
http://ex2.org/ar6
is a URI of the article.
Moreover, it is very often that some entity introduced
in one article is a solution to a problem considered in
another article. We can express this by the following
relationship link:
art3:10 phys:solutionTo art6:Theorem_5 .
Identity Links. An important part of RDF links in
Linked Data are identity links. An element of the the-
ory (e.g. operator, concept, definition) may be named
with two different symbols in two different articles.
In this case we can create the following identity link:
art3:V_1 owl:sameAs art6:W_1 .
It may happen that the same definition may have two
different numbers in different articles. We can repre-
sent the situation as follows:
art3:Def_1 owl:sameAs art6:Def_2 .
Identity links are very important because they enable
expression of different views on the same element of
the theory named with URI. Moreover, they enable
clients to retrieve further descriptions about the ele-
ment.
CSEDU2013-5thInternationalConferenceonComputerSupportedEducation
50