Ontology( 

 Annotation(owl:versionInfo "My example version 1.2, 17 October 2002")

 DatatypeProperty(manufactured-by
  domain(product)
  range(xsd:string))

 DatatypeProperty(price
  domain(product)
  range(xsd:nonNegativeInteger))

 DatatypeProperty(printingResolution
  domain(printer)
  range(xsd:string))

 DatatypeProperty(printingSpeed
  domain(printer)
  range(xsd:string))

 DatatypeProperty(printingTechnology
  domain(printer)
  range(xsd:string))

 Class(1100se partial 
  annotation(rdfs:comment "1100se printers belong to the 1100 series
   and cost $450.")
  1100series
  restriction(price hasValue ("450"^^&xsd;integer)))

 Class(1100series partial 
  annotation(rdfs:comment "1100series printers are HP laser jet
             printers with 8ppm printing speed and 600dpi 
             printing resolution.")
  hpLaserJetPrinter
  restriction(printingSpeed hasValue ("8ppm"^^&xsd;string))
  restriction(printingResolution hasValue ("600dpi"^^&xsd;string)))

 Class(1100xi partial 
  annotation(rdfs:comment "1100xi printers belong to the 1100 series
   and cost $350.")
  1100series
  restriction(price hasValue ("350"^^&xsd;integer)))

 Class(hpLaserJetPrinter partial 
  annotation(rdfs:comment "HP laser jet printers are HP products
                           and laser jet printers.")
  laserJetPrinter
  hpPrinter)

 Class(hpPrinter partial 
  annotation(rdfs:comment "HP printers are  HP products and printers.")
  hpProduct
  printer)

 Class(hpProduct complete 
  annotation(rdfs:comment "HP products are exactly those products
  that are manufactured by Hewlett Packard.")
  intersectionOf(
      product 
      restriction(manufactured-by hasValue ("Hewlett Packard"^^&xsd;string))))

 Class(laserJetPrinter complete 
  annotation(rdfs:comment "Laser jet printers are exactly those
  printers that use laser jet printing technology.")
  intersectionOf(
      printer 
      restriction(printingTechnology hasValue ("laser jet"^^&xsd;string))))

 Class(padid partial 
  annotation(rdfs:comment "Printing and digital imaging devices
  form a subclass of products.")
  annotation(rdfs:label "Device")
  product)

 Class(personalPrinter partial 
  annotation(rdfs:comment "Printers for personal use form
                           a subclass of printers.")
  printer)

 Class(printer partial 
  annotation(rdfs:comment "Printers are printing and 
                           digital imaging devices.")
  padid)

 Class(product partial 
  annotation(rdfs:comment "Products form a class."))
)