title: Member of an owl:Class versus owl:NamedIndividual
body: <p>Is it right, that in OWL-DL, if some :x has an rdf:type of <em>something which is an owl:Class</em>, e.g. :Car</p>
  
  <pre><code>:Car  rdf:type  owl:Class .
  :x    rdf:type     :Car .
  </code></pre>
  
  <p>or equivalent</p>
  
  <pre><code>:Car  a  owl:Class .
  :x    a     :Car .
  </code></pre>
  
  <p>it <em>cannot</em> be deduced, that :x must be an owl:(Named)Individual, thus one have to specify that additional fact always manually?</p>
  
  <pre><code>:x  a          :Car                ;
      a          owl:NamedIndividual ;
      :hasType   :Ford               ;
      :hasColor  "red"               .
  </code></pre>