#
# 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: Jos De Roo
#
# Description: 
#
# using <code>AllDifferent</code> to derive <code>differentFrom</code>
#
_:a <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#AllDifferent> .
<http://www.w3.org/2002/03owlt/AllDifferent/premises001#Fred> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Person> .
<http://www.w3.org/2002/03owlt/AllDifferent/premises001#Wilma> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Person> .
<http://www.w3.org/2002/03owlt/AllDifferent/premises001#Barney> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Person> .
<http://www.w3.org/2002/03owlt/AllDifferent/premises001#Betty> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Person> .
_:b <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Betty> .
_:b <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#List> .
_:c <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Barney> .
_:c <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:b .
_:c <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#List> .
_:d <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Wilma> .
_:d <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:c .
_:d <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#List> .
_:e <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://www.w3.org/2002/03owlt/AllDifferent/premises001#Fred> .
_:e <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:d .
_:e <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#List> .
_:a <http://www.w3.org/2002/07/owl#distinctMembers> _:e .