Re: Characterizing intersectionOf relationships?

This is a very important question.
The key issue is: what is the meaning of a Statement?

According to what I have read, RDF associates
as little meaning as possible with a Statement.

I have not yet read enough OWL documents to assess
the OWL perspective on this issue.

The MKR language has the same meaning as natural language.
The MKR statement corresponding to your RDF/OWL is

SLR isa Camera with viewFinder = ThroughTheLens;

The meaning of this MKR statement is:
a genus-differentia definition which gives the
necessary and sufficient conditions for a thing
to be an SLR.  SLR is a proper subclass of Camera.
All SLRs have a ThroughTheLens viewFinder.
============ 
Dick McCullough 
knowledge := man do identify od existent done;
knowledge haspart proposition list;

  ----- Original Message ----- 
  From: Roger L. Costello 
  To: www-rdf-interest@w3.org 
  Cc: Costello,Roger L. 
  Sent: Tuesday, April 22, 2003 5:07 AM
  Subject: Characterizing intersectionOf relationships?



  Hi Folks,

  Consider this definition of SLR:

  <owl:Class rdf:ID="SLR">
       <owl:intersectionOf rdf:parseType="Collection">
            <owl:Class rdf:about="#Camera"/>
            <owl:Restriction>
                  <owl:onProperty rdf:resource="#viewFinder"/>
                  <owl:hasValue rdf:resource="#ThroughTheLens"/>
            </owl:Restriction>
       </owl:intersectionOf>
  </owl:Class>

  How would you characterize the relationship between SLR and Camera, e.g,

     "SLR is a Camera"
  or
     "SLR is a subclass of Camera"

  or something else?  

  Stated another way, if an application "consults" the Camera Ontology:

     "What's the relationship between SLR and Camera?"

  What would you expect as the reply?  /Roger