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://protege.stanford.edu/books3a#)

Ontology(

 Class(a:AfricanLion partial 
  a:Lion)
 Class(a:Animal partial)
 Class(a:BookAboutAnimals partial 
  restriction(a:about someValuesFrom (a:Subject)))
 Class(a:Lion partial 
  a:Animal)
 Class(a:Subject partial)

 AnnotationProperty(rdfs:seeAlso)

 ObjectProperty(a:about
  domain(a:BookAboutAnimals))
 ObjectProperty(a:parentSubject Transitive
  domain(a:Subject)
  range(a:Subject))

 DatatypeProperty(a:bookTitle
  domain(a:BookAboutAnimals)
  range(xsd:string))

 Individual(a:AfricanLionSubject
  annotation(rdfs:seeAlso http://protege.stanford.edu/books3a#AfricanLion)
  type(a:Subject)
  value(a:parentSubject a:LionSubject))
 Individual(a:LionSubject
  annotation(rdfs:seeAlso http://protege.stanford.edu/books3a#Lion)
  type(a:Subject))
 Individual(a:LionsLifeInThePrideBook
  annotation(rdfs:seeAlso http://isbn.nu/0736809643)
  type(a:BookAboutAnimals)
  value(a:about a:LionSubject)
  value(a:bookTitle "Lions: Life in the Pride"^^http://www.w3.org/2001/XMLSchema#string))
 Individual(a:TheAfricanLionBook
  annotation(rdfs:seeAlso http://isbn.nu/089686328X)
  type(a:BookAboutAnimals)
  value(a:about a:AfricanLionSubject)
  value(a:bookTitle "The African Lion"^^http://www.w3.org/2001/XMLSchema#string))

)