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#)
Namespace(a	= http://a.com/ontology#)

Ontology(

 Class(a:Animal partial)
 Class(a:AnimalBook partial 
  restriction(http://purl.org/dc/elements/1.1/subject allValuesFrom (a:Animal)))
 Class(a:Lion partial 
  a:Mammal)
 Class(a:Mammal partial 
  a:Animal)

 ObjectProperty(http://purl.org/dc/elements/1.1/subject
  domain(a:AnimalBook))

 Individual(a:LionBook
  type(a:AnimalBook)
  value(http://purl.org/dc/elements/1.1/subject a:LionSubject))
 Individual(a:LionSubject
  type(a:Lion))

)