On Tue, 12 Sep 2006 16:29:45 -0700, S Page <[EMAIL PROTECTED]> wrote:
> In OWL and RDFS , you can state relationships between properties. In > your case you can almost use Owl:inverseOf. > http://wiki.ontoworld.org/wiki/Owl:inverseOf gives the example > > <owl:ObjectProperty rdf:ID="hasChild"> > <owl:inverseOf rdf:resource="#hasParent"/> > </owl:ObjectProperty> > > Your example is a little different: Dad [[Has Son::Joe]] entails Joe > [[Has Parent::Dad]], but not vice-versa I'm not sure whether OWL and > RDFS can represent entailment. As you said, hasChild is the inverse of hasParent (and vice-versa :-). Therefore, if Joe.hasParent.Dad, then Dad.hasChild.Joe also holds. Now, your last sentence mentions "hasSon" instead of "hasChild". We saw that any owl-compliant reasoner could infer that Joe.hasParent.Dad implies Dad.hasChild.Joe. If you want to be more precise and find out that Dad.hasSon.Joe, you need to say somewhere that hasSon is a subproperty of hasChild (possible in owl) AND you need a rule (possible with swrl) saying that: (x.hasParent.y) AND Male(x) => y.hasSon.x Here, the implication is beyond the scope of owl-dl and requires rule languages such as swrl because we need variables. Note that your example could have been stretched out by also mentioning hasFather as a subproperty of hasParent :-). The same principle applies. Hope this helps Olivier ------------------------------------------------------------------------- Using Tomcat but need to do more? Need to support web services, security? Get stuff done quickly with pre-integrated technology to make your job easier Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642 _______________________________________________ Semediawiki-user mailing list [EMAIL PROTECTED] https://lists.sourceforge.net/lists/listinfo/semediawiki-user
