InPhO Answer Set Program (ASP)

Dependencies

The Answer Set Program (ASP) requires downloading DLV-Prolog, which is licensed for free academic use.

Steps

1. Create a file classes.txt that contains the taxonomic heirarchy, or use the classes.inpho.txt file that contains the InPhO seed taxonomy.
2. Create a file evals.txt that contains the evaluations
3. Run dlv -pfilter=class,isa,ins,link classes.txt evals.txt program.txt 1> output.txt

Displaying in inphosite

A loose sketch that assumes a working install of the inpho package and a database backup with the Idea table already populated.

1. python toinpho.py output.txt
2. git clone git@github.com:inpho/inphosite.git
3. cd inphosite
4. virtualenv sandbox --no-site-packages
5. source sandbox/bin/activate
6. git checkout dynamic-display
7. python setup.py develop
8. Create a development.ini file:
   1. cp template.ini development.ini
   2. Modify the sqlalchemy.url directive to match the one in ~/.config/inpho/inpho.ini
9. paster serve development.ini

Citation

Mathias Niepert, Cameron Buckner, Colin Allen. Answer Set Programming on Expert Feedback to Populate and Extend Dynamic Ontologies. Proceedings of the 21st International FLAIRS Conference, Coconut Grove, Florida, pages 500-505, AAAI Press, 2008. PDF