Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] Combining swrl-tab and pellet

Rodolfo Rieckhof rodo2024 at googlemail.com
Fri Apr 23 04:44:47 PDT 2010


Hello Paulo,
Pellet already supports  DL Safe rules like: Man(?x) ^ married(?x,?y) ->
Woman(?y)  for more information
you should take a look at (1)

best regards,
Rodolfo

(1)   http://clarkparsia.com/pellet/faq/rules/



2010/4/23 Paulo Urbano <pub at di.fc.ul.pt>

> Hi
>
> 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
> information.
>
> 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
>
>
>
> Regards
> Paulo Urbano
>
> _______________________________________________
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
>
> Instructions for unsubscribing:
> http://protege.stanford.edu/doc/faq.html#01a.03
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20100423/4a18510b/attachment.html>


More information about the protege-owl mailing list