I have been struggling with adding property reification to my owl ontologies and I came across a proposal in the W3 wiki for Property Reification. I was wondering if Pellet (or any reasoner for that matter) is able to understand the vocabulary and reason over it, both natively and through SWRL rules. The proposed vocabulary is located here.
