W3C home > Mailing lists > Public > semantic-web@w3.org > March 2005

Example of rdfs:subPropertyOf + owl:inverseOf

From: Jeremy Wong <50263336@student.cityu.edu.hk>
Date: Tue, 22 Mar 2005 09:43:34 +0800
To: semantic-web@w3.org
Message-id: <001c01c52e80$8f73a6e0$6502a8c0@miko947ymju833>

Consider "imply" and "iff"..

logic:imply rdf:type rdf:Property

logic:iff rdfs:subPropertyOf logic:imply
logic:iff owl:inverseOf logic:imply

=>

logic:iff rdf:type owl:SymmetricProperty


Jeremy

Received on Tuesday, 22 March 2005 02:53:23 GMT

This message: [ Message body ]
Next message: Ray Racine: "Re: fast inferencing with jena and "?""
Previous message: jos.deroo@agfa.com: "Re: Fw: rdfs:subPropertyOf + owl:inverseOf"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

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