<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Defining Several Ontologies to Enhance the Expressive Power of Queries</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Bich-Liên Doan</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Yolaine Bourda Computer Science Dpt. SUPELEC</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>rue Joliot Curie</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Gif-sur-Yvette</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>France Bich-Lien.Doan@supelec.fr</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Yolaine.Bourda@supelec.fr</string-name>
        </contrib>
      </contrib-group>
      <abstract>
        <p>The use of ontologies is a key step forward for describing the semantics of information on the Web. It is becoming more and more important to make the information machinereadable, since the volume of data is continuously growing. In the educational area, metadata are considered to be helpful in such a process. We propose to enrich the description of educational resources by introducing several levels of description of concepts, and to make them machine- readable by using a formal language of ontology, OWL. Using both this ontology and the expressive power of an OWL query language to query pedagogical resources will improve the retrieval and interchange of educational resources.</p>
      </abstract>
      <kwd-group>
        <kwd>eol&gt;Semantic Web</kwd>
        <kwd>ontology</kwd>
        <kwd>OWL</kwd>
        <kwd>information retrieval</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>
        Educational resources available on the Web are intended
to be shared, accessed or reused. Because of the ambiguity of
the natural language (synonymy, polysemy, homonymy,
multilingualism) the answers are spoilt by noise. Actually,
keywords of the query are matched with indices extracted
from the Web pages, but neither the semantics nor the
structure are taken into account by the search tools. Some
solutions have been proposed in order to explain the
semantics of the Web: we note the recommendation of
metadata Dublin Core [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] and more specifically the LOM [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]
for e-learning resources. The W3C proposed the RDF
standard [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] which aim is to represent the knowledge about
the available Web resources. Using ontologies [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ] is a further
step to encourage authors to clarify the domain and the
content of the resources, so that search tools could improve
the precision and recall and agents could infer some
knowledge. The Web Ontology Language (OWL) [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] was
carried by the W3C to formalize ontologies on the Web. In
this paper, we propose first to explicit a part of the
pedagogical ontology of our engineer school, Supélec.
Subsequently, we present some examples of queries with
OWL-QL [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ], using the predefined ontology.
      </p>
    </sec>
    <sec id="sec-2">
      <title>2. Creating several views of an educational ontology</title>
      <p>The pedagogical ontology concerns both the organization
of an engineer school: Supélec and the content of a teaching
program.</p>
    </sec>
    <sec id="sec-3">
      <title>2.1. Description of an educational ontology</title>
      <p>We first present a part of a UML model of the
teaching organization at Supélec.</p>
      <p>Education</p>
      <p>Teaching_Program</p>
      <p>
        At Supélec, the education lasts three years. Each year is
