DL is required. This requirement is the main dis-
advantage, since it generates a change of semantics
where the presence of all necessary semantic con-
structs is not guaranteed (Borgida, 1996). The latter
allows to use languages whose standard encoding is
in XML, such as SPARQL
10
and SWRL (Horrocks
et al., 2005). Since these are SW languages, their
use overcomes the loss of semantics. SPARQL, how-
ever, was born as a query language for RDF, there-
fore the OWL-DL representation of effects is prob-
lematic. Moreover, SWRL is undecidable. A solution
for this problem has been proposed in (Motik et al.,
2005), where decidability is achieved by restricting
the application of SWRL rules only to the individu-
als explicitly introduced in the ontology. This kind
of SWRL rules, called DL-safe, makes this language
the best candidate for representing OWL-S condi-
tions (Redavid et al., 2013). Let us now briefly men-
tion the features of SWRL that are relevant to our
aims. WRL extends the set of OWL axioms to in-
clude Horn-like rules in the form of implications be-
tween an antecedent (body) and consequent (head),
both consist of zero or more conjunctive atoms hav-
ing one of the following forms:
• C(x), with C an OWL class, P(x, y), with P an
OWL property,
• sameAs(x, y) or differentFrom(x, y), equivalent to
the respective OWL properties,
• builtIn(r, z
1
, . . . , z
n
), functions over primitive
datatypes.
where x, y are variables, OWL individuals or OWL
data values, and r is a built-in relation between
z
1
, . . . , z
n
(e.g., builtIn(greaterThan, z
1
, z
2
)). The in-
tended meaning can be read as: whenever the condi-
tions specified in the antecedent hold, then the con-
ditions specified in the consequent hold also. A rule
with conjunctive consequent can be transformed into
multiple rules by means of Lloyd-Topor transforma-
tions. Each rule has an atomic consequent.
2.2 Related Works
To the best of our knowledge, there are no recent pro-
posal of OWL-S tools for the OWL-S annotation. The
Prot´eg´e (Knublauch et al., 2004) plugin called OWL-
S Editor (Elenius et al., 2005) is most popular tool for
the creation of OWL-S descriptions.
The OWL-S tab can be considered as the main
point of user interaction, providing a more direct view
of the OWL-S classes and instances than what Prot´eg´e
provides by default. It contains the necessary panel
10
http://www.w3.org/TR/rdf-sparql-query
representing all instances of the main OWL-S classes:
Service, Profile, Process, and Grounding. Further-
more, it has the following
• WSDL Support to create a “skeleton” of OWL-S
description based on a preexisting WSDL file.
• IOPR description and management.
• Graphical Overview of the “forest” of relation-
ships.
• an integrated execution environment for the
OWL-S so that developers could verify that their
specifications reflect their intentions, and to try
out different possibilities before deploying their
services.
• Process Modeling to model composite processes.
A composite process is constructed from subpro-
cesses that can in turn be composite, atomic, or
simple.
This plugin is available only for an old version of
Prot´eg´e having a limited suport to OWL.
The OWL-S IDE project
11
is also concerned with
the development of OWL-S services. The OWL-S
IDE is a plugin for Eclipse
12
, which attempts to in-
tegrate the semantic markup with the programming
environment. Developers can write their Java code in
Eclipse, and run an ad hoc tool to generate an OWL-S
“skeleton” directly from the Java sources. The idea
of integrating SWSs more closely with the program-
ming environ- ment used to develop the service im-
plementations is a good one. However, Eclipse does
not support ontology editing, and there is no KB from
which to choose the domain concepts to which the
OWL-S files should relate. Furthermore, it will of-
ten be more useful to generate the semantic markup
before the Java (or other) code, as the semantic de-
scriptions can be seen as a higher level of abstraction
of the programming modules. The OWL-S IDE does
not provide any graphical visualization of services or
processes.
Another OWL-S Editor is presented in (Scicluna
et al., 2004). It is a stand-alone program, providing
WSDL import as well as a graphical editor and visu-
alization for control flow and data flow definition. It
is not integrated with an ontology editor and shares
some of the drawbacks of the OWL-S IDE.
ODE SWS is a tool for editing SWSs “at the
knowledge level” (G´omez-P´erez et al., 2004), de-
scribing services following a Problem-Solving Meth-
ods (PSMs) (Fensel and Motta, 2001) approach. The
annotation task plays a subordinate role in this envi-
11
http://projects.semwebcentral.org/projects/owl-s-ide
12
www.eclipse.org
KEOD2014-InternationalConferenceonKnowledgeEngineeringandOntologyDevelopment
132