Hello,
I have read in from [1] that the Pellet could be used to find inconsistences
during the inference using the SWRL Bridge.
How does it work?
1 - Does Pellet work like a Truth Maintenence Mechanism and doesn´t let the
SWRL-Bridge infer the facts in conflict? if yes, would be possible to
"update" functional properties and simulate a non-monotonic behaviour?
2 - or does Pellet just identify the inconcistencies after the inference? in
this case I should able to find these facts in order to rectify the ontology
and keep the last inferred values. Would it be possible with the Protégé
API?
Sorry if I missunderstood everything.
In fact, I am already having the problems as described in [1] because of the
monotonic behaviour of OWL, but it was possible to correct it by software.
But it still not being an elegant solution.
Thanks in advance.
Best regards,
Wagner
Hamburg - Germany
[1] -
http://www.nabble.com/Issue-firing-SWRL-rules-from-java-application-to13822709.html#a13822709
--
View this message in context: http://www.nabble.com/SWRL-Bridge%2C-Jess-and-Pellet-working-together-tp21815635p21815635.html
Sent from the Protege - OWL mailing list archive at Nabble.com.