Search Mailing List Archives
[protege-owl] Combining swrl-tab and pellet
rodo2024 at googlemail.com
Fri Apr 23 04:44:47 PDT 2010
Pellet already supports DL Safe rules like: Man(?x) ^ married(?x,?y) ->
Woman(?y) for more information
you should take a look at (1)
2010/4/23 Paulo Urbano <pub at di.fc.ul.pt>
> I would like to use rules after a reasoner infers information. Is it
> possible to combinePellet and SWRLTab in Protégé 3.4.***?
> I want to use Pellet to infer property values and types for individuals and
> after that I would like to use swrl Tab (rules) that use that inferred
> For example if Pellet infers that John(individual) is a Man (Class)
> a rule like
> Man(?x) ^ married(?x,?y) -> Woman(?y)
> should work or not?
> It is not working with Protégé 3.4beta
> Paulo Urbano
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> Instructions for unsubscribing:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the protege-owl