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

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=-