title: Can owl:class and owl:restriction be removed from restriction class definitions?
body: <p>Are these statements the same ?  Is there any concern if I remove <code>owl:Restriction</code> and <code>owl:Class</code>.  they seem redundant to state, but this is always how I see examples online.   <code>owl:onProperty</code> has domain <code>owl:restriction</code> and <code>owl:restriction</code> is a subclassOf <code>owl:class</code>.</p>
  
  <pre><code>:myClass owl:equivalentClass  
  [a owl:Class ;
            owl:intersectionOf (
            [ a owl:Restriction ; owl:onProperty :hasProp  ; owl:allValuesFrom  :SomeOtherClass ]
            [ a owl:Restriction ; owl:onProperty :hasChild ; owl:someValuesFrom :SomeOtherClass ] ) ] .
  
  
  
  :myClass owl:equivalentClass  
  [owl:intersectionOf  (
    [ owl:onProperty :hasProp ; owl:allValuesFrom  :SomeOtherClass ]
    [ owl:onProperty :hasProp ; owl:someValuesFrom :SomeOtherClass ] )
  ] .
  </code></pre>