Open tillmo opened 10 years ago
Could you elaborate a little bit more on this? (for example proposed languages, should this be a dsl, whats with safety guard checks (malicious code)? who authorizes plugins?)
this is a large issue, probably a Bachelor thesis
Based on #1071 and the API, others should be able to write plug-ins for Ontohub, e.g. for translations between different logics, for parsing, printing in different serializations, pretty printing etc.