ELK reasoner

CLI based ontology reasoner that supports the OWL 2 EL profile
Download

ELK reasoner Ranking & Summary

Advertisement

  • Rating:
  • License:
  • Apache
  • Publisher Name:
  • ELK reasoner Team
  • Operating Systems:
  • Mac OS X
  • File Size:
  • 897 KB

ELK reasoner Tags


ELK reasoner Description

ELK is a free and open-source project that aims to create a ontology reasoner with the goal of supporting the OWL 2 EL profile. ELK aims to provide a very fast reasoning engine for OWL EL. At the moment, the supported OWL features and reasoning tasks are still limited (but already sufficient for important ontologies such as SNOMED CT). The final goal of ELK reasoner is to complete the implementation for all OWL EL features and relevant reasoning functions (e.g. for unrestricted use in Protégé) – but this an only be done gradually.Detailed instructions on how to install and use the ELK reasoner utility on your Mac are available HERE.ELK reasoner is a cross-platform utility capable of running on any operating system that comes with Java support (e.g. Mac OS X, Windows, Linux).


ELK reasoner Related Software

About SoftwareSea