Redirects in Semantic MediaWiki are depict as <owl:sameAs> to express "synonymity between any two individuals. These constructs may be used to create a number of different names that refer to the same individual." 1 so that『If X is an instance of Class “A” and X is “sameAs” Y we can infer that Y is also an instance of Class “A”』1.