Imports in occupy_def correct? about colore HOT 2 OPEN

More files attempt to import the file http://colore.oor.net/mereology/definitions/mereology_def.clif and require a fix:

• combined_mereotopology/definitions/mt_def.clif:16
• combined_mereotopology/cmt.clif:17
• occupy/simplicity.clif:17
• mereological_geometry/filter_mg.clif:16
• mereological_geometry/ideal_mg.clif:16
• location_donnelly/definitions/donnelly_def.clif:16
• planar_mereology/atomic_transitive_tripartite.clif:16
• planar_mereology/ideal_pm.clif:16
• mereology/discrete_mereology.clif:16
• mereology/ortho_mereology.clif:16
• location_varzi/region_location.clif:17

from colore.

Hi Torsten @thahmann,

That's odd... the file can't be found in the master branch, but is found in this commit: https://github.com/gruninger/colore/blob/5b8487c9e3d6ecc2bc9f352b1c6af65fdef90f49/ontologies/mereology/definitions/mereology_def.clif

I've copied it back into the master branch of COLORE for now... I think Michael might've created separate definition CLIF files for each of the defined relations -- I know that there's been some discussions about having individual CLIF files for definitions, but I'll have to double check with him to see if we need to update the imports for all of the files you've listed.

Carmen

from colore.