Ontology-guided requirements and safety analysis