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(purchase	= http://protege.stanford.edu/swbp/purchase-as.txt#)

Ontology(

 Class(purchase:Book partial 
  purchase:Object)
 Class(purchase:Company partial)
 Class(purchase:Object partial)
 Class(purchase:Person partial)
 Class(purchase:Purchase partial 
  restriction(purchase:buyer cardinality(1))
  restriction(purchase:seller someValuesFrom (purchase:Company))
  restriction(purchase:buyer someValuesFrom (purchase:Person))
  restriction(purchase:seller cardinality(1))
  restriction(purchase:object someValuesFrom (purchase:Object))
  restriction(purchase:purpose allValuesFrom (purchase:Purpose)))
 Class(purchase:Purpose partial)

 ObjectProperty(purchase:buyer)
 ObjectProperty(purchase:object)
 ObjectProperty(purchase:purpose
  range(purchase:Purpose))
 ObjectProperty(purchase:seller)

 DatatypeProperty(purchase:amount
  range(xsd:float))

 Individual(http://protege.stanford.edu/swbp/purchase#Birthday_Gift
  type(purchase:Purpose))
 Individual(purchase:John
  type(purchase:Person))
 Individual(http://protege.stanford.edu/swbp/purchase#Lenny_The_Lion
  type(purchase:Book))
 Individual(http://protege.stanford.edu/swbp/purchase#Purchase_1
  type(purchase:Purchase)
  value(purchase:purpose http://protege.stanford.edu/swbp/purchase#Birthday_Gift)
  value(purchase:object http://protege.stanford.edu/swbp/purchase#Lenny_The_Lion)
  value(purchase:buyer purchase:John)
  value(purchase:seller http://books.example.com)
  value(purchase:amount "15.0"^^http://www.w3.org/2001/XMLSchema#float))
 Individual(http://www.amazon.com)

)