Re: Use of XSD namespace in RDF recommendations

Wrong list for this indeed but Protégé 4.2 supports custom datatypes, as 
well as all OWL 2 features. The reasoner HermiT, at least, supports 
reasoning with custom types. I tried it with a datatype defining IP 
addresses, both v4 and v6, which is a pretty complicated pattern, and 
HermiT checked consistency very fast. It detected ill formed IPs and the 
Protégé interface provided adequate explanations for the inconsistencies.

The problem is, it's badly documented. It took me a while to figure out 
how to do it.

--AZ

Le 05/09/2012 03:15, Paul Tyson a écrit :
> On Tue, 2012-09-04 at 19:38 +0200, Ivan Herman wrote:
>
>> I find the OWL 2 datatype definition possibilities one of the most
>>   interesting and potentially important part of OWL 2. I actually wish
>>   the relevant part of the specification was also made more known and
>>   possibly used in isolation; at present it is burried in the overall
>>   OWL 2 spec, which is of course not an easy read...
>
> Many months ago when I was doing some OWL2 work I was foiled in my
> attempt to use this feature because the major reasoners (pellet, HermiT,
> Fact++) were not able to do anything useful with custom datatypes. I
> don't recall if Protege OWL handled them at that time, either.
>
> Wrong list for that discussion, but I agree it is a very useful feature.
> I have no knowledge of current implementation status of custom datatypes
> in various OWL tools.
>
> Regards,
> --Paul
>
>
>


-- 
Antoine Zimmermann
ISCOD / LSTI - Institut Henri Fayol
École Nationale Supérieure des Mines de Saint-Étienne
158 cours Fauriel
42023 Saint-Étienne Cedex 2
France
Tél:+33(0)4 77 42 83 36
Fax:+33(0)4 77 42 66 66
http://zimmer.aprilfoolsreview.com/

Received on Wednesday, 5 September 2012 08:22:19 UTC