Proceedings

3.5. Defining properties for classes (including its characteristics)
Since a subclass inherits all super class properties, we insisted on defining properties
at the level of base classes. In a first phase, we defined the properties of the object
type, i.e. those serving in the correlation of individuals come through different classes.
So, for example, Enterprise class is correlated of Offer and States classes through the
properties hasOffer and hasState. To allow inference and in the opposite direction, we
proceeded to define inverse properties (inverseOf) those declared previously, i.e.
offerOf and stateOf. Graphically, links are represented by Protégé as in the Figure 2.
In OWL, disclaimers second inverse properties (for example, hasOffer and offerOf)
are presented below:
hasOffer
offerOf
Figure 2. Links between classes
Of course, for each class we defined and the main properties of date type: eName,
eAddress (with sub property uri), eCity, eCountry for Enterprise, oName and ōdate
for Offer. And, limit to only one example, we provide the code for the property OWL
eAddress (destined for address postal record) and eUri (WEB address) of the
Enterprise class:
~ 255 ~