#
# 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>
#
# Author: Jeff Heflin
#
# Description: 
#
# 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.
#
<http://www.w3.org/2002/03owlt/imports/support003-A> rdf:type owl:Ontology .
<http://www.w3.org/2002/03owlt/imports/support003-A> owl:imports <http://www.w3.org/2002/03owlt/imports/support003-B> .
ont:Man rdf:type owl:Class .
ont:Man rdfs:subClassOf ont:Person .
ont:Person rdf:type owl:Class .