17
Sycara and Paolucci
What are Description Logics good for
*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
*