OWLlink Extension:
Retraction HTTP/XML Binding

Version 1.0
Working Group Recommendation 16 November 2009

This version:
http://www.owllink.org/ext/retraction-httpxml-20091116/
Latest version:
http://www.w3.org/Submission/owllink-extension-retraction-httpxml-binding/
Previous version:
http://www.owllink.org/ext/retraction-httpxml-20091023/
Authors:
Olaf Noppens, Ulm University
Thorsten Liebig, Ulm University
Contributors:
Marko Luther, DOCOMO Euro-Labs Munich

Abstract

OWLlink provides a declarative interface for – among other things – asserting OWL axioms to a Knowledge Base (KB) of an OWL reasoner. This OWLlink extension adds the ability to retract previously asserted axioms from KBs. This document describes the accompanying HTTP/XML Binding of this extension.

Status of this Document

Summary of Changes

Since the latest Working Draft:

Please Comment

The OWLlink Working Group seeks public feedback on this Working Group Recommendation. Please send your comments to public-comments@owllink.org or post to the public discussion forum at http://www.owllink.org/forum/.

This extension is being published as one of a set of 4 documents:

  1. Retraction Structural Specification
  2. Retraction HTTP/XML Binding (this document)
  3. Retraction HTTP/Functional Binding
  4. Retraction HTTP/S-Expression Binding


1 HTTP/XML Binding

The HTTP/XML binding of this extension follows the guidelines [OWLlink HTTP/XML Binding] and consists of the following two documents:

2 Example

The following XML fragment shows a sample application of the retraction extension with an example request message as follows.

owllink-example-Retraction-request-20091116.xml
<?xml version="1.0" encoding="UTF-8"?>
<RequestMessage xmlns="http://www.owllink.org/owllink#"
    xml:base="http://www.owllink.org/examples/myOntology#"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:ret="http://www.owllink.org/ext/retraction#"
    xsi:schemaLocation="http://www.owllink.org/owllink#
      http://www.owllink.org/ext/retraction-20091116.xsd"
>

    <CreateKB kb="http://www.owllink.org/examples/KB_ext1"/>
    <Tell kb="http://www.owllink.org/examples/KB_ext1">
        <owl:ClassAssertion>
            <owl:Class IRI="A"/>
            <owl:NamedIndividual IRI="i"/>
        </owl:ClassAssertion>
    </Tell>
    <GetInstances kb="http://www.owllink.org/examples/KB_ext1" direct="false">
        <owl:Class IRI="A"/>
    </GetInstances>
    <ret:Retract kb="http://www.owllink.org/examples/KB_ext1">
        <owl:ClassAssertion>
            <owl:Class IRI="A"/>
            <owl:NamedIndividual IRI="i"/>
        </owl:ClassAssertion>
    </ret:Retract>
    <GetInstances kb="http://www.owllink.org/examples/KB_ext1" direct="false">
        <owl:Class IRI="A"/>
    </GetInstances>
    <ReleaseKB kb="http://www.owllink.org/examples/KB_ext1"/>
</RequestMessage>

A corresponding server answer could look as follows.

owllink-example-Retraction-response-20091116.xml
<?xml version="1.0" encoding="UTF-8"?>
<ResponseMessage xmlns="http://www.owllink.org/owllink#"
    xml:base="http://www.owllink.org/examples/myOntology#"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:ret="http://www.owllink.org/ext/retraction#"
    xsi:schemaLocation="http://www.owllink.org/owllink#
      http://www.owllink.org/ext/retraction-20091116.xsd"
>

    <KB kb="http://www.owllink.org/examples/KB_ext1"/>
    <OK/>
    <SetOfIndividualSynsets>
        <IndividualSynset>
            <owl:NamedIndividual IRI="i"/>
        </IndividualSynset>
    </SetOfIndividualSynsets>
    <OK/>
    <SetOfIndividualSynsets/>
    <OK/>
</ResponseMessage>

3 References

[OWLlink HTTP/XML Binding]
OWLlink: HTTP/XML Binding Olaf Noppens, Marko Luther, Thorsten Liebig, Michael Wessel. Working Group Recommendation, 16 November 2009, http://www.owllink.org/owllink-httpxml-20091116/. Latest version available at http://www.owllink.org/owllink-httpxml/.