divided into four sequences and contains several teaching
modules (each module corresponding to one course per
sequence). A module contains learning resources which are
either atomic or composite. In the LOM terminology, a
learning object is considered as a learning resource, this
equivalence can be expressed with an OWL restriction. The
UML schema can be transformed into an RDF representation
by the way of XPetal [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. Because exact cardinalities cannot
be expressed with RDF, we added an example of a
cardinality constraint upon a property of the Education class.
With OWL it is possible to specify that one member of
Education has exactly three Teaching_Programs
corresponding to year 1, 2 or 3. This is an extract of the
OWL schema that we get:
&lt;rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
&lt;owl:Ontology
rdf:about="file:/C:/BLD/Recherche/Articles/20032004/onto1-supelec.owl "/&gt;
&lt;owl:Class rdf:ID="Education"&gt;
&lt;rdfs:subClassOf&gt;
&lt;owl:Restriction&gt;
&lt;owl:onProperty rdf:resource=”#contains /&gt;
&lt;owl:cardinality rdf:dataype=
”&amp;xsd:nonNegativeInteger”&gt;3&lt;/owl:cardinality&gt;&lt;/owl:Restriction&gt;
&lt;/rdfs:subClassOf&gt;&lt;/owl:Class&gt;
&lt;owl:ObjectProperty rdf:ID=”contains”&gt;
&lt;rdfs:domain rdf:resource=”#Education”&gt;
&lt;rdfs:range rdf:resource=”#Teaching_Program”&gt;
&lt;/owl:ObjectProperty&gt;
&lt;owl:Class rdf:ID="Teaching_Program"/&gt;
&lt;owl:oneOf rdf:parseType=”Collection”&gt;
&lt;Teaching_Program rdf:about=”#year_1”&gt;
&lt;Teaching_Program rdf:about=”#year_2”&gt;
&lt;Teaching_Program rdf:about=”#year_3”&gt;
&lt;/owl:one of&gt;&lt;/owl:Class&gt;
&lt;owl:Class rdf:ID="Learning_Object" &gt;
&lt;rdfs:subClassOf&gt;
&lt;owl:Restriction&gt;
&lt;owl:onProperty rdf:resource="#isComposedOf"/&gt;
&lt;owl:allValuesFrom&gt;
&lt;owl:Class&gt;
&lt;owl:unionOf rdf:parseType="Collection"&gt;
&lt;owl:Class rdf:about="#Composite"/&gt;
&lt;owl:Class rdf:about="#Leaf_Resource"/&gt;
&lt;/owl:unionOf&gt;
&lt;/owl:Class&gt;&lt;/owl:allValuesFrom&gt;
&lt;/owl:Restriction&gt;&lt;/rdfs:subClassOf&gt;
&lt;/owl:Class&gt;
      </p>
      <p>The domain and scope of the second part of the
pedagogical ontology are the learning resources participating
in a teaching program, created by teachers or educational
organizations. In order to preserve the semantics given by the
LOM, we mention some definitions:
Learning Object: any entity that may be used for learning,
education or training.</p>
      <p>Category: a group of related data elements.</p>
      <p>Data element: a data element for which the name,
explanation, size, ordering, value space and datatype are
defined in the LOM standard.</p>
      <p>Now we present two other UML representations of a
learning objects view and a LOM metadata view.</p>
      <p>Text
Video</p>
      <p>Module
title
duration
Learning_Resource
name
description
Image</p>
      <p>Sound</p>
      <p>RawData</p>
      <p>contains
0..*
Learning_Object</p>
      <p>0..*
0..*
owns isDescribed
1..*
Complex</p>
      <p>Atomic
Bag</p>
      <p>Set</p>
      <p>List</p>
      <p>Graph</p>
      <p>In figure 2, the Module and Learning resources are two
types of Learning Objects in the terminology of LOM. A
learning object is composed of raw data, media, structure and
metadata. The media is text, sound, image or video. Each
media type has a format (for example jpeg for an image, MP3
for a sound). The structure of a learning object is either
atomic or complex (for example a definition, an example or a
theorem is an atomic learning object whereas a module of
software engineering is a complex one). Each learning object
is described by a set of metadata which are detailed in figure
3. This representation reflects the view of LOM metadata
with the concepts of categories, data elements and types of
data element (the structure to represent the logical
relationships between learning objects and the content to
represent the content of a learning resource).This is an
extract of the OWL representation of the learning object’s
view.</p>
      <p>&lt;owl:Class rdf:ID="Text"&gt;
&lt;owl:disjointWith&gt;
&lt;owl:Class rdf:about="#Video"/&gt;
&lt;/owl:disjointWith&gt;
&lt;rdfs:subClassOf&gt;
&lt;owl:Class rdf:about="#Media"/&gt;
&lt;/rdfs:subClassOf&gt;
&lt;/owl:Class&gt;
&lt;owl:Class rdf:ID=”Bag”&gt;
&lt;rdfs:subClassOf rdf:resource=”#Complex”/&gt; &lt;/owl:Class&gt;
&lt;owl:Class rdf:ID=”Set”&gt;
&lt;rdfs:subClassOf rdf:resource=”#Complex”/&gt; &lt;/owl:Class&gt;
&lt;owl:Class rdf:ID=”List”&gt;
&lt;rdfs:subClassOf rdf:resource=”#Complex”/&gt; &lt;/owl:Class&gt;
&lt;owl:Class rdf:ID=”Graph”&gt;
&lt;rdfs:subClassOf rdf:resource=”#Complex”/&gt; &lt;/owl:Class&gt;
&lt;/owl:Class&gt;
&lt;owl:class rdf:ID=”Bag”&gt;
&lt;owl:disjointWith rdf:resource=”Set”/&gt;
&lt;owl:disjointWith rdf:resource=”List”/&gt;
&lt;owl:disjointWith rdf:resource=”Graph”/&gt;
&lt;/owl:Class&gt;</p>
      <p>DataElement
RelationShip</p>
      <p>Content</p>
      <p>Value
Structure</p>
      <p>Semantics
hasPart
isReferencedBy
isSimilarTo</p>
      <p>A domain view (for example a thesaurus of the computer
science) is illustrated by a hierarchy of terms, that guaranty
there is no ambiguity in terms of understanding. The
following extract of the classification of computer science
built by ACM can be also translated into OWL:
D SOFTWARE
D.0 GENERAL
D.1 PROGRAMMING TECHNIQUES (E)
D.2 SOFTWARE ENGINEERING (K.6.3)
D.2.0 General (K.5.1)
D.2.1 Requirements/Specifications (D.3.1)</p>
      <p>Elicitation methods (e.g., rapid prototyping, interviews, JAD)
(NEW)</p>
      <p>Languages
Methodologies (e.g., object-oriented, structured) (REVISED)
Tools
D.2.2 Design Tools and Techniques (REVISED)
D.2.3 Coding Tools and Techniques (REVISED)</p>
      <p>Object-oriented programming (NEW)
D.2.4 Software/Program Verification (F.3.1) (REVISED)
Assertion checkers</p>
      <p>Class invariants (NEW)
D.2.5 Testing and Debugging</p>
      <p>Testing tools (e.g., data generators, coverage testing)
(REVISED)</p>
      <p>Tracing
This hierarchy of terms may be represented in OWL with
subclass and equivalent relations.
&lt;owl:Class rdf:ID=”D”&gt;</p>
      <p>&lt;rdfs:label&gt;Software &lt;/rdfs:label&gt;&lt;/owl:Class&gt;
&lt;owl:Class rdf:ID=”D2”&gt;
&lt;rdfs:label&gt;Software engineering &lt;/rdfs:label&gt;&lt;/owl:Class&gt;
&lt;rdfs:subClassOf rdf:resource=”#D”/&gt; &lt;/owl:Class&gt;
&lt;owl:equivalentClass rdf:resource=”#K.6.3”/&gt; &lt;/owl:Class&gt;
&lt;/owl:Class&gt;</p>
      <p>
        Each of the view was translated and refined by the
OWL formalism.
2.2. Description of learning resources with
the LOM semantics
The preliminary task consisted in translating the model of the
LOM into a schema in OWL. We did it with the Protégé
2000 editor [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ] in figure 4. We considered the Learning
Object as a class, the categories and data elements as the
properties of the Learning Object, and we explained the
constraints on the space value. The following task consisted
in classifying the concepts of our pedagogical ontology,
integrating the two parts of ontologies, and specifying the
properties and constraints:
&lt;rdf:RDF
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:lom="http://ltsc.ieee.org/wg12/"
&lt;owl:Ontology rdf:about=“ “&gt;
&lt;owl:imports
rdf:resource="file:/C:/BLD/Recherche/Articles/20032004/onto1-supelec.owl "/&gt;
In our example, the concepts introduced in section 2.1:
education, teaching_program, module, and
learning_resources are considered as learning objects. The
Learning_Object class is divided into two subclasses:
Atomic_Object and Composite_Object. To express the level
of granularity of the different learning objects, we used the
following data elements of the LOM: General.Structure with
value space in {atomic, collection, networked, hierarchical,
linear} and General.AggregationLevel with value space in
{1,2,3,4}. Thanks to OWL, we can easily specify that an
Atomic_Object must values General.Structure = atomic,
      </p>
      <sec id="sec-3-1">
        <title>Rdfs:Class</title>
      </sec>
      <sec id="sec-3-2">
        <title>O :LearningObject T S S</title>
        <p>D, R</p>
      </sec>
      <sec id="sec-3-3">
        <title>O :AtomicObject</title>
      </sec>
      <sec id="sec-3-4">
        <title>O :Structural Relation</title>
      </sec>
      <sec id="sec-3-5">
        <title>O :CompositeObject S S S</title>
        <p>D, R
dc :hasPart</p>
      </sec>
      <sec id="sec-3-6">
        <title>Rdf :Property S</title>
      </sec>
      <sec id="sec-3-7">
        <title>O :DataElement S S</title>
      </sec>
      <sec id="sec-3-8">
        <title>O :Semantical</title>
        <p>Relation
S
dc :isPrerequ
isite</p>
      </sec>
      <sec id="sec-3-9">
        <title>O :rephrase</title>
      </sec>
      <sec id="sec-3-10">
        <title>Schema</title>
      </sec>
      <sec id="sec-3-11">
        <title>Data</title>
        <p>lom:Educational.</p>
        <p>LearningResourceType.</p>
        <p>lom :Graph
General.AggregationLevel = 1, or that a teaching program
has value General.AggregationLevel &gt; 2.</p>
        <p>Let’s go further with the composition of learning objects
which has been evoked in sections 2.1 and 2.2.</p>
        <p>
          We define two categories of links among learning objects:
the structural and the semantical ones. The structural links
correspond to the logical structure of resources (“hasPart”
and “sequence” links) whereas the semantical links
correspond to the semantics of the associations among
resources (besides the various relations defined in Dublin
Core [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ] we establish additional semantical links such as
“summarization, reason, rephrase, negative, example” links).
The structural links are particularly important because they
participate in the reasoning mechanisms as we will see in the
next section.
        </p>
        <p>Figure 5. simplifies an example of the description of
learning resources with two levels of representation: the
schema level and the instance one. The schema level is
described thanks to an ontology, the instance level is the
knowledge base.
dc:haspart</p>
        <p>R</p>
      </sec>
      <sec id="sec-3-12">
        <title>O :Module</title>
        <p>T
&amp;r2
owl :oneOf
dc:subject
O :UML
rdf :Bag
T
owl :oneOf
O :RUP
&amp;r3
&amp;r4
dc:subject</p>
      </sec>
      <sec id="sec-3-13">
        <title>O :Teaching</title>
        <p>Program
T
dc:subject &amp;r1</p>
      </sec>
      <sec id="sec-3-14">
        <title>O :Software Engineering</title>
      </sec>
      <sec id="sec-3-15">
        <title>T : Type S : SubClass D : Domain R : Range</title>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>3. Querying the pedagogical ontology</title>
      <p>OWL-QL is a formal language and it is intended to be a
candidate standard language for query-answering among
semantic web computational agents. An OWL query
contains a query pattern that specifies a collection of OWL
sentences in which some URIrefs are considered to be
variables. These answers provide bindings of URIrefs or
literals to some of the variables in the query. For example,
we could ask “Is there any course module whose the author is
Mike?” The query can have the form: “(type ?c module)
(author ?c mike)” where each query pattern is represented by
a set of triples of the form (property subject object) and the
variables are prefixed by the character “?”. Inference
mechanisms enable to deduce new information from some
properties (symmetry, transitivity…).The OWL language
allows us to specify property characteristics, which provide a
powerful mechanism for reasoning about a property. The
property can be exploited in the query part. For example
consider the transitive property in OWL. If a property P is
specified as transitive then for any x, y and z: P(x,y) and
P(y,z) implies P(x,z). The structural relation “isPartOf” is
transitive. This allows us to define simple query for asking
about any learning object linked to a module by a direct or
indirect “isPartOf “ structural relation :
Q1 : (type ?x LearningObject) ( type ?y module) (isPartOf ?x
?y)
From the example Figure 5., finding a graph resource
illustrating a module or a course in software engineering is
expressed with an OWL-QL like language as:
Q2: (type ?c Graph)(or (isPartOf ?c module) (isPartOf ?c
course))
Finding all semantical links related to the &amp;r1 resource:
Q3 : (type ?c SemanticalRelation) (rdf:Range ?c &amp;r1)
As we illustrated in some of these examples, possibilities in
expressing various powerful queries widen from schema and
data queries, metadata, structural and semantic links, and
reasoning forms.</p>
    </sec>
    <sec id="sec-5">
      <title>4. Conclusion</title>
      <p>In the building of a pedagogical ontology at Supélec, we
distinguished two domains. The first one represented an
education’s organization. It has been enriched with the
second ontology which represented a pedagogical content
using standardized metadata (LOM). We showed the
importance of the relations among learning objects to infer
additional knowledge in the querying step. We use Protégé
2000 for our examples. We edited the entire LOM schema,
the schema and instances of our pedagogical ontology.
Protégé 2000 enabled us to detect and solve some
inconsistencies in the classes and relations and therefore to
validate our schema. It is possible to query some simple facts
and to make some inferences. We gave some examples of
queries in order to show the expressive power of a query
language exploiting the benefit of the ontologies. OWL-QL
syntax was chosen to show some examples of queries but we
consider other query formalisms. We are currently
implementing an OWL query language to test further our
pedagogical ontology.</p>
    </sec>
    <sec id="sec-6">
      <title>5. References</title>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>Dublin</given-names>
            <surname>Core Metadata Initiative</surname>
          </string-name>
          . Dublin Core Metadata Initiative. http://purl.org/dc,
          <year>1995</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>IEEE</given-names>
            <surname>Learning Technology Standards Committee</surname>
          </string-name>
          . “
          <article-title>Draft Standard for Learning Object Metadata</article-title>
          ” http://ltsc.ieee.org/wg12/index.html
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>W3C</given-names>
            <surname>Recommendation. “Resource Description</surname>
          </string-name>
          <article-title>Framework (RDF) Model and Syntax Specification”, www</article-title>
          .w3.org/TR/REC-rdf-syntax
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>T. R.</given-names>
            <surname>Gruber</surname>
          </string-name>
          . “
          <article-title>A translation approach to portable ontologies”</article-title>
          ,
          <source>Knowledge Acquisition</source>
          ,
          <volume>5</volume>
          (
          <issue>2</issue>
          ):
          <fpage>199</fpage>
          -
          <lpage>220</lpage>
          ,
          <year>1993</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>World</given-names>
            <surname>Wide Web Consortium</surname>
          </string-name>
          .
          <source>“ OWL Web Ontology Language Reference“, 10 February</source>
          <year>2004</year>
          . http://www.w3.org/TR/2004/REC-owl-ref-
          <volume>20040210</volume>
          /
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>Richard</given-names>
            <surname>Fikes</surname>
          </string-name>
          , Pat Hayes, Ian Horrocks.
          <article-title>OWL-QL: A Language for Deductive Query Answering on the Semantic Web</article-title>
          .
          <source>KSL Technical Report 03-14.</source>
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <surname>Xpetal</surname>
          </string-name>
          . http://www.langdale.com.au/styler/xpetal/
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <surname>Protégé</surname>
          </string-name>
          <year>2000</year>
          . http://protege.stanford.edu/
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>