/reasoners.examples

Switch branches/tags
Nothing to show
Find file History
reasoners.examples/enridaga.reasoners.examples/
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
..
Failed to load latest commit information.
owl
owl2
owlmini
rdfs
.gitignore
README.md

README.md

Example ontologies to test the different reasoners

The snippets are organized in the following folders:

  • /rdfs : work with Jena RDFS, OWLMini, OWL and HermiT
  • /owlmini : work with Jena OWLMini, OWL and HermiT
  • /owl : work with Jena OWL and HermiT
  • /owl2 : work with HermiT