SPARQL
PREFIX schema: <http://schema.org/> 
PREFIX foaf: <http://xmlns.com/foaf/0.1/> 
PREFIX dcterms: <http://purl.org/dc/terms/> 

INSERT DATA INTO  <urn:kidehen:ifp:inference:rule> { 
											 foaf:mbox a owl:InverseFunctionalProperty .
											 foaf:page a owl:InverseFunctionalProperty .
											 foaf:mbox_sha1sum a owl:InverseFunctionalProperty .
											 schema:sameAs a owl:InverseFunctionalProperty . 
											 dcterms:identifier a owl:InverseFunctionalProperty . 
											}  ;

-- Make Rule

RDFS_RULE_SET
   (
        'urn:kidehen:ecrm:ifp:inference:rule'  ,
        'urn:kidehen:ifp:inference:rule'
 ) ;

-- Verify Rule Creation

SELECT RS_NAME
FROM sys_rdf_schema
WHERE RS_NAME = 'urn:kidehen:ecrm:ifp:inference:rule'  ;

-- Clean up

SPARQL

CLEAR GRAPH <urn:kidehen:ifp:demo>  ;


--  Test 1

SPARQL

DEFINE input:inference 'urn:kidehen:ecrm:ifp:inference:rule' 

PREFIX c: <http://ecrm.intranet.openlinksw.com/#>

SELECT DISTINCT *
# FROM <urn:kidehen:ifp:demo> 
WHERE { c:01b600a05cd2ca43c3981376d591af372a3af8df ?p ?o } ;

--  Test 2

SPARQL 

DEFINE input:same-as "yes"
SELECT DISTINCT *
# FROM <urn:kidehen:ifp:demo> 
WHERE { c:01b600a05cd2ca43c3981376d591af372a3af8df ?p ?o } ;