| <!-- |
| Copyright World Wide Web Consortium, (Massachusetts Institute of |
| Technology, European Research Consortium for Informatics and |
| Mathematics, Keio University). |
| |
| All Rights Reserved. |
| |
| Please see the full Copyright clause at |
| <http://www.w3.org/Consortium/Legal/copyright-software.html> |
| |
| $Id: support003-B.rdf,v 1.6 2003-12-05 05:21:35 jeremy_carroll Exp $ |
| --> |
| <!-- |
| If a document imports a document which in turn imports a third document, then it entails |
| anything which is entailed by the conjunction of the statements from the three documents. |
| That is, imports is transitive. |
| --> |
| <!-- Author: Jeff Heflin --> |
| <rdf:RDF |
| xmlns:rdf='http://www.w3.org/1999/02/22-rdf-syntax-ns#' |
| xmlns:rdfs='http://www.w3.org/2000/01/rdf-schema#' |
| xmlns:owl='http://www.w3.org/2002/07/owl#' |
| xml:base='http://www.w3.org/2002/03owlt/imports/support003-B' > |
| |
| <owl:Ontology rdf:about=''/> |
| |
| <owl:Class rdf:about='http://www.w3.org/2002/03owlt/imports/support003-A#Person'> |
| <rdfs:subClassOf rdf:resource='#Mortal'/> |
| </owl:Class> |
| |
| <owl:Class rdf:ID='Mortal'/> |
| |
| </rdf:RDF> |