#
# 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: Jeremy J. Carroll
#
# Description: 
#
# De Morgan's law.
#
_:a owl:complementOf first:A .
_:b owl:complementOf first:B .
_:c rdf:first _:b .
_:c rdf:rest rdf:nil .
_:c rdf:type rdf:List .
_:d rdf:first _:a .
_:d rdf:rest _:c .
_:d rdf:type rdf:List .
_:e owl:intersectionOf _:d .
_:f rdf:first first:B .
_:f rdf:rest rdf:nil .
_:f rdf:type rdf:List .
_:g rdf:first first:A .
_:g rdf:rest _:f .
_:g rdf:type rdf:List .
_:h owl:unionOf _:g .
_:i owl:complementOf _:h .
_:e owl:sameClassAs _:i .