Difference between revisions of "ELK 0.1.0"

From Protege Wiki
Jump to: navigation, search
(Created page with "{{VersionOfPlugin |VersionOf=ELK |Number=0.1.0 |LastUpdate=July 19, 2011 |File=http://code.google.com/p/elk-reasoner/downloads/list |CompatibleWith1=Protege-OWL 4.0 |CompatibleWi...")
 
(fixed compatibility claims)
 
(3 intermediate revisions by the same user not shown)
Line 4: Line 4:
 
|LastUpdate=July 19, 2011
 
|LastUpdate=July 19, 2011
 
|File=http://code.google.com/p/elk-reasoner/downloads/list
 
|File=http://code.google.com/p/elk-reasoner/downloads/list
|CompatibleWith1=Protege-OWL 4.0
+
|CompatibleWith1=Protege-OWL 4.1
|CompatibleWith2=Protege-OWL 4.0.1
+
|DependsOn1=Protege-OWL
|CompatibleWith3=Protege-OWL 4.0.2
+
|Changelog=See [[ELK 0.1.0|here]]
|Changelog=ELK 0.1.0 is the very first release of ELK. It still has only limited support for OWL constructs and does not yet implement all reasoning tasks that the OWL API includes. Its main features are:
+
}}
 +
<div style="clear: both; "></div>
 +
ELK 0.1.0 is the very first release of ELK. It still has only limited support for OWL constructs and does not yet implement all reasoning tasks that the OWL API includes. Its main features are:
  
 
* Reasoning tasks: classification and consistency checking
 
* Reasoning tasks: classification and consistency checking
Line 15: Line 17:
 
* Command line interface
 
* Command line interface
 
* Parser for input files in OWL 2 Functional Style Syntax
 
* Parser for input files in OWL 2 Functional Style Syntax
}}
+
 
 +
ELK can be run in all operating systems that support Java 1.5 or above, but early releases do not yet support all features of OWL 2 EL. For further details, please see the [http://code.google.com/p/elk-reasoner/wiki/ELK_Documentation online documentation]. The [http://groups.google.com/group/elk-reasoner-discussion ELK reasoner discussion group] is available for further discussions.

Latest revision as of 04:23, August 3, 2011

ELK 0.1.0

Version 0.1.0
Plugin ELK
Last update July 19, 2011
Download ELK 0.1.0
Compatible Protege Version

Dependency

The following dependencies exist for ELK 0.1.0:

Changelog

See here


ELK 0.1.0 is the very first release of ELK. It still has only limited support for OWL constructs and does not yet implement all reasoning tasks that the OWL API includes. Its main features are:

  • Reasoning tasks: classification and consistency checking
  • Supported OWL constructs: ELH fragment + transitivity (ObjectIntersectionOf, ObjectSomeValuesFrom, SubClassOf, EquivalentClasses, SubObjectPropertyOf, TransitiveObjectProperty)
  • Optional OWL API bindings
  • Protégé plugin (can also be used in Snow Owl)
  • Command line interface
  • Parser for input files in OWL 2 Functional Style Syntax

ELK can be run in all operating systems that support Java 1.5 or above, but early releases do not yet support all features of OWL 2 EL. For further details, please see the online documentation. The ELK reasoner discussion group is available for further discussions.