Formal Specification § Group: 4 #group-4 Relations § Ontology: Ontologies formally specify concepts and relationships