Skip to content

Representation of major Description logics and their properties in ASP

License

Notifications You must be signed in to change notification settings

muhammedabuali/DL_in_ASP

Repository files navigation

Instructions:

ASP

Install clingo and add it to the PATH variable

The server

  • checkout the gui directory
  • install flask using a python virtual environment
  • to run the flask server
export FLASK_APP=main.py
flask run

The frontend

  • checkout the frontend directory
  • run npm install
  • to start the vue server run
npm run serve

About

Representation of major Description logics and their properties in ASP

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published