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