Skip to content

Reasoning engine of the tool. It includes DL/OWL and OWLlink processing and connectors to the automated reasoners Racer and Konclude

License

Notifications You must be signed in to change notification settings

iamcrowd/reasoning

Repository files navigation

tests overall_tests

Reasoner API Back-end

API entry points:

  • querying/*.php
  • translate/*.php

Requirements

This section describe the requirements and configurations needed to run this module.

Configs

This module requires configuration. See config/* files.

  • Set the temporal path.
  • Reasoner paths.

Dependencies

  • run php composer.phar update

Reasoner Programs

This module requires third party applications. See http://crowd.fi.uncoma.edu.ar/reasoners/ URL to download them.

The reasoners should be installed at the run/ directory. Write the path at the config.php file.

Remember to set executable perms to the reasoners:

chmod +x run/Racer run/Konclude

Create a blank file at run/input-file.owllink.

Testing

The tests directory has got all the PHP tests.

PHPUnit

Test can be executed using PHPUnit. Download it from https://phpunit.de/ and make it available on your PATH. Remember to check your repository if you are using a GNU/Linux distribution.

License

AGPL3 logo

This work is under the Affero General Public License version 3. See the complete text at the COPYING.txt file or at the following URL: https://www.gnu.org/licenses/agpl-3.0.html

About

Reasoning engine of the tool. It includes DL/OWL and OWLlink processing and connectors to the automated reasoners Racer and Konclude

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages