ELK

From Semantic Web Standards

ELK

Name of the tool:	ELK
Home page:	http://elk-reasoner.googlecode.com/
Date of latest release:
Programming language(s) that can be used with the tool:	Java
Relevant semantic web technologies:	OWL
Categories:	Reasoner, Programming Environment, OWL Reasoner
See also:
Public mailing list:	http://groups.google.com/group/elk-reasoner-discussion
Preferred project URI:
DOAP reference:
Company or institution:	University of Oxford

(Tool description last modified on 2011-8-3.)

Description

ELK is a free and open source reasoner for the lightweight ontology profile of OWL EL. It is based on Java and can be controlled using the OWL API, Protégé, the Snow Owl ontology editor, or a basic command line interface. ELK is available under the Apache License 2.0.