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.
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:
- Retraction
Structural Specification
 
- Retraction
HTTP/XML Binding
 
- Retraction
HTTP/Functional Binding (this document)
 
- 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/.