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 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:41:45 UTC