W3C home > Mailing lists > Public > www-rdf-interest@w3.org > April 2003

Inferring that a Camera is a SLR?

From: Roger L. Costello <costello@mitre.org>
Date: Fri, 18 Apr 2003 11:57:45 -0400
Message-ID: <3EA02079.410B4D09@mitre.org>
To: www-rdf-interest@w3.org
CC: "Costello,Roger L." <costello@mitre.org>

Hi Folks,

I am a bit stuck on an inference.  I want to be able to infer that this
document is talking about a SLR:

     <viewFinder rdf:resource="http://www.camera.org#ThroughTheLens"/>

Here is the piece of knowledge that I am trying to use to make the

    "Only SLRs have a ThroughTheLens viewFinder"

When I defined SLR I restricted the value of viewFinder to
'ThroughTheLens', as shown here:

     <owl:Class rdf:ID="SLR">
          <rdfs:subClassOf rdf:resource="#Camera"/>
                   <owl:onProperty rdf:resource="#viewFinder"/>
                   <owl:hasValue rdf:resource="#ThroughTheLens"/>

And when I defined viewFinder I stated that it is a FunctionalProperty
and all Cameras have a viewFinder:

     <owl:ObjectProperty rdf:ID="viewFinder">
          <rdf:type rdf:resource="&owl;#FunctionalProperty"/>
          <rdfs:domain rdf:resource="#Camera"/>
          <rdfs:range rdf:resource="#Viewer"/>

Initially, I thought that these two OWL statements were sufficient to
allow me to infer for the above instance that the Camera is a SLR.  I
now believe, however, that it only allows me to infer that it "may" be a
SLR.  True?  What do I need to allow me to infer that the Camera "must"
be a SLR?  /Roger
Received on Friday, 18 April 2003 11:59:10 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:41 UTC