There has not been any serious effort into implementing the rules view as we are hoping that a more substantial editor will be available when the P3.4 SWRL support is ported. The current view is really just there to display rules that exist in the ontology. Currently no editing is possible. We should have disabled this.
I will check the status of the parsers in the OWL API and see if we can hook this up, and if not possible immediately, will disable the add button.
On Thu, Sep 18, 2008 at 4:56 AM, howard goldberg <[hidden email]> wrote:
build 64, build 101 Entered a SWRL rule into the rules widget (Ontology views->Rules). Hitting enter, no rule is retained. Bug, not implemented / placeholder ???
> Hi Howard,
> There has not been any serious effort into implementing the rules
> view as we are hoping that a more substantial editor will be
> available when the P3.4 SWRL support is ported.
Or we implement something entirely new. I have some UI ideas....
> I'd like to hear these ideas.
> It would let us sketch out some interface reqs for SWRL.
> (You will have to bear in mind I know v little about SWRL).
With a slight restriction, we can make SWRL fit in nicely with the
current P4 paradigm. We did an experimental version of this in Swoop.
Essentially, we already have this with role chains. Role chains
correspond to the body of a rule where the property constrained by it
is the head. Thus, for any rule with a class or a property atom
(alone) as the head, we can, in principle, accomodate the body as
another kind of restriction. E.g., such a rule as:
The main challenge is that, unlike property chains, we cannot hide
the presence of variables. Most importantly we need to specify the
variables shared by the head. We could either make these fixed (e.g.,
X) or we could have some marker, or we could have a convention e.g.:
D(aC), P(Z, Y), Q(aC, Y), D(Z), aC!=Z
For rules with compound heads, we could treat them as GCIs (i.e.,