This is an alternative to #264 to keep the project name property for the time being and allow it to be renamed from the UI.
The fact is that it is not clear how to deal with the case where the ontology IRI has not short form (think of suggested save file names for which we currently use the project name).
We can consider again removing it when we figure this out.
This is an alternative to #264 to keep the project name property for the time being and allow it to be renamed from the UI.
The fact is that it is not clear how to deal with the case where the ontology IRI has not short form (think of suggested save file names for which we currently use the project name).
We can consider again removing it when we figure this out.