# The great table of ontologies

This big table summarize 5 notations used with formal ontologies in OWL: description logics, the syntax of the Protégé editor, the syntax of Owlready2 in Python, and the semantics in first-order logic and in set formula. Keep on hand when working on formal ontologies!

You can download the great table of ontologies.