# Alligator: A Deductive Approach for the Integration of Industry 4.0 Standards

This project contains the rules to integrate two AML files using a cannonical model and rules written in ProLog - **Rules4AMLIntegrator**.

## Dependencies
This tool depends on the following software

* Prolog 7.2.3
* JDK 1.8
* Prolog Connector 3.1.2
* Hermit OWL Reasoner 
* OWL API
* Play Framework

Download Prolog: http://www.swi-prolog.org/download/stable
Donwload Prolog Connector: https://sewiki.iai.uni-bonn.de/research/pdt/connector/library
Donwload Hermit OWL Reasoner: http://www.hermit-reasoner.com/download.html
Donwload OWL API: https://sourceforge.net/projects/owlapi/
Donwload Play framework: https://www.playframework.com/download

## IDE support 
The quick and easy way to start compiling, running and coding **Rules4AMLIntegrator** we provide a java project in Eclipse and we a Prolog Connector. Thus, you need to install tools:
* intellij Idea:  https://www.jetbrains.com/idea/

In windows you need to add the following entries system PATH

    $ C:\Program Files\swipl\bin; C:\Program Files\swipl\lib\jpl.jar; C:\PrologConnectorJarFolder\org.cs3.prolog.connector_3.1.2.201504300958.jar;

## Install and build from the source code  
To obtain the latest version of the project please clone the github repository

Naviage to project source in terminal or command prompt 
for windows :
activator run

for linux : 
./activator run

Other possible ways to run :
Launch play framework and import the project and run it from there.


## Updating Krextor Rules 
### What is Krextor?

Krextor is a an extensible XSLT-based framework for extracting RDF from XML.                 

Read more at : https://github.com/EIS-Bonn/krextor

Please navigate to /resources/amlrules/aml.xsl

Here you can update, remove or add rules for RDF conversion.


## License

* Copyright (C) 2015-2016 EIS Uni-Bonn
* Licensed under the Apache License