<ask>[[Has Son::Joe]]</ask>
That "ask" tag is the special feature of Semantic MediaWiki that allows for inline querying, and thus extracting inverse relationships. This one will give you the full list of other pages that have a [[Has Son::Joe]] in their text; in this case there's presumably only one.
-Yaron
On 9/13/06, Olivier Dameron <[EMAIL PROTECTED]> wrote:
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
------------------------------------------------------------------------- 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
