Inheritance (Subsumption)
The properties of the super class are
inherited to the subclass and eventually to the instances
Automatic classification
You can define a new object of type Thing (the
top level node) and depending on its property that object is
automatically classified (and completed)
•Bird
subclassOf Animal with exactly 2 Wing
•Tweedy is an
instance of Thing
•Tweedy has
wing LeftWing
•Tweedy has
wing RightWing
•Tweedy has
not more wings
•Tweedy is
automatically classified as Bird