Semantic Web-Based Information Systems: State-of-the-Art ...

Corcho & Gómez-Pérez
Figure 4 shows two transformations of the OWL functional object property usesTransportMean
to WebODE. The object property domain is the class flight, and
its range is the class airTransportMean. The figure shows two of the possible semantically
equivalent sets of expressions that can be obtained when transforming
that definition. In the first one, the object property is transformed into the ad hoc
relation usesTransportMean that holds between the concepts flight and airTransportMean,
with its maximum cardinality set to one. In the second one, the object
property is transformed into the ad hoc relation usesTransportMean, whose domain
and range is the concept Thing (the root of the ontology concept taxonomy), with
no restrictions on its cardinality, plus three formal axioms expressed in first-order
logic, the first one stating that the relation domain is flight, the second one that its
range is airTransportMean, and the third one imposing the maximum cardinality
constraint. 5
Figure 4. Examples of transformations at the pragmatic layer
Copyright © 2007, Idea Group Inc. Copying or distributing in print or electronic forms without written permission of
Idea Group Inc. is prohibited.