Prefix(:=) Ontology( Declaration(Class(:ApartmentBuilding)) Declaration(Class(:Building)) Declaration(Class(:ResidentialBuilding)) Declaration(ObjectProperty(:numberOfunits)) Declaration(ObjectProperty(:ownership)) SubClassOf(:ResidentialBuilding :Building) SubClassOf(:ApartmentBuilding :ResidentialBuilding) FunctionalObjectProperty(:numberOfunits) ObjectPropertyDomain(:numberOfunits :ResidentialBuilding) ObjectPropertyRange(:numberOfunits ObjectOneOf(:two :one :moreThanTwo)) FunctionalObjectProperty(:ownership) ObjectPropertyDomain(:ownership :ResidentialBuilding) ObjectPropertyRange(:ownership ObjectOneOf(:rental :ownerOccupied :coop)) EquivalentClasses(:ApartmentBuilding ObjectIntersectionOf( :ApartmentBuilding ObjectHasValue(:numberOfunits :moreThanTwo) ObjectHasValue(:ownership :rental))) )