OWLlink Extension:
Retraction HTTP/Functional Binding

Version 1.0
Working Group Recommendation 16 November 2009

This version:
http://www.owllink.org/ext/retraction-httpfunct-20091116/
Latest version:
http://www.w3.org/Submission/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, Ulm University
Ralf Möller, Hamburg University of Technology
Olaf Noppens, Ulm University

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

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
  3. Retraction HTTP/Functional Binding (this document)
  4. Retraction HTTP/S-Expression Binding


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#>.

owllink-example-Retraction-request-20091116.funct
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.

owllink-example-Retraction-response-20091116.funct
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 Michael Wessel, Marko Luther. Working Group Recommendation, 16 November 2009, http://www.owllink.org/owllink-httpfunct-20091116/. Latest version available at http://www.owllink.org/owllink-httpfunct/.