RE: Inferring Class Membership w/o OWL Full?

I agree with Pat in that if you really want to do it, just use rdf:type.

What you really is saying is:

<ex:Song rdf:ID="PurpleHaze">
    <rdf:type rdf:resource="&ex;ClassRockMusic"/>
</ex:Song>

anyway, why an attempt to use inferencing with equivalent restriction
class and all when the music type info is already known? In this
particular case there is no need for inferencing. And if you have no
need for the equivalent restriction class, you will still be in dl.

Cheers,

Gary



-----Original Message-----
From: www-rdf-logic-request@w3.org [mailto:www-rdf-logic-request@w3.org]
On Behalf Of Pat Hayes
Sent: 07 May 2004 08:38
To: Stephen Rhoads
Cc: www-rdf-logic@w3.org
Subject: Re: Inferring Class Membership w/o OWL Full?


>I realize that everyone is probably beat from that "Classes as 
>Values" discussion in the SWBP, but ... no thoughts on this?
>
>Would it be unthinkable to create a subPropertyOf rdf:type?

Its explicitly forbidden in OWL-DL by edict of the DL police, but it 
makes perfect semantic sense and could be done in OWL-Full. On the 
other hand, why not just use rdf:type? What do you gain from the 
explicit subpropertying?

If you thought to sneak past the DL syntax restrictions, forget it. 
The DL police have already thought of all the tricks you could use 
and blocked all the exits.

Pat

>Something like ...
>
><owl:ObjectProperty rdf:ID="hasGenre">
>    <rdfs:subPropertyOf rdf:resource="&rdf;type"/>
></owl:ObjectProperty>
>
><ex:Song rdf:ID="PurpleHaze">
>    <ex:hasGenre rdf:resource="&ex;ClassRockMusic"/>
></ex:Song>
>
>Thus, the Individual "PurpleHaze" is an instance of both Song and 
>ClassicRockMusic.
>
>Note that the intent is state class membership, not to say that the 
>"subject" of the Song is a concept denoted by a Class (as in the 
>"Classes as Values" paper).
>
>--- Stephen
>
>
>On Apr 24, 2004, at 4:50 PM, Stephen Rhoads wrote:
>
>>
>>Folks,
>>
>>There are various parts of my (Media Publishing and Distribtuion) 
>>ontology where I would like to avoid the requirement of "multiple 
>>typing".  The objective here is to simplify the ontology and user 
>>interfaces which employ it.
>>
>>A user of the ontology should be able to simply declare an 
>>Individual to be a Song, Album, Movie, MovieSeries, 
>>TelevisionProgram, TelevisionSeries, RadioProgram or RadioSeries. 
>>Other important class membership should be inferred by property 
>>values.  A TelevisionSeries, for example, could have 
>>"hasSeriesType" of "SeasonalSeries" and thus be a member of that 
>>Class.  A Movie could have "hasGenre" of "Drama" and thus be a 
>>Drama.
>>
>>The problem is that I can't see how to model this without landing 
>>in OWL Full.  Take the following example:
>>
>>A sample Class hierarchy:
>>
>>Music
>>    ElectronicMusic
>>    PopMusic
>>    RockMusic
>>       ClassicRockMusic
>>       GlamRockMusic
>>       GrungeRockMusic
>>
>>And sample Class description:
>>
>><owl:Class rdf:ID="ClassicRockMusic">
>>    <rdfs:subClassOf rdf:resource="#RockMusic"/>
>>    <owl:equivalentClass>
>>       <owl:Restriction>
>>          <owl:onProperty rdf:resource="#hasGenre"/>
>>          <owl:hasValue rdf:resource="#ClassicRockMusic"/>
>>       </owl:Restriction>
>>    </owl:equivalentClass>
>></owl:Class>
>>
>>In other words, if the Individual (a Song or Album) hasGenre 
>>ClassicRockMusic, then it *is* ClassicRockMusic (or at least a 
>>member of a Restriction Class with the same class extension).  But 
>>(I think) this puts the ontology into OWL Full because 
>>ClassicRockMusic is being treated as both a Class and an Individual 
>>(I can confirm that Racer will not accept the ontology from Protege 
>>because it is "not in OWL DL").
>>
>>Thoughts?  Solutions?
>>
>>--- Stephen


-- 
---------------------------------------------------------------------
IHMC	(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32501			(850)291 0667    cell
phayes@ihmc.us       http://www.ihmc.us/users/phayes

Received on Friday, 7 May 2004 13:30:12 UTC