ELK 0.1.0 - Revision history

Markus Krötzsch: fixed compatibility claims

2011-08-03T11:23:01Z

fixed compatibility claims

Markus Krötzsch at 08:44, August 2, 2011

2011-08-02T08:44:48Z

Markus Krötzsch: formatted changelog in a more convenient way

2011-08-02T08:27:47Z

formatted changelog in a more convenient way

Markus Krötzsch at 08:22, August 2, 2011

2011-08-02T08:22:35Z

Markus Krötzsch: 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..."

2011-08-02T08:22:04Z

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..."

New page

{{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
|CompatibleWith2=Protege-OWL 4.0.1
|CompatibleWith3=Protege-OWL 4.0.2
|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
}}

@@ Line 4: / Line 4: @@
 |LastUpdate=July 19, 2011
 |File=http://code.google.com/p/elk-reasoner/downloads/list
-|CompatibleWith1=Protege-OWL 4.0
+|CompatibleWith1=Protege-OWL 4.1
 |DependsOn1=Protege-OWL
 |Changelog=See [[ELK 0.1.0|here]]
 }}
 <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:

@@ Line 7: / Line 7: @@
 |CompatibleWith2=Protege-OWL 4.0.1
 |CompatibleWith3=Protege-OWL 4.0.2
-|DependsOn1=Java 1.5 (or above)
+|DependsOn1=Protege-OWL
 |Changelog=See [[ELK 0.1.0|here]]
 }}

@@ Line 8: / Line 8: @@
 |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=See [[ELK 0.1.0|here]]
 * Reasoning tasks: classification and consistency checking
@@ Line 16: / Line 20: @@
 * Command line interface
 * Parser for input files in OWL 2 Functional Style Syntax
-}}