This version allows to keep track of the many TODO to answer. For the time being the ontology is inconsistent due to mainly the "models" property restriction that was done. This is to be solved very soon after agreement.