#
# 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 premise document uses a namespace but does not import the document corresponding to
# the namespace, then the premises do not necessarily entail anything that is entailed by
# the conjunction of the two documents.
#
<http://example.org/data#Socrates> rdf:type ont:Man .