Search Mailing List Archives
[protege-owl] Abduction reasoning on the Semantic Web
matthew.williams at cancer.org.uk
Tue Jan 15 06:53:41 PST 2008
You can't do this in Protege.
In Jena, you might be able to use their general purpose rule engine to
do so, but it would depend on your domain and what you mean by abduction.
I think you need to clear up what you want to do first. The examples I
have seen of abductive reasoning seems to be more commonly done in
Prolog, although given the Jena rule engine you might well be able to do
it (perhaps with quite a lot of effort, though).
ahmed nabel wrote:
> Hello everyone
> Where can I do abduction reasoning for the Semantic Web? Can I do that in Protege? If not, then Jena? Else?...
> I need to have some facts to be inferred from a set of given facts in an OWL file, as an explanation of the given facts... (or whatever adductive reasoning is..., I'm a very beginner in all this so sorry if the explanation is not clear enough because I'm not clear enough about what I'm talking about yet!).
> Any suggestions?...
> Thank you for your time.
> Share life as it happens with the new Windows Live.
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
More information about the protege-owl