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] SWRL to "move" individuals?

Martin O'Connor martin.oconnor at stanford.edu
Tue Aug 28 16:39:44 PDT 2007


This is a good idea. I'll add it to my TODO list.

Martin

> What I meant was that the SWRLTab could map the following
> to OWL (and display a small icon next to the rule that informs
> that the rule is actually expressible in OWL):
>
> man(?x) -> human(?x)
>
> human(?x) AND (not woman)(?x) -> man(?x)
>
> car(?x) AND own(John, ?x) -> ford(?x)
>
> Maybe this would be the preferred syntax for some users to enter
> OWL axioms? Or maybe this syntax is not preferred but the user simply
> fails to figure out what the corresponding OWL syntax should be,
> but succeeds in formulating it in SWRL.
>
> --
> kaarel
> _______________________________________________
> 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
>





More information about the protege-owl mailing list