Local Restrictions
- RDF properties are first-class objects
- RDFS allows us to specify global
domain and range
restrictions on properties
- DAML+OIL allows us to specify local restrictions
on how a property is used within a specific class, e.g.
the father of a Person
is also a Person,
while the father of a Dog
is also a Dog
- instances of a subclass have to satisfy all of the contraints on
their superclasses
- subclass consistency can be checked with tools such as
ConsVISor
