search

thahmann / macleod

Ontology development environment for Common Logic (CL)
Other
23 stars 9 forks source link

Feature request: Collate import closure into a single CLIF file #31

Open carmenchui opened 6 years ago

carmenchui commented 6 years ago

There are times where we need a list of all axioms found in a theory in one single CLIF file to make it easier to view all of the axioms in one place.

While the current macleod scripts do do this with the LADR and TPTP conversions, we would also be interested in having this in the CLIF format.

e.g., take http://colore.oor.net/fount/fount.clif for example -- this is a theory that imports a lot of theories.

Due to the sheer volume of imports, it is not manageable to do the imports manually (through copying and pasting), so it might be beneficial to have a script that can do this automatically when the imports are parsed in the macleod GUI.

thahmann commented 3 years ago

@carmenchui : is this still something that is relevant? I think we might be able to do this now

carmenchui commented 3 years ago

@thahmann I think it is still useful and relevant feature to have, especially to quickly check for typos or to see all the axioms in one file (instead of opening several if there are lots of imports).