W3C W3C Member Submission

OWLlink Extension:
Retraction HTTP/Functional Binding

W3C Member Submission 1 July 2010

This version:
http://www.w3.org/submissions/2010/SUBM-owllink-extension-retraction-httpfunct-binding-20100701/
Latest version:
http://www.w3.org/submissions/owllink-extension-retraction-httpfunct-binding/
Authors:
Michael Wessel, Racer Systems GmbH & Co. KG
Marko Luther, DOCOMO Euro-Labs, Munich
Contributors: (in alphabetic order)
Thorsten Liebig, derivo GmbH (formerly Ulm University)
Ralf Möller, Hamburg University of Technology
Olaf Noppens, derivo GmbH (formerly Ulm University)

Copyright © 2010 by the Submitting Members.

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/Functional 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:

  1. OWLlink: Structural Specification
  2. OWLlink: HTTP/XML Binding
  3. OWLlink: HTTP/Functional Binding
  4. OWLlink: HTTP/S-Expression Binding
  5. OWLlink Extension: Retraction
  6. OWLlink Extension: Retraction HTTP/XML Binding
  7. OWLlink Extension: Retraction HTTP/Functional Binding (this document)
  8. OWLlink Extension: Retraction HTTP/S-Expression Binding

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.

Table of Contents

1 HTTP/Functional Binding

The HTTP/Functional binding of this extension follows the guidelines of the [OWLlink HTTP/Functional Binding].

2 Example

The following example request message demonstrates the use of retraction using the Functional syntax. Please note the use of the NamespacePrefix message to declare a namespace prefix "ret" for the namespace <http://www.owllink.org/ext/retraction#>.

NamespacePrefix(ret <http://www.owllink.org/ext/retraction#>)
RequestMessage(
  CreateKB(Attribute(kb <http://www.owllink.org/examples/KB_ext1>))
  Tell(
    Attribute(kb <http://www.owllink.org/examples/KB_ext1>)
    owl.ClassAssertion(
      <http://www.owllink.org/examples/myOntology#A>
      <http://www.owllink.org/examples/myOntology#i>))
  GetInstances(
    Attribute(kb <http://www.owllink.org/examples/KB_ext1>)
    Attribute(direct "false")
    <http://www.owllink.org/examples/myOntology#A>)
  ret.Retract(
    Attribute(<http://www.owllink.org/ext/retraction#kb> 
              <http://www.owllink.org/examples/KB_ext1>)
    owl.ClassAssertion(
      <http://www.owllink.org/examples/myOntology#A>
      <http://www.owllink.org/examples/myOntology#i>))
  GetInstances(
    Attribute(kb <http://www.owllink.org/examples/KB_ext1>)
    Attribute(direct "false")
    <http://www.owllink.org/examples/myOntology#A>)
  ReleaseKB(
    Attribute(kb <http://www.owllink.org/examples/KB_ext1>)))

The corresponding response message is shown below.

ResponseMessage(
  KB(Attribute(kb <http://www.owllink.org/examples/KB_ext1>))
  OK()
  SetOfIndividualSynsets(
    IndividualSynset(
      <http://www.owllink.org/examples/myOntology#i>))
  OK()
  SetOfIndividualSynsets()
  OK())

3 References

[OWLlink HTTP/Functional Binding]
OWLlink: HTTP/Functional Binding Document included in the present W3C Member Submission.