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