Ontology example

7. Make definitions precise

Decisions to make

Property value types

• Boolean
• Integer
• Real
• Enumerated
• Literal
• Date
• Etc.

Mutually exclusive classes?

Exhaustive property values and classes?

Other entailments?