W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2007

Re: is QCR meant to support union/intersection of classes?

From: Matthew Horridge <matthew.horridge@cs.man.ac.uk>
Date: Fri, 10 Aug 2007 09:52:10 +0100
Message-Id: <CDB31E52-53DA-47AA-9DE7-C6C676C94F49@cs.man.ac.uk>
To: Alan Ruttenberg <alanruttenberg@gmail.com>, Michel Dumontier <michel.dumontier@gmail.com>, Owl Dev <public-owl-dev@w3.org>, "Submit feedback for Protege 4.0 alpha" <p4-feedback@lists.stanford.edu>

Hi Michel,

Thanks for bringing this to my attention.  There was a bug in the OWL  
API.  I've now fixed the problem.  The fix is available in the OWL  
API SVN.  I'll also produce a 2.1.1 release of the OWL API today,  
which means the fix should make it into the next build of Protege 4.

Cheers,

Matthew

On 10 Aug 2007, at 00:15, Alan Ruttenberg wrote:

>
> Looks like a bug in either the API or P4.
>
> From http://www.webont.org/owl/1.1/owl_specification.html
>
> description := owlClassURI | objectUnionOf | objectIntersectionOf |  
> objectComplementOf | objectOneOf |
>     objectAllValuesFrom | objectSomeValuesFrom | objectExistsSelf |  
> objectHasValue |
>     objectMinCardinality | objectMaxCardinality |  
> objectExactCardinality |
>     dataAllValuesFrom | dataSomeValuesFrom | dataHasValue |
>     dataMinCardinality | dataMaxCardinality | dataExactCardinality
>
> objectMinCardinality := 'ObjectMinCardinality' '(' cardinality  
> objectPropertyExpression [ description ] ')'
>
> -Alan
>
>
> On Aug 9, 2007, at 3:37 PM, Michel Dumontier wrote:
>
>> I see that the current specification of the OWL 1.1 API appears to  
>> only support named classes in a QCR.
>>
>> When using P4 build 53 (OWL 1.1 API)
>>
>> hasSingleBondWith exactly 1 (Alkyl or Aryl or HydrogenAtom)
>>
>> is saved as
>>
>> hasSingleBondWith exactly 1
>>
>>
>> Is this a bug in the OWL 1.1 spec (owl11:onClass  
>> rdf:resource="#myClass"), or do i need to provide an arbitrary  
>> class to equivalent to the union or intersection of the classes?
>>
>> Thanks,
>>
>> -=Michel=-
>
>
Received on Friday, 10 August 2007 08:52:17 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 10 December 2014 20:07:17 UTC