[Pellet-users] Logging/tracking/retrieving inference steps

[Paolo Cappellari]

Hi,

I'd like to track/log all the inference steps Pellet performs when
adding a new axiom to an ontology. How can I do it?

I'm looking to build some sort of cost function such that: if adding
axiom A1 or A2 leads to the same added information to the ontology then
I would prefer the axiom that cost less in terms of inference steps
(needed to reach the same result).

Thank you,
Paolo