Extending OWL with Maximal Subproperties: An Approach to Define Qualified Cardinality Restrictions and Reflexive Properties.