$Id: military4.owl,v 1.4 2003/08/28 15:59:52 kenb Exp $ Military Unit ontology and annotation. This annotation is consistent. Every unit is contained in exactly one other unit. The battalion is contained in itself. However, consistency is hard to verify because the annotation uses the contains property while the constraints are in terms of the inverse containedIn property. One must also make use of the subClassOf property. Military Unit 1 Company Platoon contained in contains