not a meaningful question for an expressive logic
Sigma knowledge engineering system is an system for developing, viewing and debugging theories in first order logic. It works with Knowledge Interchange Format (KIF) and is optimized for the Suggested Upper Merged Ontology (SUMO) www.ontologyportal.org
This question seems to presuppose description logic
because in an expressive logical language there is no such "proper" separation
Sigma can do full first order and higher order consistency checking of ontologies through automated theorem proving. Sigma also provides a number of other static checks on the ontologies and their mappings to WordNet.