[Pellet-users] help please

[Rinke Hoekstra]

Hi,

Just wondering... why are you using SWRL rules to define this? I mean,  
Pellet is a powerful DL reasoner that can deal with rules in a limited  
way. Choosing rules over DL constructs sounds just a bit insensible to  
me. You could just use Jess or Prolog, for that matter...

Why not just define classes, i.e.:

Color equivalentTo
	nero, marrone, giallo

Bruno equivalentTo
	Person and haCapelli value 'nero'

Biondo equivalentTo
	Person and not(Bruno)

(you could possibly make haCapelli a functional property)

-Rinke

On 10 mei 2008, at 15:07, Giantonio Chiarelli wrote:
> I make a simple protégé project in wich there are Person, Colors,  
> Black
> hair and blond hair;
>
> Person has a ObjectProperty "haCapelli" (hasHair), from Person to  
> Colors;
>
> Colors has more individuals: Nero (black), Marrone (brown) e Giallo
> (Yellow);
>
> Person has more individuals:
> Mari has brown hair
> Giantonio has black hair
> Giacomo has yellow hair
>
> Rules are (made by Protégé SWRL tab):
> bruno(X) :- Persona(X), haCapelli(X, Y), Colore(Y), Y = 'nero';
> biondo(X) :- Persona(X), not bruno(X)
>
> than
>
> bruno(Giantonio)
> biondo(Mari)
> biondo(Giacomo)
>
> But Pellet exaplain some warning because for negation I use the  
> built-in
> function 'http://www.w3.org/2003/11/swrlb#notEqual'...
> What is wrong? Or how can I use Pellet to make this inference?
> I send you the ontology (prova.rar) and the warning message report...
>
> WARN [main] (BindingGeneratorStrategyImpl.java:94) - IGNORING RULE [http://localhost:8080/clickworld2/ontologie/ontology.owl#Persona( 
> ?http://localhos
> t:8080/clickworld2/ontologie/ontology.owl#x), http://www.w3.org/2003/11/swrlb#notEqual( 
> [?http://localhost:8080/clickworld2/ontologie/ontology.owl#Brun
> o])] => [http://localhost:8080/clickworld2/ontologie/ontology.owl#Biondo( 
> ?http://localhost:8080/clickworld2/ontologie/ontology.owl#x)]:  
> Cannot generat
> e bindings for all data variables.
>
> Thanks
> < 
> warningMessage 
> .jpg><prova.rar>_______________________________________________
> 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/

-----------------------------------------------
Drs. Rinke Hoekstra

Email: hoekstra at uva.nl    Skype:  rinkehoekstra
Phone: +31-20-5253499     Fax:   +31-20-5253495
Web:   http://www.leibnizcenter.org/users/rinke

Leibniz Center for Law,          Faculty of Law
University of Amsterdam,            PO Box 1030
1000 BA  Amsterdam,             The Netherlands
-----------------------------------------------