[Pellet-users] User-defined datatypes (OWL1.1)

[Evren Sirin]

On 5/7/07 7:41 AM, sjtirtha wrote:
> Hi,
>  
> I used http://www.owldl.com/ontologies/family.owl in Protege 4.0, 
> which integrates also Pellet 1.4
> But after classifying the "family.owl" I got the error that "Adult, 
> Child, Senior, Teen, Teenager" are inconsistent.
> But I don't understandt why they are inconsistent.
>  
> Maybe I'm doing something wrong? Do you have any working example using 
> OWL 1.1 ?
Which version of Protege are you using? Protege4Alpha29 and earlier 
versions are shipped with a Pellet 1.4 release candidate and not the 
final release (and those classes you mention are reported as 
unsatisfiable). When I try Protege4Alpha31 (which you can download from 
the link included in Bijan's email), there are no unsatisfiable classes 
reported.

Cheers,
Evren
>  
> Steve
>
>
> On 5/4/07, *bijan at clarkparsia.com <mailto:bijan at clarkparsia.com>* 
> <bijan at clarkparsia.com <mailto:bijan at clarkparsia.com>> wrote:
>
>     I believe there will be some support for Swoop over the summer,
>     perhaps enough to stabilize and migrate to the new OWL API, which
>     has excellent support for OWL 1.1 (as it is updated).
>
>     See:
>       http://code.google.com/p/owl1-1/wiki/Implementations
>
>     I also strongly recommend Matt Horridge's version of Protege
>     (which is really an entirely new beast):
>
>     http://www.cs.man.ac.uk/~horridgm/protege-x/
>     <http://www.cs.man.ac.uk/%7Ehorridgm/protege-x/>
>
>     He has taking a lot of swoop features and generally done an
>     excellent job. This editor is under *very* active development.
>
>     Cheers,
>     Bijan.
>
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
>
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/