OWL mutually disjoint classes and FuXi.Syntax.InfixOWL

Thanks, but I'm actually looking to figure out how to do this in Python, for instance using rdflib or InfixOWL, in an example similar to this one: http://python-dlp.googlecode.com/files/pomr.py

Suppose I have foo = Class(MY_NS['foo']) and bar = Class(MY_NS['bar'])

So I want a constructor that does something like this:

myDisjointClasses = AllDisjointClasses( [ foo, bar ] )

and then I can get output like yours above when I serialize the graph.

I'd like to know if something like this exists in rdflib, or how to implement it.

BTW, here is what I've tried:

from rdflib import BNode, RDF, Collection
from RDFClosure.AxiomaticTriples import AllDisjointClasses, members

g = Graph()
anode = BNode()
disjoint_siblings = [ ... ] # some list of InfixOWL.Class objects
g.add( ( anode, RDF.type, AllDisjointClasses ) )
g.add( ( anode, members, Collection(g, disjoint_siblings) ) )

When I try to serialize I get this error:

AttributeError: 'Collection' object has no attribute 'replace'

I've figured it out now. Here's what I did:

g = Graph()
anode = BNode()
bnode = BNode()
coll = Collection(g, anode, disjoint_siblings) # Here, disjoint_siblings is a list of URIs
g.add( ( bnode, RDF.type, AllDisjointClasses ) )
g.add( ( bnode, members, anode ) )

The only problem I have with this, though, is that in the serialized XML file, I end up with a lot of descriptions of list configurations with rdf:first and rdf:rest, for every possible configuration of first and rest. This stuff is unnecessary. All I needed was the AllDisjointClasses part. Why is it there?