Project Proposal: Formal Ethics Ontology in SUMO ∗