W3C home > Mailing lists > Public > www-rdf-rules@w3.org > December 2003

: Questions

From: Zhu Bin <zhubin@cai.pku.edu.cn>
Date: Fri, 12 Dec 2003 11:49:48 +0800
To: 'Alain Escaffre' <alain.escaffre@freesbee.fr>
Cc: www-rdf-rules@w3.org
Message-id: <TWB508PCHID80B01CO@metc-dell-407.cai.pku.edu.cn>
I think there may be some classes or properties that OWL can not define or
describe.

 

 

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

 

 

 

 

 

 
Received on Friday, 12 December 2003 01:51:49 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:53:11 GMT