The great table of formal ontology notations

[Jiba]

Hello,

I've done a big table that summarizes 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. Useful when working on formal ontologies!

You can download the great table of ontologies in PDF here:

        http://www.lesfleursdunormal.fr/static/_downloads/great_ontology_table.pdf

Enjoy,

Best regards,
Jean-Baptiste Lamy
MCF HDR, Laboratoire LIMICS, Université Paris 13

[rdk]

Thanks Jean-Baptiste!
This will be very helpful ;)

Cheers,
Rui