Difference between revisions of "ELK 0.1.0"
From Protege Wiki
(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...") |
m |
||
| Line 7: | Line 7: | ||
|CompatibleWith2=Protege-OWL 4.0.1 | |CompatibleWith2=Protege-OWL 4.0.1 | ||
|CompatibleWith3=Protege-OWL 4.0.2 | |CompatibleWith3=Protege-OWL 4.0.2 | ||
| + | |DependsOn1=Java 1.5 (or above) | ||
|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: | |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: | ||
Revision as of 00:22, August 2, 2011
ELK 0.1.0
Dependency
The following dependencies exist for ELK 0.1.0:
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:
- 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
