| A test of OWL inferencing, as described in
| http://www.w3.org/TR/owl-test/byFunction#function-AllDifferent
|
| The task is to conclude that Barney is different from Fred,
| given that they are in a collection labelled ''All Different''
|
|      xmlns:rdf=''http://www.w3.org/1999/02/22-rdf-syntax-ns#''
|      xmlns:owl=''http://www.w3.org/2002/07/owl#''
|      xmlns:first=''http://www.w3.org/2002/03owlt/AllDifferent/premises001#''
|      xml:base=''http://www.w3.org/2002/03owlt/AllDifferent/premises001'' 
|
|                                                                      20051223



some-tag names a collection of distinct items of type some-type that includes some-item1
that-tag names a collection of distinct items of type that-type that includes some-item2
some-tag1 is related by rdf:first to that-item1
some-tag2 is related by rdf:first to that-item2
that-tag1 is not equal that-tag2
------------------------------------------------------------------------------------------
that-item1 is related by owl:differentFrom to that-item2


some-tag is related by rdf:type to owl:AllDifferent
that-tag is related by owl:distinctMembers to some-start-tag
from that-start-tag we can follow a list to some-item
that-item is related by rdf:type to some-type
---------------------------------------------------------------------------------------
that-tag names a collection of distinct items of type that-type that includes that-item


some-item1 is related by rdf:first to some-item2
--------------------------------------------------
from that-item1 we can follow a list to that-item2


some-item1 is related by rdf:first to some-item2
--------------------------------------------------
from that-item2 we can follow a list to that-item1


some-item1 is related by rdf:rest to some-item2
that-item2 is not equal rdf:nil
--------------------------------------------------
from that-item1 we can follow a list to that-item2


from some-item1 we can follow a list to some-item2
from that-item2 we can follow a list to some-item3
--------------------------------------------------
from that-item1 we can follow a list to that-item3


|from some-item1 we can follow a list to some-item2
not : that-item1 is a pointer to additional information
not : that-item2 is a pointer to additional information
that-item1 is not equal that-item2
-------------------------------------------------------
that-item1 and that-item2 are on the same list



some-item is a match to _:*
------------------------------------------------
that-item is a pointer to additional information


this-subject is related by this-predicate to this-object
==============================================================
_:a                        rdf:type           owl:AllDifferent
first:Fred                 rdf:type           first:Person
first:Wilma                rdf:type           first:Person
first:Barney               rdf:type           first:Person
first:Betty                rdf:type           first:Person
_:c                        rdf:first          first:Betty
_:c                        rdf:rest           rdf:nil
_:e                        rdf:first          first:Barney
_:e                        rdf:rest           _:c
_:g                        rdf:first           first:Wilma
_:g                        rdf:rest           _:e
_:i                        rdf:first           first:Fred
_:i                        rdf:rest           _:g
_:a                    owl:distinctMembers    _:i