search

scalation / analytics

ScalaTion Analytics Ontology
MIT License
7 stars 1 forks source link

Sample Project using HermiT Reasoner #3

Closed mepcotterell closed 9 years ago

mepcotterell commented 9 years ago

In this pull request, I've added a sample Scala/SBT project that use the OWL API and HermiT reasoner to check that the ontology is consistent. Eventually, this should be extended to create and classify individuals using inference. Also, this assumes the stable copy of the ontology hosted on the master branch (and not necessarily the local copy associated with this branch.

Feel free to discuss this in the comments section before accepting the pull request.

mepcotterell commented 9 years ago

I also went ahead and set the IRI of the ontology to the URL of the file hosted on the master branch. In addition to that, I updated the README.md file reflect this change.

mepcotterell commented 9 years ago

Just added the ability to load from the local OWL file instead of the remote (stable) OWL file. This will probably be good for testing.

mvnural commented 9 years ago

I've run this on my laptop and seems great so far. Merging the request and closing.