/* An ontology about the managers and employees of some company. */

Types:

   Import Act, Person, Organization, Relationship
      from "http://www.jfsowa.com/ontology/sample.htm".

   CEO < Manager < Employee < Person.

   Manage < Act.

   Report < Act.

   Company < Organization.

   DottedLine < Relationship.

Vocabulary:

   Import * from "http://www.jfsowa.com/ontology/sample.htm".

   CEO; noun, plural -s, functional; type CEO.

   chief executive officer; noun, plural -s, functional; type CEO.

   dotted line; noun, plural -s; type DottedLine.

Patterns:

   An employee of a company.

   A manager in a company.

   The CEO of a company.

   An employee works for a company.

   A manager manages an employee.

   An employee reports to an employee.

   An employee directly reports to a manager.

   /* An employee could report "by a dotted line" to a manager in    */
   /* another division or to a project leader who is not a manager.  */

   An employee reports to an employee by a dotted line.

Constraints:

A person works for a company,
if and only if
the person is an employee of the company.

An employee x of a company is a manager in the company,
if and only if
the employee x manages another employee of the company.

A manager of a company manages an employee of the company,
if and only if
the employee directly reports to that manager.

If an employee of a company directly reports
   to a manager x in the company,
then the employee does not directly report
   to any other manager in the company.

/* The next two paragraphs are a recursive definition of "reports to" */
/* as the transitive closure of "directly reports to".                */

Every employee who directly reports to a manager reports to that manager.

If an employee x of a company directly reports
   to a manager y in the company,
and the manager y reports to a manager z in the company,
then the employee x reports to the manager z.

If an employee x reports to an employee y by a dotted line,
then the employee x reports to the employee y
     but does not directly report to y.

For every company,
exactly one manager in the company is the CEO of the company;
every employee of the company except the CEO reports to the CEO;
the CEO of the company does not report to any employee of the company.