OWLlink Extension:
Retraction HTTP/S-Expression Binding

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/S-Expression 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/.

Set of Documents

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

1 HTTP/S-Expression Binding

The HTTP/S-Expression binding of this extension follows the guidelines of the [OWLlink HTTP/S-Expression Binding].

2 Example

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

The corresponding response message is shown below.

3 References

[OWLlink HTTP/S-Expression Binding]

OWLlink: HTTP/S-Expression Binding Michael Wessel. Working Group Recommendation, 16 November 2009, http://www.owllink.org/owllink-httpsexpr-20091116/. Latest version available at http://www.owllink.org/owllink-httpsexpr/.