OWL 2 rolification

Section 3.2 of the paper that you linked to says: It is indeed possible to translate this rule into OWL 2—however this involves a transformation which we call rolification: The rolification of a concept A is a (new) role RA defined by the axiom A ≡ ∃RA.Self. Armed with rolification, we can now express rule … Read more