Skip to content

backup of @thahmann's macleod (python2 version) from april 2016 commit

License

GPL-3.0, Unknown licenses found

Licenses found

GPL-3.0
LICENSE
Unknown
LICENCE.txt
Notifications You must be signed in to change notification settings

carmenchui/macleod_py2

Repository files navigation

macleod (Python2 Version - working on mac os x 10.10+)

backup version of @thahmann's macleod scripts that run on Python2 (unsure if this copy is older than the following commit: https://github.com/thahmann/macleod/tree/fa5c900afdb46b34be85865b07ad68b0a520d09b)

the following scripts are unmodified from the original source; this repo is meant as a backup of a working version prior to the python3 change, along with any associated instructions to help users get this running on their macs

Installation:

the scripts appear to run on python 2.7 on mac os x 10.10+ (yosemite or higher)

  1. clone repo or download zip from github
  2. change file paths in macleod_mac.conf (see conf/ folder)
  3. create provers/ folder with the mac ladr and vampire binaries - send me a msg if you need them but the vampire_mac binaries i have are very old and am unsure if they work
  4. give macleod_py2 folder executable permission (just in case os-level permission errors show up)
chmod +x macleod_py2
  1. check your python version (should be python 2.7)
python --version
  1. install pip and texttable if you haven't already
sudo easy_install pip
sudo pip install texttable
  1. add src/ and task/ folders to PYTHONPATH variable on your machine
echo $PYTHONPATH
export PYTHONPATH=/path/to/macleod_py2/src:/path/to/macleod_py2/tasks:$PYTHONPATH

if you want to add this to the PYTHONPATH permanently, you will need to modify ~/.bash_profile by appending this at the end of the file (located in home directory; e.g., /Users/cchui/ - this is a hidden file, make sure you enabled viewing hidden files in Finder)

export PYTHONPATH=/path/to/macleod_py2/src:/path/to/macleod_py2/tasks:$PYTHONPATH
  1. navigate to gui folder and run the gui script
ls
cd macleod_py2
python gui/gui_alpha.py
  1. open a clif file and see if it parses the imports correctly - if doing nested imports, your file directory in macleod_mac.conf must be accurate otherwise you will get errors gui
  2. click buttons to do desired translations or run consistency check

Consistency Check:

  • ladr consistency check appears to work consistency
  • vampire has been disabled in the provers section of macleod_mac.conf because it throws an OS-level error with python and it causes macleod to hang (will look at this later but it might also be because the vampire_mac binaries are too old)

Translations:

tested and confirmed to work for:

  • clif to ladr translation
  • clif to tptp translation

translations will go into the /generated and /conversions file of wherever you store your ontologies (in this case, mine go to the colore repository)

tptp

Noted Errors:

gui does hang for a little bit if working with big files (be patient?? make a cuppa)

About

backup of @thahmann's macleod (python2 version) from april 2016 commit

Topics

Resources

License

GPL-3.0, Unknown licenses found

Licenses found

GPL-3.0
LICENSE
Unknown
LICENCE.txt

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published