Ontology-guided Conceptual Analysis of Design Specications