- From: Matthew Horridge <matthew.horridge@cs.man.ac.uk>
- Date: Fri, 10 Aug 2007 09:52:10 +0100
- 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