Differentiated Relational Ontology