| Property | Developers | Dimensions | Languages | SID |
|---|
1
| Aristotle | Aristotle | 10 concepts | | ^AristotleOntology | 2
| BFO | Smith, Grenon, Stenhorn, Spear | 36 classes related via the is_a relation | OWL | ^Bfo | 3
| Cyc | Cycorp | about 300.000 concepts, 3.000.000 assertions (facts and rules), 15.000 relations (these numbers include microtheories) | CycL, OWL | ^CycOntology | 4
| DOLCE | Guarino and other researchers of the LOA | About 100 concepts and 100 axioms | First Order Logic, KIF, OWL | ^DolceOntology | 5
| GFO | The Onto-Med Research Group | 79 classes, 97 sublasses-relations, 67 properties | First Order Logic, KIF, OWL | ^Gfo | 6
| GFO | The Onto-Med Research Group | 79 classes, 97 sublasses-relations, 67 properties | First Order Logic, KIF, OWL | ^GFO | 7
| Ontology4 | bense.com | 400 concepts, 250 relations, 150 verbs / activities | PQL, OQL, SQL | ^O4Ontology | 8
| PROTON | Ontotext Lab, Sirma | 300 concepts and 100 properties | OWL Lite | ^PROTON | 9
| schema.org | Sponsors: Google, Yahoo, Microsoft | 130 concepts | | ^schema.org | 10
| Sextett Ontology | | | | ^SextettOntology | 11
| Sowa | Sowa | 30 classes, 5 relationships, 30 axioms | First Order Modal Language, KIF | ^SowaOntology | 12
| SUMO | Niles, Pease, Menzel | 20.000 terms and 60.000 axioms (including domain ontologies) | SUO-KIF, OWL | ^SumoOntology |
|