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