<!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>Pizza &amp; Wine: The Need for Educational Tools for Foundational Ontologies</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Stefan SCHULZ</string-name>
          <email>stefan.schulz@medunigraz.at</email>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Martin BOEKER</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>José A.VERA RAMOS</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Ludger JANSEN</string-name>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Faculty of Biology, University of Murcia</institution>
          ,
          <country country="ES">Spain</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Institute for Medical Biometry and Statistics, Faculty of Medicine and Medical Center - University of Freiburg</institution>
          ,
          <country country="DE">Germany</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Institute for Medical Informatics, Statistics and Documentation, Medical University of Graz</institution>
          ,
          <country country="AT">Austria</country>
        </aff>
        <aff id="aff3">
          <label>3</label>
          <institution>Institute of Philosophy, University of Rostock</institution>
          ,
          <country country="DE">Germany</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>The educational ontologies PIZZA and WINE&amp;FOOD have been widely used to teach ontology methods and tools. However, the two ontologies have remained largely unchanged for many years, despite increasing awareness of foundational principles for good ontology design (GoodOD). Recognizing that the two ontologies are lagging behind such principles, we analysed and re-designed them by strictly adhering to established upper-level ontology constraints provided by the foundation ontology BioTopLite2 (BTL2). As a result, the redesign required clarifying the ontological commitment of the PIZZA and WINE&amp;FOOD classes by assigning them to top-level classes. We expect the ongoing redesign effort to yield a harmonized PIZZA&amp;WINE&amp;FOOD ontology. The redesign reflects the change in requirements for educational ontologies, which have now to take into account the privileged role that should be granted to foundational ontologies in Applied Ontology education.</p>
      </abstract>
      <kwd-group>
        <kwd />
        <kwd>Foundational Ontologies</kwd>
        <kwd>Educational Ontologies</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        Teaching ontology to a broad variety of users requires a representational domain that is
