Namespace(rdf	= <http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Namespace(xsd	= <http://www.w3.org/2001/XMLSchema#>)
Namespace(rdfs	= <http://www.w3.org/2000/01/rdf-schema#>)
Namespace(owl	= <http://www.w3.org/2002/07/owl#>)

Ontology(<http://example.com/#> 
 Class(<http://example.com/#a> partial )
 Class(<http://example.com/#b> partial )
 DisjointClasses(<http://example.com/#a> <http://example.com/#b> )
 Class(<http://example.com/#c> complete 
 intersectionOf(<http://example.com/#a> <http://example.com/#b> )
  )
)