Imports in occupy_def correct?

[thahmann]

in occupy/definitions/occupy_def.clif I changed the import
(cl-domain region (cl-imports http://colore.oor.net/mereology/mereology_def.clif))
to
(cl-domain region (cl-imports http://colore.oor.net/mereology/definitions/ppart.clif))
because no file mereology_def exists and only the ppart relation from the mereology is used.

[thahmann]

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

[carmenchui]

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