Re: Restrictions on Bags and Seqs content

It is possible, as a bag can be modeled as a list, and Nick's OWL  
lists allow lists with elements of only one class.
For example, if you look at the definitions in http:// 
protege.stanford.edu/conference/2006/submissions/abstracts/ 
7.1_Drummond_listsInProtegeOWL.pdf
you can make use restriction

Class(BagOfPerson partial intersectionOf(OWLList restriction 
(isFollowedBy allValuesFrom(restriction(hasContent allValuesFrom  
Person)))))

(typing without testing - yell at me if this or something like this  
doesn't do what you want)

-Alan

On Apr 8, 2007, at 9:51 AM, Roberto García wrote:

> Thank you Alan for the pointers.
>
> If I have understood them well, they are about Lists in OWL. What
> about the use of custom Bags and Seqs? Is it possible to define a
> BagOfPerson whose members are restricted to instances of the class
> Person?
>
> Best,
>
>
> Roberto García
> http://rhizomik.net/~roberto
>
>
> On 01/04/07, Alan Ruttenberg <alanruttenberg@gmail.com> wrote:
>> It is possible, in OWL Full, but I don't think using OWL Full should
>> be considered to be a good practice (yes, go ahead, flame me if you
>> must).
>> If you want to do this sort of thing in OWL DL, you might have a look
>> at:
>>
>> http://protege.stanford.edu/conference/2006/submissions/slides/
>> 7.1_Drummond.pdf
>> or http://owl-workshop.man.ac.uk/acceptedLong/submission_12.pdf
>>
>> Best,
>> Alan
>>
>> On Apr 1, 2007, at 10:33 AM, Roberto García wrote:
>>
>> > Dear all,
>> >
>> > Does anyone know if it is possible, and considered a good  
>> practice, to
>> > define subclasses of Bag and Seq using OWL in order to get  
>> containers
>> > that contain a specific class of resources?
>> >
>> > For instance, is it possible to model this using a restriction  
>> on the
>> > rdfs:member property when applied to a custom subclass of Bag?
>> >
>> > Best,
>> >
>> > --
>> > Roberto García
>> > http://rhizomik.net/~roberto

Received on Sunday, 8 April 2007 14:34:17 UTC