RE: Questions

MessageHi

We have been faced to some problems of connection between Protege/OWL - SWRL
and JESS. We are currently working on solving them, and will make it
available as soon as possible.

best

Christine


  -----Message d'origine-----
  De : www-rdf-rules-request@w3.org [mailto:www-rdf-rules-request@w3.org]De
la part de Alain Escaffre
  Envoye : vendredi 12 decembre 2003 03:03
  A : www-rdf-rules@w3.org
  Cc : 'Olivier LE GUYADER'
  Objet : Questions


  Hello,


  We are  french student fome the "Ecole Polythecnique de Nantes"  working
on a project about a geometrical ontology. We aim at describing geometrical
objects and axioms thanks to RuleML and OWL. We read the Draft Version 0.5
of 19 November 2003 about SWRL and this atempt to unify owl and ruleML for
inference on  the semantic web is very relevent and useful ! Here are some
questions about this draft and SWRL :

       - Chapter 5, exemple 5.1-2 :
  <ruleml:imp>
    <ruleml:_body>
      <swrlx:individualPropertyAtom  swrlx:property="hasParent">
        <ruleml:var>x1</ruleml:var>
        <ruleml:var>x2</ruleml:var>
      </swrlx:individualPropertyAtom>
      <swrlx:individualPropertyAtom  swrlx:property="hasSibling">
        <ruleml:var>x2</ruleml:var>
        <ruleml:var>x3</ruleml:var>
      <swrlx:individualPropertyAtom  swrlx:property="hasSex">
        <ruleml:var>x3</ruleml:var>
        <owlx:Individual owlx:name="#male" />
      </swrlx:individualPropertyAtom>
    </ruleml:_body>
  ...

      Does this property "hasParent"  refers directly to a property  of a
owl ontology about family  or is just created here and right now  simply
thanks to this line of code ?
      In our case, we have created an owl ontology with plan points lines
....  and in the axioms we have to use the property "belongTo" :

  if   we write code such like

   <swrlx:individualPropertyAtom  swrlx:property="belongTo">
  <ruleml:var>pointA</ruleml:var>
        <ruleml:var>Line</ruleml:var>

  Does it imply that  we have created this property  "belongTo" in the
ontology we have  implemented before  in owl ?




    -  About the issue list and and extensions, we read swrl doesn't manage
negation, what about  constraints rules ? In fact our project (because of
the axioms) needs both of of them so we are afraid not to be able to use
this Semantic Web Rule Language : ?

  - Finally, in case you confirm me SWRL is only horn clauses oriented for
the moment (no negations no constraints programmation),  could you  give us
a link where I find  a Rule ML exemple which  use owl objects ? because We
have difficulties to make the connexion , difficulties that  swrl would have
erased !

  We hope you will find time to grant us to answer those questions !

  Best Regards,

  Alain ESCAFFRE,
  Olivier LE GUYADER