- From: Antoine Zimmermann <antoine.zimmermann@emse.fr>
- Date: Wed, 05 Sep 2012 10:18:45 +0200
- To: Paul Tyson <phtyson@sbcglobal.net>
- CC: Ivan Herman <ivan@w3.org>, Dan Brickley <danbri@danbri.org>, "public-rdf-comments@w3.org" <public-rdf-comments@w3.org>, "richard@ex-parrot.com" <richard@ex-parrot.com>
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