- From: Alan Ruttenberg <alanruttenberg@gmail.com>
- Date: Thu, 9 Aug 2007 19:15:50 -0400
- To: "Michel Dumontier" <michel.dumontier@gmail.com>
- Cc: Owl Dev <public-owl-dev@w3.org>, "Submit feedback for Protege 4.0 alpha" <p4-feedback@lists.stanford.edu>
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 Thursday, 9 August 2007 23:16:00 UTC