Validation vs. Inference
- there's a certain tension between use of Restrictions
for validation vs. "inference opportunities"
- DAML+OIL generally favors inference
- e.g. we specify
that every
Person
has 2 parents,
although this Restriction couldn't be satisfied by
all instances in any finite knowledge base