W3C home > Mailing lists > Public > www-rdf-logic@w3.org > April 2004

Inferring Class Membership w/o OWL Full?

From: Stephen Rhoads <rhoadsnyc@mac.com>
Date: Sat, 24 Apr 2004 16:50:24 -0400
Message-Id: <02AC9F7C-9631-11D8-981A-000A95EF0144@mac.com>
To: www-rdf-logic@w3.org, protege-owl@smi.stanford.edu


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:


And sample Class description:

<owl:Class rdf:ID="ClassicRockMusic">
    <rdfs:subClassOf rdf:resource="#RockMusic"/>
          <owl:onProperty rdf:resource="#hasGenre"/>
          <owl:hasValue rdf:resource="#ClassicRockMusic"/>

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 

Thoughts?  Solutions?

--- Stephen
Received on Saturday, 24 April 2004 16:50:37 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:42 UTC