Foundational Ontology Comparison: Representation Languages

Representation languages are those used to represent and describe an ontology.

• DOLCE: FOL, KIF, OWL DL, OWL 2 DL
• BFO: OBO, FOL, KIF, All OWL species
• GFO: OWL DL, OWL 2 DL
• SUMO: SUO-KIF, OWL DL