OWLlink Extension:
Retraction HTTP/XML Binding

W3C Member Submission 1 July 2010

This version:: http://www.w3.org/submissions/2010/SUBM-owllink-extension-retraction-httpxml-binding-20100701/
Latest version:: http://www.w3.org/submissions/owllink-extension-retraction-httpxml-binding/

Authors:: Olaf Noppens, derivo GmbH (formerly Ulm University); Thorsten Liebig, derivo GmbH (formerly Ulm University)

Contributors:: Marko Luther, DOCOMO Euro-Labs, Munich

This document is available under the W3C Document License. See the W3C Intellectual Rights Notice and Legal Disclaimers for additional information.

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

This section describes the status of this document at the time of its publication. Other documents may supersede this document. A list of current W3C publications can be found in the W3C technical reports index at http://www.w3.org/TR/.

This document is a part of the OWLllink Submission which comprises eight documents:

Earlier drafts of the OWLlink specification have been published by the informal OWLlink working group at http://www.owllink.org.

By publishing this document, W3C acknowledges that the Submitting Members have made a formal Submission request to W3C for discussion. Publication of this document by W3C indicates no endorsement of its content by W3C, nor that W3C has, is, or will be allocating any resources to the issues addressed by it. This document is not the product of a chartered W3C group, but is published as potential input to the W3C Process. A W3C Team Comment has been published in conjunction with this Member Submission. Publication of acknowledged Member Submissions at the W3C site is one of the benefits of W3C Membership. Please consult the requirements associated with Member Submissions of section 3.3 of the W3C Patent Policy. Please consult the complete list of acknowledged W3C Member Submissions.

1 HTTP/XML Binding
2 Example
3 References

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:

http://www.w3.org/submissions/2010/SUBM-owllink-extension-retraction-20100701/retraction-def.xsd which defines the new Retract element:

<?xml version="1.0" encoding="UTF-8"?>
<xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema"
    xmlns:ol="http://www.owllink.org/owllink#"
    targetNamespace="http://www.owllink.org/ext/retraction#" 
    elementFormDefault="qualified"
    attributeFormDefault="unqualified">

    <xsd:import namespace="http://www.owllink.org/owllink#"
        schemaLocation="http://www.w3.org/submissions/2010/SUBM-owllink-httpxml-binding-20100701/owllink.xsd"/>
    <xsd:import namespace="http://www.w3.org/XML/1998/namespace"
        schemaLocation="http://www.w3.org/2001/xml.xsd"/>

    <xsd:element name="Retract" type="ol:KBRequestWithAxioms"/>
</xsd:schema>

http://www.w3.org/submissions/2010/SUBM-owllink-extension-retraction-20100701/retraction.xsd which redefines the OWLlink schema underlying the [OWLlink HTP/XML Binding] containing the new element:

<?xml version="1.0" encoding="UTF-8"?>
<xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema"
    xmlns:ol="http://www.owllink.org/owllink#"
    xmlns:ext="http://www.owllink.org/ext/retraction#"
    targetNamespace="http://www.owllink.org/owllink#" 
    elementFormDefault="qualified"
    attributeFormDefault="unqualified">

    <xsd:import namespace="http://www.owllink.org/ext/retraction#"
        schemaLocation="http://www.w3.org/submissions/2010/SUBM-owllink-extension-retraction-20100701/retraction-def.xsd"/>
    <xsd:import namespace="http://www.w3.org/XML/1998/namespace"
        schemaLocation="http://www.w3.org/2001/xml.xsd"/>

    <xsd:redefine schemaLocation="http://www.w3.org/submissions/2010/SUBM-owllink-httpxml-binding-20100701/owllink.xsd">
        <xsd:group name="Request">
            <xsd:choice>
                <xsd:group ref="ol:Request"/>
                <xsd:element ref="ext:Retract"/>
            </xsd:choice>
        </xsd:group>
    </xsd:redefine>
</xsd:schema>

2 Example

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

<?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.w3.org/submissions/2010/SUBM-owllink-extension-retraction-20100701/retraction.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.

<?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.w3.org/submissions/2010/SUBM-owllink-extension-retraction-20100701/retraction.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 Document included in the present W3C Member Submission.

OWLlink Extension: Retraction HTTP/XML Binding