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(books	= http://protege.stanford.edu/books4#)

Ontology(

 Class(books:AfricanLion partial 
  books:Lion)
 Class(books:Animal partial)
 Class(books:Book partial)
 Class(books:BookAboutAfricanLions complete 
  intersectionOf(restriction(http://purl.org/dc/elements/1.1/subject someValuesFrom (books:AfricanLion)) books:Book))
 Class(books:BookAboutAnimals complete 
  intersectionOf(restriction(http://purl.org/dc/elements/1.1/subject someValuesFrom (books:Animal)) books:Book))
 Class(books:BookAboutLions complete 
  intersectionOf(restriction(http://purl.org/dc/elements/1.1/subject someValuesFrom (books:Lion)) books:Book))
 Class(books:Lion partial 
  books:Animal)

 AnnotationProperty(rdfs:seeAlso)

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

 DatatypeProperty(books:bookTitle
  domain(books:Book)
  range(xsd:string))

 Individual(books:LionsLifeInThePrideBook
  annotation(rdfs:seeAlso http://isbn.nu/0736809643)
  type(books:BookAboutLions)
  value(books:bookTitle "Lions: Life in the Pride"^^http://www.w3.org/2001/XMLSchema#string))
 Individual(books:TheAfricanLionBook
  annotation(rdfs:seeAlso http://isbn.nu/089686328X)
  type(books:BookAboutAfricanLions)
  value(books:bookTitle "The African Lion"^^http://www.w3.org/2001/XMLSchema#string))

)