[Pellet-users] Interpreting the output of RulesExample

[Role Francois]

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