SWRL and Open World Semantics: sameAs, differentFrom Publication( p)  hasAuthor( p, y)  hasAuthor( p, z)  differentFrom( y, z) → cooperatedWith( y, z) Like OWL, SWRL does not adopt the unique name assumption – Individuals must also be explicitly stated to be different (using owl:allDifferents restriction) Logic and Rules 6-94
{}