Fork me on GitHub


Using OnToology: Tutorial


1. Enter your repository i.e. myuser/myrepo

Enter the repository that you want OnToology to track. At the moment we only support user repositories. If you have an organization repository (or a repository that is not under your repository) you can fork that repository and add the fork url (your-username/the-repo-name).


2. Github redirects

If it is your first time, OnToology will redirect you to GitHub. This step is needed to authorize OnToology to track your repository.


3. Authorize OnToology to access your repository by clicking on "Authorize Application"

By clicking on "Authorize Application", you authorize OnToology to track your repository.


4. Click on the pull requests

Once you make a change to any of your ontologies (in the tracked repository) and push these changes, OnToology will (re)generate the associated documentation, diagrams and evaluation reports; and will create a pull request for your approval.


5. Click on OnToology pull request

Next, you will need to click on the pull request generate by OnToology so see the changes and merge it to your repository.


6. Merge this pull request

Click on the "Merge pull request" button to accept the generated resources to your repository.


7. Confirm to merge the pull request

GitHub requires you to confirm the pull request to accept the changes (resources generated by OnToology). Simply click on the "Confirm merge" button.


8. Now it is merged and you will see OnToology folder with all generated files inside

All the generated resources are located under a folder called "OnToology" in your repository, the structured of your repository is mimicked inside the "OnToology" folder.