both intuitively understandable and complex enough to demonstrate all important
features of ontology languages and editors. This is the reason why the ontologies
WINE&amp;FOOD and PIZZA have found broad acceptance in educational settings which
focus on Description Logics (DLs) and the Semantic Web. WINE&amp;FOOD was
originally developed for teaching CLASSIC [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], an early dialect of description logics
(DL), and was later transformed into Protégé Frames, for which ontology-oriented
tutorials existed [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. In the last stage of its current development, it was transformed into
OWL-DL, and examples taken from WINE&amp;FOOD were used to explain syntax and
semantics in the first OWL-DL guide [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]. PIZZA was developed for training courses at
the University of Manchester with the goal to teach the Web Ontology Language
(OWL) and the ontology editor Protégé [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ], where examples from PIZZA are used in
its printed documentation. The two ontologies are, hence, primarily tailored to
demonstrate the power of DL representation and reasoning (set theory, restrictions and
quantifications), and to acquaint the students with Protégé. However, both ontologies
have not been updated for years, and they have not kept up with more recent tendencies
in ontology development, such as the good practice in the new technical discipline of
Applied Ontology [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] to employ principles of the philosophical discipline of Ontology
when engineering ontology artefacts. Both educational ontologies that are under
scrutiny here are agnostic regarding ontological upper-levels and naming conventions,
as well as regarding the de facto adoption of the language profiles OWL-EL and
OWLDL as the ones supported by the most popular DL reasoners.
      </p>
      <p>The objective of this paper is to evaluate the two educational ontologies on the
background of these new developments. We first analyse how PIZZA and
WINE&amp;FOOD, in their current state, are positioned regarding quality criteria for good
ontology design. Second, we test whether they can be redesigned to meet these criteria
by aligning them with a pre-existing foundational ontology. Finally, we investigate
whether the redesigned ontologies support two learning objectives, viz. (i) mastering
OWL and description logics and (ii) understanding foundational ontologies.</p>
      <p>This paper primarily describes the alignment of these two ontologies with a
foundational ontology. But besides giving an insight into redesign aspects (which could
be an educational goal per se), we will also discuss the goals of ontology education,
possible methods, the role of foundational ontologies in this process and the usefulness
of PIZZA and WINE&amp;FOOD when seen in this light.
2.</p>
    </sec>
    <sec id="sec-2">
      <title>Materials</title>
      <p>We use the PIZZA ontology version 2.0.02 and the WINE&amp;FOOD ontology, which is
provided as an annex to the 2004 OWL Web Ontology guide.3 “P” is used as
namespace prefix for PIZZA, “W” for WINE&amp;FOOD. PIZZA contains 100 classes and
five individuals plus five object properties with three corresponding inverses (Table 1).
Most of its content is under Food, which branches into the three disjoint classes Pizza,</p>
      <sec id="sec-2-1">
        <title>PizzaBase, and PizzaTopping. Pizza has subclasses like: CheeseyPizza, MeatyPizza,</title>
        <p>InterestingPizza, VegetarianPizza, etc. These subclasses of Pizza classes are subsumed
under the helper class NamedPizza. The class PizzaTopping has subclasses like
CheeseTopping, FishTopping, MeatTopping, etc. All toppings are primitive classes
apart from SpicyTopping and VegetarianTopping.</p>
        <p>Axioms describe the composition of pizzas according to their base, toppings
and country of origin of the recipe. Only the more general classes of the Pizza ontology
are fully defined, e.g.:</p>
        <p>P:VegetarianPizza equivalentTo P:Pizza and not (P:hasTopping some P:MeatTopping)
and not (P:hasTopping some P:FishTopping)</p>
        <p>
          PIZZA uses role hierarchies, nominals, inverse roles, unqualified number
restrictions and data types [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ]. The ontology includes six individuals, five of which are
used in the extensional definition of the class P:Country. Most classes have English
labels as annotation properties, according to the W3C standard [
          <xref ref-type="bibr" rid="ref3">3</xref>
          ] and many also
Brazilian Portuguese ones. The annotation property ‘comment’ is mostly left blank, in
        </p>
        <sec id="sec-2-1-1">
          <title>2 https://protege.stanford.edu/ontologies/pizza/pizza.owl</title>
          <p>3 https://www.w3.org/TR/owl-guide/wine.rdf
some cases it repeats the formal definition of a class; in other cases it has educational
content.</p>
          <p>For WINE&amp;FOOD we use the namespace prefix “W”. The ontology contains 138
classes, 16 object properties, one data type property and 206 individuals (e.g. with wine
colours such as W:Red, W:Rose and W:White as individuals). The main classes are:</p>
        </sec>
      </sec>
      <sec id="sec-2-2">
        <title>W:Wine, W:Region, W:Vintage, W:VintageYear, W:Winery, and W:WineDescriptor</title>
        <p>with the subclasses W:WineColor and W:WineTaste. Table 2 shows the object
properties. There is one datatype property, W:yearValue.
3.</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Methods</title>
      <p>
        We evaluate the ontologies in the light of the quality criteria stated in the GoodOD
guideline for good ontology design of OWL ontologies with Protégé [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. On the
assumption that usability, maintainability and sustainable evolution of ontologies are
important desiderata, the GoodOD guideline and its recommendations aim at
optimising user-friendliness and interoperability of DL-based ontologies. GoodOD
takes into account established best practice rules in ontology design [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ] and class
labelling [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ], and reflects good practice of many previously published OWL ontologies.
For the present study, we use the following quality requirements in particular:
● DL semantics should not be compromised: without exception, class-level
axioms must hold true for all members of a class.
● There should be a robust and interoperable top-level ontology whose classes
cover the domain exhaustively. For better usability, the top level is designed in
a way that all domain classes can be uniquely attributed to one top-level class.
● Naming and annotation conventions should be consistently followed.
● Classes should always correspond to ‘repeatable’ features of the domain. E.g.,
the class P:Pizza can be instantiated by many particular pizzas; and P:Spicy is
repeated in every particular spiciness.
● The division between individuals and classes should reflect the ontological or
set-theoretic interpretation of ontology classes and not be motivated by mere
subjective criteria for particular use cases.
● The object properties provided by the upper level ontology should be largely
sufficient for the domain ontology. For new predicates, preference should be
given to express them by means of process classes rather than as new ad hoc
object properties (reification).
● The interpretation of the meaning of classes and object properties should be
clear and understandable.
      </p>
      <p>We checked the two ontologies against these quality criteria (Sect. 4.1), from
which we then derived principles for redesign. The two ontologies have then been
redesigned accordingly while preserving all entities (Sect. 4.2). The resulting artefacts
are then assessed against the questions stated in section 1 (Sect. 5).</p>
    </sec>
    <sec id="sec-4">
      <title>Results</title>
      <sec id="sec-4-1">
        <title>Quality analysis</title>
        <p>A positive point of PIZZA is the availability of an up-to-date, extensive and
didactically optimized tutorial. We found, however, the following shortcomings:
In the WINE&amp;FOOD ontology, we found the following shortcomings:
●
●
●
●
●
●
●
●
●
●
●
●
●
●</p>
        <sec id="sec-4-1-1">
          <title>No reference to any foundational ontology. The top-level bipartition into the classes labelled “Domain concepts” and “Value partitions” seems to be purely navigational, its ontological significance remains unclear.</title>
          <p>
            Use of non-rigid classes [
            <xref ref-type="bibr" rid="ref10">10</xref>
            ], e.g. P:Food.
          </p>
          <p>Extensional class definitions: P:Country defined as having exactly five
members, which is objectively wrong.</p>
          <p>Idiosyncratic object properties, with their meaning restricted to the Pizza
domain, partly unclear such as P:hasCountryOfOrigin.</p>
          <p>Naming lacks precision, e.g. P:TabascoPepperSauce is surprisingly a
descendent of P:PizzaTopping, because it means topping with tabasco pepper.</p>
        </sec>
        <sec id="sec-4-1-2">
          <title>No reference to any foundational ontology.</title>
          <p>Very domain-specific top-level partition into consumable and
nonconsumables, regions, vintages, wineries and wine descriptors.</p>
          <p>Idiosyncratic object properties: e.g. highly domain-specific as in PIZZA.
Numerous potentially ambiguous labels, e.g. W:Loire intended to mean wine
from the Loire region and not the river Loire.</p>
          <p>Unprincipled instance/class division: W:Chianti is a class, whereas
W:ChiantiClassico is an individual.</p>
          <p>Extensional definitions, e.g. W:WineSugar defined as {W:Dry, W:OffDry,
W:Sweet}.</p>
          <p>The ontology is completely devoid of metadata.</p>
          <p>
            In the tutorial [
            <xref ref-type="bibr" rid="ref2">2</xref>
            ], numerous references still point to the old Protégé frames
version, using frame terminology, like “concept”, “slot” etc.
4.2.
          </p>
        </sec>
      </sec>
      <sec id="sec-4-2">
        <title>Redesign</title>
        <p>
          Applying the recommendations of the GoodOD guideline, we refined the two
educational ontologies into the re-modelled counterparts PIZZA+ and WINE&amp;FOOD+,
with the namespace identifiers “P+” and “W+”. The new ontologies import the
upperlevel ontology BioTopLite2 (BTL2, namespace “btl2”) [
          <xref ref-type="bibr" rid="ref11">11</xref>
          ]. Accordingly, in PIZZA+,
        </p>
      </sec>
      <sec id="sec-4-3">
        <title>P+:Food is a subclass of btl2:PolyMolecularCompositeEntity. Since an instance of this</title>
        <p>
          class is required to have clear unity and identity criteria [
          <xref ref-type="bibr" rid="ref10">10</xref>
          ], we changed its name to
“FoodItem”. The class is subclass of the top-level class btl2:MaterialObject, defined as
having one mass and one volume at a time. Also, the object properties of BTL2 are
intended to be exhaustive. In accordance with the GoodOD criteria we strived to fully
express the meaning of the PIZZA+ and WINE&amp;FOOD+ axioms by using exclusively
BTL2 object properties.
4.2.1.
        </p>
      </sec>
      <sec id="sec-4-4">
        <title>PIZZA+</title>
        <p>The re-implementation of PIZZA under BTL2 required numerous changes. First, we
replaced all ontology-specific object properties by BTL2 object properties, e.g.</p>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>P:hasTopping by btl2:hasComponentPart, a non-transitive subproperty of</title>
      <p>btl2:hasPart, which relates components with a compound. Components strictly
partition the compound, and the compound is the mereological sum of its components.
A loss of some component affects the integrity of the compound and can change the
type it instantiates; e.g., it can change from a complete to a defective organism. The
relation btl2:isBearerOf (inverse: btl2:inheresIn) relates realizable entities (qualities,
roles, functions, dispositions, or information objects) with the physical entity they
depend on. In BTL2, general localization is expressed by the object property
btl2:includes (inverse btl2:isIncludedIn). It is transitive and relates a place with an
entity which occurs, inheres, or is part of it. E.g., the original PIZZA included the
following closure axioms:</p>
      <p>P:AmericanPizza subClassOf P:NamedPizza and P:hasTopping only</p>
      <p>(P:MozzarellaTopping or P:PeperoniSausageTopping or P:TomatoTopping)
P:AmericanPizza subClassOf P:NamedPizza and</p>
      <p>P:hasTopping some P:MozzarellaTopping and
P:hasTopping some P:PeperoniSausageTopping and</p>
      <p>P:hasTopping some P:TomatoTopping
These axioms were transformed into PIZZA+ axioms by using only BTL2 object
properties:</p>
      <p>P+:AmericanPizza subClassOf P+:NamedPizza and
(btl2:hasComponentPart only (P+:MozzarellaTopping or
P+:PeperoniSausageTopping or P+:TomatoTopping or P+:PizzaBase)) and
(btl2:hasComponentPart some P+:TomatoTopping) and
(btl2:hasComponentPart some P+:MozzarellaTopping) and
(btl2:hasComponentPart some P+:PeperoniSausageTopping)
We had to add some classes that were not included in the original ontologies in order to
replace old ad hoc object properties by more precise constructs. The object property
P:hasCountryOfOrigin had remained undefined in PIZZA. Common sense suggests
that P:hasCountryOfOrigin is not meant to relate an individual pizza with the country
where it was produced. In contrast to the wine and fruit, pizzas are not shipped around
between countries. Therefore, we assume that an P+:AmericanPizza is a P+:Pizza that
has been produced according to a recipe which was created in America. This leads us to
create a class P+:Recipe, which is a btl2:Plan and therefore a btl2:InformationObject.
btl2:Plan represents a thing in which several targeted steps (processes) are to be
performed to reach a planned goal. A btl2:Plan can only be realized by some
btl2:Process. It is a piece of information that exists independently of a particular
material carrier. P+:Recipe has the subclass P+:PizzaRecipe with following definition:</p>
      <sec id="sec-5-1">
        <title>P+:PizzaRecipe isEquivalentTo P+:Recipe and (btl2:hasRealization only (btl2:Action and (btl2:hasOutcome some P+:Pizza)))</title>
        <p>
          In BTL2 an action is a process that has an agent [
          <xref ref-type="bibr" rid="ref12">12</xref>
          ]. Preparing food or creating a
recipe should therefore be placed under the class btl2:Action:
        </p>
        <p>btl2:Action isEquivalentTo btl2:Process and btl2:hasAgent some owl:Thing
Accordingly:</p>
      </sec>
      <sec id="sec-5-2">
        <title>P+:PreparingFoodAction subClassOf btl2:Action and btl2:hasOutcome some P+:Food P+:PreparingPizza EquivalentTo</title>
      </sec>
      <sec id="sec-5-3">
        <title>P+:PreparingFoodAction and btl2:hasOutcome some P+:Pizza</title>
      </sec>
      <sec id="sec-5-4">
        <title>P+:AmericanPizzaRecipe EquivalentTo P+:PizzaRecipe and (btl2:isOutcomeOf some</title>
        <p>(P+:CreatingRecipe and (btl2:isIncludedIn value P+:NorthAmerica)))</p>
        <sec id="sec-5-4-1">
          <title>By these means we can redefine P+:AmericanPizza as follows:</title>
          <p>P+:AmericanPizza EquivalentTo P+:Pizza and
btl2:hasComponentPart only (P+:MozzarellaTopping or
P+:PeperoniSausageTopping or P+:PizzaBase or P+:TomatoTopping) and
btl2:hasComponentPart some P+:MozzarellaTopping and
btl2:hasComponentPart some P+:PeperoniSausageTopping and
btl2:hasComponentPart some P+:TomatoTopping and
btl2:isOutcomeOf some
(P+:PreparingPizza and (btl2:isRealizationOf some P+:AmericanPizzaRecipe))
The class P+:Spiciness in PIZZA+ describes a value partition for the classes P+:Hot,</p>
        </sec>
      </sec>
      <sec id="sec-5-5">
        <title>P+:Medium or P+:Mild. It is a btl2:ObjectQuality with the superclass btl2:Quality.</title>
        <p>4.2.2</p>
      </sec>
      <sec id="sec-5-6">
        <title>WINE&amp;FOOD+</title>
        <p>To redesign WINE&amp;FOOD under BTL2, we aligned its class structure to BTL2 and
replaced the WINE&amp;FOOD object properties by BTL2 ones. E.g., the relations that
indicate the qualities of a wine, viz. W:hasBody, W:hasColor, W:hasFlavor and
W:hasSugar (in the sense of having a sweet flavour) were replaced with
btl2:isBearerOf. Furthermore, new labels were added to several
W+:AnimalOrganismPart classes to avoid ambiguity in an out-of-context situation. The
class W+:ConsumableThing with the subclasses W+:EdibleThing, W+:Meal,</p>
      </sec>
      <sec id="sec-5-7">
        <title>W+:MealCourse, W+:PotableLiquid were defined as subclasses of</title>
        <p>btl2:PolyMolecularCompositeEntity.</p>
        <p>In WINE&amp;FOOD some classes were subsumed by W:EdibleThing, e.g., W:Fowl,
W:Meat and W:Seafood. The re-modelling requires changes in view of the
classification, e.g., the classes W+:Fowl, W+:Meat and W+:Seafood are now subclasses
of both W+:AnimalOrganismPart and W+:EdibleThing, the latter being defined as
follows:</p>
        <p>W+:EdibleThing subClassOf W+:ConsumableThing and
(btl2:isBearerOf some (btl2:Disposition and
(btl2:hasRealization only W+:BeingEatenByHumans)))
In order to distinguish between countable and mass entities, W:Fruit was re-labelled
W+:FruitUnit to denote a countable thing; also its classification was changed:</p>
        <sec id="sec-5-7-1">
          <title>Not all fruits are edible, therefore we added:</title>
          <p>W+:FruitUnit subClassOf btl2:PolyMolecularCompositeEntity
W+:EdibleFruitUnit equivalentTo W+:EdibleThing and W+:FruitUnit
W+:NonSweetFruitUnit subClassOf W+:EdibleFruitUnit
W+:SweetFruitUnit subClassOf W+:EdibleFruitUnit</p>
          <p>W+:MixedFruitUnit subClassOf W+:EdibleFruitUnit</p>
        </sec>
      </sec>
      <sec id="sec-5-8">
        <title>W:WineDescriptor is re-modelled as subclass of btl2:Quality: W+:WineDescriptor with the subclasses W+:WineColor and W+:WineTaste :</title>
      </sec>
      <sec id="sec-5-9">
        <title>W+:WineDescriptor subclassOf btl2:inheresIn some W+:Wine</title>
      </sec>
      <sec id="sec-5-10">
        <title>W+:WineDescriptor subclassOf btl2:inheresIn only W+:Wine</title>
        <p>The object property W:madeFromGrape was dropped and reified by a new subclass
of btl2:Action, viz. W+:WineMaking:, a class representing the process of which wine is
an outcome:</p>
        <p>W+:WineMaking isEquivalentTo btl2:Action and</p>
        <p>(btl2:hasOutcome some W+:Wine) and btl2:hasPatient some W+:Grape)</p>
      </sec>
      <sec id="sec-5-11">
        <title>W+:Wine subClassOf (btl2:isOutcomeOf some W+:WineMaking)</title>
        <p>The meaning of W:madeFromFruit was represented</p>
      </sec>
      <sec id="sec-5-12">
        <title>W+:FruitJuiceMaking, defined as a subclass of btl2:Action:</title>
        <p>similarly
by
W+:FruitJuiceMaking isEquivalentTo btl2:Action and</p>
        <p>(btl2:hasOutcome some W+:FruitJuice) and (btl2:hasPatient some W+:Fruit)
Hence:</p>
        <p>W+:FruitJuice isEquivalentTo W+:PotableLiquid and</p>
        <p>btl2:isOutcomeOf some W+:FruitJuiceMaking
Individuals like W:CabernetFrancGrape, W:GamayGrape, W:MalbecGrape,
etc. are now typed as W+:WineGrape, whereas geographical regions are represented as
classes like W+:AlsaceRegion, W+:AustralianRegion. The underlying definitions are of
the following type:</p>
        <p>W+:AlsaceRegion isEquivalentTo W+:GeographicRegion and</p>
        <p>btl2:isIncludedIn value W+:Alsace
Wine attributes like W:Red, W:Rose, W:Full, W:Delicate, W:Dry, etc. are
classes in W+ and descendants of btl2:Quality.</p>
      </sec>
    </sec>
    <sec id="sec-6">
      <title>Discussion</title>
      <p>The first aim of this paper was to evaluate the two popular educational ontologies
PIZZA and WINE&amp;FOOD with respect to common quality criteria. We have found
that the two ontologies were not designed for interoperability and did not make any
effort to align their classes with any foundational ontology.</p>
      <p>
        Whereas the PIZZA creators took care in good documentation, which partly
elucidates the design decisions taken, WINE&amp;FOOD reflects a pure computer-science
approach towards ontologies as knowledge-representation devices for certain purposes,
reflecting the notion of ontologies as “conceptualisations” [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ], which characterised the
discourse in the 1990s. This is concretised by ontology specialists’ recommendation
that the decision “class or instance” is just a matter of convenience [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ], to be driven by
what the application requires. This postmodern flavour was then heavily attacked by
proponents of “reality representation” like Barry Smith [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ], who also were fierce
advocates of foundational ontologies. In the meanwhile, this controversy has cooled
down, mainly because interoperability-driven standardisation gained more importance
in Applied Ontology, which prohibits overly idiosyncratic approaches anyway. The
creation of BTL2 and the development of GoodOD were driven by the pragmatic
motivation to simplify ontology construction, predominantly in the realm of biology
and medicine. This is also the reason for its underlying naïve realism, which set it in
close proximity to the Basic Formal Ontology (BFO) and the OBO Relation Ontology
(RO).
      </p>
      <p>Second, though PIZZA and WINE&amp;FOOD fared badly in this evaluation, we
found that they can be re-designed such that their content is aligned with a pre-existing
foundational ontology. Our redesigned ontologies demonstrate a successful proof of
concept for such a redesign. In particular, the inventory of object properties contained
in BTL2 proved to be sufficient for the domains covered. Idiosyncratic object
properties in the source ontologies could be either replaced by existing BTL2 ones, or
reconstructed by introducing reifying process classes. A considerable benefit of the
avoidance of introducing new primitive object properties is the need to re-think the
meaning of ambiguous and possibly fuzzy predicates like hasCountryOfOrigin, an
object property that has turned out to have different meanings when applied to pizzas
and to wines, respectively, which requires a thorough elucidation exceeding the
expressivity of a single binary OWL object property.</p>
      <p>
        Thirdly, we intended to compare the educational value of the original and
redesigned ontologies. PIZZA and WINE&amp;FOOD describe material things, their
constitution, qualities and processes they are involved in. In the terms of Karl Popper
[
        <xref ref-type="bibr" rid="ref15">15</xref>
        ], these are “first-world” entities for which there is a large consensus that a realistic
approach is adequate. Due to everyone’s familiarity with food, this subject matter
constitutes an easy and straightforward entry point to ontology engineering for a broad
range of learners. Domains that require to model mental, social, or legal entities would
spark more controversy about upper-level divisions, provide less clear criteria for
distinguishing between individuals and repeatables, and would therefore not be well
served by a foundational ontology like BTL2.
      </p>
      <p>Regarding the two main learning objectives of (i) mastering OWL and description
logics, on the one hand, and (ii) understanding foundational ontologies, on the other
hand, the answers are clearly split. In the original Manchester tutorial for PIZZA, the
focus was set (besides developing skills in using Protégé) on understanding the whole
breadth of description logics including all technical intricacies connected with
automated reasoning. This scope is clearly narrowed down by our redesigned PIZZA
and WINE&amp;FOOD ontologies, because the very point of using a highly constraining
foundational ontology like BTL2 is to limit modellers’ degrees of freedom. This means
for instance, that the manipulation of the “R-Box”, i.e., the creation and customisation
of object properties, with their algebraic features, hierarchies, domain and range
restrictions and CGIs is no longer admissible (nor necessary, as long as the premise
holds that all necessary ontological relations are already provided by the upper-level
ontology).</p>
      <p>On the other hand, with PIZZA+ and WINE&amp;FOOD+ the ontology engineers’
curriculum now includes an in-depth understanding of a foundational ontology. This
prevents naïve modelling decisions such as introducing ad hoc primitives like
hasCountryOfOrigin. An ontologically proper representation of such predications is,
however, not trivial and requires at least as many in-depth skills and knowledge in
Formal Ontology as logic knowledge is needed for mastering the syntax and semantics
of the representational language.</p>
      <p>Taken singly as well in combination, these ontologies can be applied for
educational purposes, accompanied by a new tutorial which follows a clear educational
strategy: After an introduction to tools (editor, reasoner), language, upper-level
ontology and naming conventions, the modelling tasks are guided by textual
characterisations of the entities and their relationships. This could be performed in two
parallel groups, one working on the pizza domain and one working on the wine
domain. The curriculum can then be concluded by a fusion of these two ontologies,
demonstrating the interoperability of the two ontologies and thus proving the value of
principled ontology design for interoperability of separately created ontology artefacts.
6.</p>
    </sec>
    <sec id="sec-7">
      <title>Conclusion</title>
      <p>The educational ontologies PIZZA and WINE&amp;FOOD have been widely used to teach
ontology methods and tools. However, the two ontologies have remained largely
unchanged for many years, despite increasing awareness of foundational principles
(GoodOD) for good ontology design. Recognizing that the two popular educational
ontologies PIZZA and WINE&amp;FOOD were lagging behind design principles and do
not commit to any foundational ontology, we analyzed and re-designed them by
adhering to upper level ontology constraints provided by the foundation ontology
BTL2. As a result, the redesign required clarifying the ontological commitment of the
PIZZA and WINE&amp;FOOD classes by assigning them to top-level ontology classes.
The ongoing redesign effort4 is expected to yield a harmonized combined
PIZZA&amp;WINE&amp;FOOD+ ontology.</p>
      <p>As much as we acknowledge the value of educational ontologies, especially of the
well-documented PIZZA, we are convinced that the education of ontologists must not
be limited to training in the use of tools and the understanding of their logical
foundations. Foundational ontologies ought to play a central role in the future of
Applied Ontology as an engineering discipline; and this needs to be addressed by
appropriate educational ontologies. The redesigned PIZZA+ and WINE&amp;FOOD+ might
be a first step in this direction. A detailed investigation of the reasoning results of the
original and redesigned ontologies, their assessment against competency questions as
well as benchmarking with common DL reasoners will be described elsewhere.</p>
      <sec id="sec-7-1">
        <title>4 Documented in the GitHub repository: http://purl.org/biotop</title>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>R.J.</given-names>
            <surname>Brachman</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.L.</given-names>
            <surname>McGuinness</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.F.</given-names>
            <surname>Patel-Schneider</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.A.</given-names>
            <surname>Resnick</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Borgida</surname>
          </string-name>
          ,
          <article-title>Living with CLASSIC: When and how to use a KL-ONE-like language, Principles of semantic networks (</article-title>
          <year>1991</year>
          ),
          <fpage>401</fpage>
          -
          <lpage>456</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>N.F.</given-names>
            <surname>Noy</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.L.</given-names>
            <surname>McGuinness</surname>
          </string-name>
          ,
          <article-title>Ontology development 101: A guide to creating your first ontology</article-title>
          ,
          <source>Stanford knowledge systems laboratory technical report KSL-01-05; Stanford medical informatics technical report SMI-2001-0880</source>
          ,
          <year>2001</year>
          . http://www-ksl.stanford.edu/people/dlm/papers/ontologytutorial-noy
          <article-title>-mcguinness-abstract</article-title>
          .
          <source>html.</source>
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>M.K.</given-names>
            <surname>Smith</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Welty</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.L.</given-names>
            <surname>McGuinness</surname>
          </string-name>
          ,
          <string-name>
            <surname>OWL</surname>
          </string-name>
          <article-title>Web ontology language guide</article-title>
          ,
          <source>W3C Recommendation, 10 February</source>
          <year>2004</year>
          . http://www.w3.org/TR/owl-guide/.
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>A.</given-names>
            <surname>Rector</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Drummond</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Horridge</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Rogers</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Knublauch</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Stevens</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Wang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Wroe</surname>
          </string-name>
          , OWL Pizzas:
          <article-title>Practical experience of teaching OWL-DL: common errors &amp; common patterns</article-title>
          ,
          <source>Lecture Notes in Computer Science</source>
          <volume>3257</volume>
          (
          <year>2004</year>
          ),
          <fpage>63</fpage>
          -
          <lpage>81</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>B.</given-names>
            <surname>Smith</surname>
          </string-name>
          , Applied ontology:
          <article-title>A new discipline is born</article-title>
          ,
          <source>Philosophy Today 12. 29</source>
          (
          <year>1998</year>
          ),
          <fpage>5</fpage>
          -
          <lpage>6</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>F.</given-names>
            <surname>Baader</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Calvanese</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.L.</given-names>
            <surname>McGuinness</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Nardi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.F.</given-names>
            <surname>Patel-Schneider</surname>
          </string-name>
          ,
          <source>The Description Logic Handbook: Theory, Implementation, and Applications, 2nd Edition</source>
          , Cambridge University Press,
          <year>2007</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>S.</given-names>
            <surname>Schulz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Seddig-Raufie</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Grewe</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Röhl</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Schober</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Boeker</surname>
          </string-name>
          ,
          <string-name>
            <surname>L. Jansen,</surname>
          </string-name>
          <article-title>Guideline on Developing Good Ontologies in the Biomedical Domain with Description Logics</article-title>
          , University Medical Center, Freiburg,
          <year>2012</year>
          . http://www.purl.org/goodod/guideline
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>L.</given-names>
            <surname>Jansen</surname>
          </string-name>
          ,
          <string-name>
            <surname>S. Schulz,</surname>
          </string-name>
          <article-title>The ten commandments of ontological engineering</article-title>
          . H.
          <string-name>
            <surname>Herre</surname>
          </string-name>
          et al.
          <source>Ontologies in Biomedicine and the Life Sciences (OBML</source>
          <year>2011</year>
          ),
          <year>2011</year>
          /01:
          <string-name>
            <surname>IMISE-Reports</surname>
          </string-name>
          , Universität Leipzig,
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>D.</given-names>
            <surname>Schober</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Smith</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.E.</given-names>
            <surname>Lewis</surname>
          </string-name>
          ,
          <string-name>
            <given-names>W.</given-names>
            <surname>Kusnierczyk</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Lomax</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Mungall</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.F.</given-names>
            <surname>Taylor</surname>
          </string-name>
          , P.
          <string-name>
            <surname>Rocca-Serra</surname>
            ,
            <given-names>S.A.</given-names>
          </string-name>
          <string-name>
            <surname>Sansone</surname>
          </string-name>
          ,
          <article-title>Survey-based naming conventions for use in OBO Foundry ontology development</article-title>
          ,
          <source>BMC Bioinformatics 10.1</source>
          (
          <issue>2011</issue>
          ),
          <fpage>125</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>N.</given-names>
            <surname>Guarino</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.A.</given-names>
            <surname>Welty</surname>
          </string-name>
          ,
          <article-title>An Overview of OntoClean</article-title>
          . In S. Staab and R. Studer (eds) Handbook on Ontologies,
          <volume>201</volume>
          -
          <fpage>220</fpage>
          . Springer, Berlin/Heidelberg,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>S.</given-names>
            <surname>Schulz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Boeker</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Martinez-Costa</surname>
          </string-name>
          ,
          <article-title>The BioTop family of upper level ontological resources for biomedicine</article-title>
          ,
          <source>Studies of Health Technology and Informatics</source>
          <volume>235</volume>
          (
          <year>2017</year>
          ),
          <fpage>441</fpage>
          -
          <lpage>445</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>D.</given-names>
            <surname>Seddig-Raufie</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Jansen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Schober</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Boeker</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Grewe</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Schulz</surname>
          </string-name>
          ,
          <article-title>Proposed actions are no actions: re-modeling an ontology design pattern with a realist top-level ontology</article-title>
          ,
          <source>Journal of Biomedical Semantics 3 Suppl. 2</source>
          (
          <issue>2012</issue>
          )
          <article-title>S2</article-title>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>T.R.</given-names>
            <surname>Gruber</surname>
          </string-name>
          ,
          <article-title>Towards principles for the design of ontologies used for knowledge sharing</article-title>
          , In N. Guarino and R. Poli, editors,
          <source>Formal Ontology in Conceptual Analysis and Knowledge Representation</source>
          . Kluwer Academic Publishers, Dordrecht,
          <year>1993</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <given-names>B.</given-names>
            <surname>Smith</surname>
          </string-name>
          ,
          <article-title>Beyond concepts: ontology as reality representation</article-title>
          ,
          <source>Proceedings of the third international conference on formal ontology in information systems (FOIS</source>
          <year>2004</year>
          ),
          <fpage>73</fpage>
          -
          <lpage>84</lpage>
          . IOS Press, Amsterdam,
          <year>2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <given-names>K.</given-names>
            <surname>Popper</surname>
          </string-name>
          , Three worlds,
          <source>The Tanner lecture on human values, Univ. Michigan</source>
          ,
          <year>1978</year>
          . http://tannerlectures.utah.edu/_documents/a-to-z/p/popper80.pdf.
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>