| Title: |
A Web Service Reasoner for the Semantic Web |
| Author(s): |
A. Symeonidis, G. Meditskos, E. Kontopoulos, N. Bassiliades.
|
| Availability: |
Click here to download the PDF (Acrobat Reader) file (11 pages).
|
| Keywords: |
RDF, Rule-based Reasoning, Semantic Web, Web Services.
|
| Appeared in: |
Proceedings of the 2nd Annual SEERC Doctoral Student Conference, Thessaloniki, Greece, 2007.
|
| Abstract: |
Web Services offer a standard interface for describing the available services on the Web. Common applications of Web Services are B2B communications and e-commerce, mainly because they are platform and network-independent, easily deployable and offer great reusability. Moreover, the Semantic Web initiative proposes technologies and languages for annotating information on the Web, so that it can be understood, interpreted and exploited by software agents. For the realization of such architecture, agents should be able to reason over the annotated information, in order to make decisions and to successfully cooperate with each other. To this end, logic and rules play an important role, enabling the description of assertions that can be used to derive new knowledge and the implementation of agent behaviour. In this paper we describe the Web Service implementation of a rule-based RDF reasoner, called DR-DEVICE. The deployment of the reasoner as a Web Service enables other applications to use the system over the Internet, by exploiting the well-defined interface that Web Service technology offers. Agents can use the service by interchanging messages, based on standards (SOAP) and already existing Internet protocols (HTTP), in order to enrich their functionality with reasoning capabilities. Furthermore, the system can serve as a software component of a more complex and distributed framework that would compose a variety of Web Services in order to achieve a new functionality. DR-DEVICE supports both deductive and defeasible rules and can be extended to the proof layer of the Semantic Web architecture, for validating the derivations stemming from the inferential logic activity. The service is available to end users through a Web interface. |
| See also : |
|
This paper has been cited by the following:
| 1 |
R. Rubino, “An Implementation of Temporal Defeasible Logic for Legal Reasoning”, PhD Thesis, Centro Interdipartimentale di Ricerca in Storia del Diritto, Filosofia e Sociologia del Diritto e Informatica Giuridica, University of Bolognia, 2009. |
|
