3. What conclusions can be derived from this TBOX+ABOX? Is it consistent?
The ABox is NOT consistent with the TBox because the definition of the FamilyEnterprise is an Enterprise with at most 4 employees. However in the ABox there are 5 instances employed by SmithBrothers, a FamilyEnterprise.
Conclusions that can be derived:
- Alcatel is a HighTechEnterprise, an IndustrialEnterprise and a BigEnterprise  (BigEnterprise is subsumed by IndustrialEnterprise).
- Jim, Bob, Joe, Anne are employees of Alcatel because they either manage an entity being part of Alcatel (and this is subsumed by the Employee concept) either are employed by parts of Alcatel.
- Jim is a TopManager as he is managing Alcatel an instance of a BigEnterprise. He also manages a Department called AD3 in the absence of the Unique Name Assumption.
- DL does not make the Close World Assumption so we can find interpretations in which AD3 is a Department of Alcatel given that Jim is a Manager of AD3 and employee of Alcatel.
- Bob is a Boss. He manages Anne and Joe.