For those users affected by the OWL 2 related glitches in TBC 3.2.0,
we have made an intermediate nightly build available for download from
http://white.tqinc.info/beta/3.2.1.v20091109-0030B/
This build fixes the problems of owl:oneOf enumerations, of datatype
properties that are also owl:InverseFunctionalProperties, and the
Create restriction dialog in Group by namespaces mode.
Our plan is to wait a week or so to see if other critical bugs are
reported and then do a proper 3.2.1 update.
Thanks for your patience,
Holger
On Nov 6, 2009, at 8:40 AM, Holger Knublauch wrote:
>
> Hi Paul,
>
> the source of these problems is a change in the OWL 2 spec: formerly,
> enumerated datatypes were instances of owl:DataRange (with an
> owl:oneOf pointing to the list of values). owl:DataRange has been
> deprecated in favor of using rdfs:Datatype directly. This is a good
> change, but means that ontologies should be adjusted to store
> enumerations in the new triples format. We missed to opportunity to do
> this conversion automatically, and in general have neglected this
> change. But it leads to various unexpected problems now, for example
> also because the underlying Jena API does not handle the new syntax
> correctly.
>
> I recommend gradually replacing all owl:DataRanges that have an
> owl:oneOf with corresponding rdfs:Datatype triples - this could even
> be done with a global search and replace.
>
> I am meanwhile fixing the issues that you are seeing and we will have
> a bug fix release shortly.
>
> Thanks for your patience,
> Holger
>
>
>
> On Nov 6, 2009, at 12:38 AM, PaulZH wrote:
>
>>
>> I suppose this error is related to the same (1).
>>
>> a) baseuri a.n3
>>
>> x:a
>> a owl:DatatypeProperty ;
>> rdfs:range
>> [ a owl:DataRange ;
>> owl:oneOf ("a"^^xsd:string "b"^^xsd:string
>> "c"^^xsd:string)
>> ] .
>>
>> which shows up in the form interface under rdfs:range as
>>
>> owl:oneOf{"a" "b" "c"}
>>
>> I would have expected now owl:oneOf{"a", "b" ,"c"}
>>
>>
>> b) baseuri b.n3 importing a.n3
>>
>> x:a
>> rdfs:domain
>> [ a owl:Class ;
>> owl:unionOf (x:A x:B)
>> ] .
>>
>> Now rdfs:range shows for x:a
>>
>> [Error: Failed to render OWL resource -
>> bca5cc9:124c887bacb:-791e]
>>
>>
>> Paul
>>
>> On Nov 5, 11:38 pm, Holger Knublauch <[email protected]> wrote:
>>> On Nov 5, 2009, at 9:13 AM, PhilA wrote:
>>>
>>>
>>>
>>>> Thanks Holger
>>>> Point 1. Could you update the help file? I did check to see if
>>>> there
>>>> was a syntax change. Ta.
>>>
>>> Thanks, I have updated the help page on Creating enumerations (this
>>> was the only reference to owl:oneOf I found).
>>>
>>>> As for point 2.
>>>> So even though I don't have owl2 activated in the ontology are your
>>>> saying I am going to be restricted by it?
>>>
>>> Yes, in 3.2.0 at least because we have moved to a new rendering API
>>> for OWL in general. But I have just fixed this to work around this
>>> limitation of the OWL API.
>>>
>>>> When you say that it will be handled more gracefully I presume you
>>>> are
>>>> saying that it will still be an error?
>>>
>>> I think it's an error of the OWL API to not handle such cases,
>>> because
>>> what you are doing is perfectly valid in RDF and OWL Full. But since
>>> the OWL API is not using RDF under the hood, I am not terribly
>>> surprised about such problems. We will replace this component soon.
>>>
>>>> This is going to cause me some massive problems as I have lots of
>>>> ontologies that have inversefunctional datatype properties.
>>>> I see it loads of places in other ontologies as well.
>>>
>>> We are doing nightly builds now, and we can make an intermediate
>>> 3.2.1
>>> with critical things like that available. I will keep you posted.
>>>
>>> Holger
>>>
>
>
> >
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"TopBraid Composer Users" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/topbraid-composer-users?hl=en
-~----------~----~----~----~------~----~------~--~---
