Formalizing Specialized Knowledge Events in Satellite Ontologies