RE: Need example of a River class being used as an individual ... anyone?

I thought the typical class-as-instance example used species, something
like:

<owl:Class rdf:ID="BengalTiger" />

<BengalTiger rdf:ID="tiki" />

<BengalTiger>
	<foundIn>South-East Asia</foundIn>
</BengalTiger>

i.e. Tiki is a Bengal Tiger.  The Bengal Tiger is found in South-East Asia.


Whether that entails any conclusions about Tiki (in a logic without
defaults) is unclear in my head.

Cheers,
Ian

_____________________________________________________________________
Ian Dickinson    HP Labs, Bristol, UK     mailto:Ian.Dickinson@hp.com
                                  http://www-uk.hpl.hp.com/people/ijd



> -----Original Message-----
> From: Roger L. Costello [mailto:costello@mitre.org] 
> Sent: 10 March 2003 15:51
> To: www-rdf-logic@w3.org
> Cc: Costello,Roger L.
> Subject: Need example of a River class being used as an 
> individual ... anyone?
> 
> 
> 
> Hi Folks,
> 
> One of the "main" differences between OWL Full and OWL 
> DL/Lite is that in OWL Full a class may be treated as both an 
> individual as well as a class.  I am trying to create an 
> example to demonstrate the use of a class as an individual.  
> Specifically, an example to demonstrate the use of a River 
> class as an individual.  Here is how River is defined:
> 
>     <rdfs:Class rdf:ID="River">
>         <rdfs:subClassOf rdf:resource="#Stream"/>
>     </rdfs:Class>
> 
> Can you give me an example that shows this River class being 
> used as an instance?  Thanks!  /Roger
> 

Received on Monday, 10 March 2003 15:26:44 UTC