Talk:Relation composition
From semanticweb.org
your definition of a composition of relations is wrong I think. this is equivalent to x RoS y = (Ez)( xRz & zSy ) which is not the case. see: http://en.wikipedia.org/wiki/Composition_of_relations, http://www.google.com/url?sa=t&rct=j&q=composition%20relatin%20&source=web&cd=4&ved=0CEQQFjAD&url=http%3A%2F%2Fwww.facweb.iitkgp.ernet.in%2F~niloy%2FCOURSE%2FAutumn2008%2FDiscreetStructure%2Fscribe%2FLecture07CS1039.pdf&ei=FDLlTqbIOcGM-wbMlsCyBQ&usg=AFQjCNF4p8WJpMt3RjeErqqoN7A0I4Sa-A&cad=rja
