Hi Evren
I mean pre-post-conditions for Processes and conditions for
ControlConstructs. What I did was inspect every SWRL condition using a
Visitor to extract the predicates, then if they contain any reference to a
Parameter I switch it with the proper value and then create a new predicate.
Then I evaluate the whole query (like a conjunction) with Pellet.
The problem is that in OWL API I haven't found any SPARQL query interface,
any more ideas will be appreciated :D.
Thanks.
Best Regards
Gustavo
On Dec 12, 2007 11:44 AM, Evren Sirin <evren@...> wrote:
> On 12/10/07 8:43 AM, Gustavo Enrique Salazar Torres wrote:
> > Dear developers
> > I have finished an OWL-S executor using the OWL-API with Pellet as
> > reasoner. I'm testing it using the examples from Evren's OWL-S
> > executor. My problem is that I can't express operators in SWRL (e.g.
> > less-or-equal) in Pellet to test some examples...
>
> Do you mean SWRL atoms used in OWL-S preconditions or you have
> additional SWRL rules in your ontology? Pellet rules supports can handle
> some of the SWRL builtins including lessThenOrEqual. But this does not
> help really with evaluating OWL-S preconditions which are actually
> queries not rules but they happen to use SWRL syntax. If you look at the
> code of Mindswap OWL-S API [1] you will see that SWRL atoms in
> poreconditions are translated into SPARQL queries where SWRL built-in
> atoms are mapped to SPARQL filter expressions.
>
> Hope this helps. If not more details about your problem would help us to
> help you :)
>
> Cheers,
> Evren
>
>
> [1] http://svn.mindswap.org/owl-s/trunk/src/impl/jena/OWLModelImpl.java
>
> > Anybody has an idea how to solve this issue? please? :D. Any help will
> > be appreciated!!!
> >
> > Thanks
> > Gustavo
> > ------------------------------------------------------------------------
> >
> > _______________________________________________
> > Pellet-users mailing list
> > Pellet-users@...
> > http://lists.owldl.com/mailman/listinfo/pellet-users
> > _______________________________________________
> >
> > Sponsored by Clark & Parsia, LLC http://clarkparsia.com/
>
>
|