Get Adobe Flash player
The official site of the project's partner

postheadericon OB4-1

Syntax of languages for ontology description, and  methods for automatic reasoning and planning

A common representation of the environment is necessary to achieve semantic interoperability in open systems consisting of  heterogeneous services. This very representation is called ontology. Also a common language describing this representation is needed to define service interfaces, and to specify tasks to be performed in the system. 

The syntax of the description language augmented with some basic axioms constitutes a logic where an automatic reasoning and planning can be accomplished. The reasoning and planning are needed to task  realizations. The syntax must be generic and independent of a particular domain ontology, so that it can be used to create languages describing a large class of ontologies.

There are two commonly accepted standards for service description, that is, WSDL  (Web Service Description Language) and OWL-S (Web Ontology Language for Services). In the research area OB4, an additional description language (called Entish) is proposed. The language does not describes services themselves; it describes local situations in the service environment. By means of these situations the precondition of service execution as well as the effect of the execution can be specified.   The precondition and the effect are situation outside the service. The internal state of the service is  invisible for a client, so that the service is considered (by a client) as a “black box”. Form the client point of view, only the precondition and the effect of the service are essential. This closely corresponds to the basic postulates of the SOA paradigm.

As the result of considering three complementary description languages, i.e., WSDL, OWL-S and Entish, a service interface consists of the three parts corresponding to these three description languages. However, reasoning and planning are possible only in  OWL-S and Entish because they are formal logic languages.

The work on the syntax is advanced to some extent, and is based on past research done by the team realizing the task OB4-1.  The main goal of the task is to design and implement the syntax of the description language, tools for the language processing, and finally the methods for automatic reasoning for matching an elementary task against service interfaces that can perform the task,  and for planning needed to decompose complex tasks into subtask, that can be performed by single services available in the system.

Created: Friday, 28 May 2010 11:25
Last Updated: Sunday, 28 September 2014 15:26