Information Technology Reference
In-Depth Information
a simple ontology about family relationships is used. The query basically asks
for all women who are known to have a husband. Although it is not explicitly
declared that Marge has a husband named Homer, the reasoner can infer this
through the inverseOf declaration of “hasWife/hasHusband”.
Fig. 10.2. The WSML online reasoning service
In the spirit of a service-oriented architecture both services are not only
accessible via a HTML interface, but also using Web service technology 8 .
10.2 Design Tools
The creation and editing of precise formal descriptions is a cumbersome task.
As the number of specifications increases, tool support is essential. The frame-
work provided by design tools is dedicated to easing this task. All design tools
at the time of writing of this topic are based on the Eclipse platform. This has
a number of advantages; the most striking one is that the platform allows one
to combine any individual tool in a way that best suits a particular task. We
first introduce the Eclipse platform and then elaborate on the various WSMO
design tools.
10.2.1 The Eclipse Platform
The Eclipse 9 framework is an open source development led by IBM. It is
a framework for deploying graphical tools using the Java programming lan-
guage. A common misconception is that Eclipse is a Java editing environment,
8 The respective WSDL definitions can be found at http://tools.deri.org/
services .
9 http://www.eclipse.org .
Search WWH ::




Custom Search