3
Sycara and Paolucci
What can be said in OWL
*Classes: ComputerManifacturer
*Subclasses:
*ComputerManifacturer < Manifacturer
*Instances: IBM
*Properties: products
*Restriction on properties:
*all products are computers
*Cardinality restrictions:
*At lest two production facilities
*Set Theoretic statements:
*At lest two production facilities
*