Formal Ontology

An ontology that uses mathematical and logical concepts to represent knowledge.