The great table of formal ontology notations

Posted by Jiba on
URL: http://owlready.306.s1.nabble.com/The-great-table-of-formal-ontology-notations-tp362.html

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