12
Sycara and Paolucci
OWL as Description Logics Language
*Subset of First Order Logics used to describe objects in a domain
*Allows three types of objects
*Concepts: describe general concepts of things in the domain
•They are usually represented as sets
•Ex: Bird: the generic description of bird (or whatever is common to all the things that are birds)
*Individuals: an object in the domain
•Ex: Tweedy the bird
*Properties: relations between concepts
•One special relation is ISA (or subclassOf)
•Ex: Bird isa Animal or Bird has Wing
*Superficially OO looking