[Pellet-users] Interpreting the output of RulesExample

[Robert Davey]

Hi Francois,

Yes you can turn the debug output off - if you check the list for the
"Pellet logging" thread, a simple solution is documented there.

If you need some Java code to help instead of Alan's lisp-ish version,
I'm happy to post it up.

Cheers

Rob

On Fri, 2007-09-07 at 11:04 +0200, Role Francois wrote:
> Hi,
> 
> 
> 
> Thanks to your guidance I succeeded in running RulesExample  and got the
> output below.
>  The result is ok but where do the lines beginning with [java]  INFO
> [main] (ABox.java:1530)...  come from ? And what do they mean ? And is
> there a way to suppress this debug info ?
> 
> 
> 
> run:
> 
>      [java]  INFO [main] (PelletOptions.java:82) - Reading Pellet
> configuration file
> jar:file:/C:/Perso/tools/apache-ant-1.6.5-bin/apache-ant-1.6.5/pellet-lib/pellet.jar!/pellet.properties
> 
>      [java]  INFO [main] (KnowledgeBase.java:1473) - Expressivity: ALCHOI,
> Classes: 5 Properties: 5 Individuals: 6 Strategy: RuleStrategy
> 
>      [java]  INFO [main] (ABox.java:1530) - ABox consistency for 0
> individuals
> 
>      [java]  INFO [main] (ABox.java:1619) - Consistent: true Tree depth: 6
> Tree size: 27 Time: 141
> 
>      [java]  INFO [main] (ABox.java:1532) - Consistency
> all(inv(http://localhost/dl-safe.owl#sibling),not(value(http://localhost/dl-safe.owl#Cain)))
> for 2 individuals [http://localhost/dl-safe.owl#Romulus,
> http://localhost/dl-safe.owl#Remus]
> 
>      [java]  INFO [main] (ABox.java:1619) - Consistent: true Tree depth: 6
> Tree size: 30 Time: 109
> 
>      [java]  INFO [main] (ABox.java:1532) - Consistency
> all(inv(http://localhost/dl-safe.owl#sibling),not(value(http://localhost/dl-safe.owl#Cain)))
> for 1 individuals [http://localhost/dl-safe.owl#Abel]
> 
>      [java]  INFO [main] (ABox.java:1619) - Consistent: false Tree depth:
> 2 Tree size: 11 Time: 125
> 
>      [java]  INFO [main] (ABox.java:1532) - Consistency
> all(inv(http://localhost/dl-safe.owl#sibling),not(value(http://localhost/dl-safe.owl#Cain)))
> for 1 individuals [http://localhost/dl-safe.owl#Oedipus]
> 
>      [java]  INFO [main] (ABox.java:1619) - Consistent: true Tree depth: 6
> Tree size: 29 Time: 62
> 
>      [java]  INFO [main] (ABox.java:1532) - Consistency
> all(inv(http://localhost/dl-safe.owl#sibling),not(value(http://localhost/dl-safe.owl#Cain)))
> for 1 individuals [http://localhost/dl-safe.owl#Adam]
> 
>      [java]  INFO [main] (ABox.java:1619) - Consistent: true Tree depth: 6
> Tree size: 29 Time: 63
> 
>      [java] Cain has sibling(s): Abel
> 
> 
> 
> Thanks,
> 
> François
> 
> _______________________________________________
> 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/
-- 
---------------------------------------
Dr. Rob Davey
NCYC / Institute of Food Research
Computational Biology / John Innes Centre
Norwich Research Park
Norwich, Norfolk, NR4 7HU

http://www.comparagrid.org/
http://cbr.jic.ac.uk/dicks/
---------------------------------------