Hi Dileepa
Basic co-reference rule to be used is : > {?p a owl:IFP. ?a ?p ?x. ?b ?p ?x) => {?a :coref ?b} > {?p a owl:FP . ?a ?p ?x. ?a ?p ?y.) => { ?x :coref ?y} > > IFP : inverse-functional property > FP : functional property > coref : co-referent > :coref is owl:sameAs. You might be interested in checking out http://clerezza.apache.org/apidocs/org/apache/clerezza/rdf/utils/Smusher.htmlwhich does smashing based on IFP, it should be quite straight forward to support FP as well. Also a map could be used to reduce the time complexity. For guessing identity when there is no IFP or FP you might use a tool like LIMES or SILK. Cheers, Reto