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