This file stores an ontology useful for modelling the
office allocation problem.
This problem was designed to compare knowledge acquisition tools.
our (nice but brittle) hierarchy browser to visualize and navigate the
concept types Isa hierarchy of this ontology.
Thing > (Organization Person Location Process);
Organization > Project Research_group;
Person > Employee (Smoker Non_smoker);
Employee > (Manager Secretary Researcher);
Researcher > (Group_head Large_project_head Simple_researcher);
Location > Office;
Office > Central_office (Small_office Large_office);
Central_office > (Small_central_office Large_central_office);
Small_office > (Small_central_office Small_and_not_central_office);
Large_office > (Large_central_office Large_and_not_central_office);
Process > (Hack Smoke);
Agent (Process, Person);
Project (Person, Project);
In (Person, Office);
Near (Location, Location);