Oracle RDF Rules Semantics

Question

Hi,
Are the semantics of the rules for Oracle RDF documented anywhere? I'm not exactly sure what I can and cannot say.
thanks
John

Answer 1

I'm trying to create user defined rule function and bind variable in rule syntax, but i dont know how to do that in
Oracle Db. I did that successfully when i tried in Jena and using RDF/XML File...
For example i have such RDF/XML file like this :
<?xml version="1.0"?>
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns="http://www.owl-ontologies.com/Ontology1230795417.owl#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xml:base="http://www.owl-ontologies.com/Ontology1230795417.owl">
<owl:Ontology rdf:about=""/>
<owl:Class rdf:ID="Example"/>
<owl:FunctionalProperty rdf:ID="has_factorialvalue">
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#int"/>
<rdfs:domain rdf:resource="#Example"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
</owl:FunctionalProperty>
<owl:FunctionalProperty rdf:ID="has_value">
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#int"/>
<rdfs:domain rdf:resource="#Example"/>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
</owl:FunctionalProperty>
<Example rdf:ID="Example_1">
<has_value rdf:datatype="http://www.w3.org/2001/XMLSchema#int" >5</has_value>
</Example>
<Example rdf:ID="Example_2">
<has_value rdf:datatype="http://www.w3.org/2001/XMLSchema#int">3</has_value>
</Example>
</rdf:RDF>
I have one Class "Example" which has 2 datatype properties : has_value and has_factorial_value, So if I have
an Example1 as an instance of Example which has_value is 5 then has_factorial_value must be 120.
So the Rule is
exampletestrule1: (?b rdf:type h:Example) (?b h:has_value ?z) myfactorial(?z,?rs) -> (?b h:has_factorialvalue ?rs)
Here for the source code
Now... The problem is how to implement this user defined rule in Oracle db (create our own builtin function then apply it to oracle semantic rule, in this case, myfactorial