ELK - Revision history

Samsontu at 05:05, February 18, 2022

2022-02-18T05:05:02Z

Petesko at 16:45, January 14, 2016

2016-01-14T16:45:57Z

Petesko at 16:12, January 14, 2016

2016-01-14T16:12:12Z

JenniferVendetti at 00:10, July 25, 2013

2013-07-25T00:10:12Z

Klinovp at 11:37, July 24, 2013

2013-07-24T11:37:18Z

Klinovp at 11:16, July 24, 2013

2013-07-24T11:16:14Z

Markus Krötzsch: more developers, more affiliations

2012-07-29T15:48:44Z

more developers, more affiliations

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

2011-08-02T08:34:55Z

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

2011-08-02T08:23:47Z

Markus Krötzsch: information about new ELK reasoner plugin

2011-08-02T08:18:06Z

information about new ELK reasoner plugin

New page

{{Plugin
|Description=ELK is a free and open source reasoner for the lightweight ontology language OWL 2 EL.
|PluginType=Reasoner
|ForApplication1=Protege-OWL
|HomepageURL=http://elk-reasoner.googlecode.com/
|DeveloperID1=Yevgeny Kazakov
|DeveloperID2=Markus Krötzsch
|DeveloperID3=František Simančík
|LastUpdated=July 19, 2011
|Topic1=Reasoning
|Topic2=Inference
|License=Apache License 2.0
|Affiliation1=University of Oxford
}}

<div style="clear: both; "></div>
The ELK reasoner is based on Java and can be controlled using the [http://owlapi.sourceforge.net/ OWL API], Protégé, the [http://www.b2international.com/portal/snow-owl Snow Owl] ontology editor, or a basic command line interface. ELK is available under the Apache License 2.0.

ELK is very fast. It can classify the SNOMED CT ontology with around 300,000 classes in less than 4 seconds on a modern laptop (details can be found in a [http://korrekt.org/page/Concurrent_Classification_of_EL_Ontologies_(Technical_Report) technical report]). This is achieved by highly optimized consequence-based reasoning algorithms that can also take advantage of multi-core CPUs.

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

@@ Line 16: / Line 16: @@
 |Affiliation2=University of Ulm
 }}
 <div style="clear: both; "></div>
 The ELK reasoner is based on Java and can be controlled using the [http://owlapi.sourceforge.net/ OWL API], Protégé, the [[Snow Owl]] ontology editor, or a basic command line interface. ELK is available under the Apache License 2.0.
@@ Line 23: / Line 21: @@
 ELK is very fast. It can classify the SNOMED CT ontology with around 300,000 classes in less than 4 seconds on a modern laptop (details can be found in a [http://korrekt.org/page/Concurrent_Classification_of_EL_Ontologies_(Technical_Report) technical report]). This is achieved by highly optimized consequence-based reasoning algorithms that can also take advantage of multi-core CPUs.
-ELK can be run in all operating systems that support Java 1.6 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.
+ELK can be run in all operating systems that support Java 1.6 or above, but early releases do not yet support all features of OWL 2 EL. For further details, please see the [https://github.com/liveontologies/elk-reasoner/wiki online documentation]. The [http://groups.google.com/group/elk-reasoner-discussion ELK reasoner discussion group] is available for further discussions.

@@ Line 16: / Line 16: @@
 }}
 <div style="clear: both; "></div>
 The ELK reasoner is based on Java and can be controlled using the [http://owlapi.sourceforge.net/ OWL API], Protégé, the [[Snow Owl]] ontology editor, or a basic command line interface. ELK is available under the Apache License 2.0.

@@ Line 8: / Line 8: @@
 |DeveloperID3=František Simančík
 |DeveloperID4=Pavel Klinov
-|LastUpdated=July 19, 2011
+|LastUpdated=July 20, 2013
 |Topic1=Reasoning
 |Topic2=Inference
@@ Line 15: / Line 15: @@
 |Affiliation2=University of Ulm
 }}
 <div style="clear: both; "></div>
 The ELK reasoner is based on Java and can be controlled using the [http://owlapi.sourceforge.net/ OWL API], Protégé, the [[Snow Owl]] ontology editor, or a basic command line interface. ELK is available under the Apache License 2.0.

← Older revision		Revision as of 11:16, July 24, 2013
Line 20:		Line 20:
	ELK is very fast. It can classify the SNOMED CT ontology with around 300,000 classes in less than 4 seconds on a modern laptop (details can be found in a [http://korrekt.org/page/Concurrent_Classification_of_EL_Ontologies_(Technical_Report) technical report]). This is achieved by highly optimized consequence-based reasoning algorithms that can also take advantage of multi-core CPUs.		ELK is very fast. It can classify the SNOMED CT ontology with around 300,000 classes in less than 4 seconds on a modern laptop (details can be found in a [http://korrekt.org/page/Concurrent_Classification_of_EL_Ontologies_(Technical_Report) technical report]). This is achieved by highly optimized consequence-based reasoning algorithms that can also take advantage of multi-core CPUs.

−	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.	+	ELK can be run in all operating systems that support Java 1.6 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.

← Older revision		Revision as of 08:23, August 2, 2011
Line 19:		Line 19:
	ELK is very fast. It can classify the SNOMED CT ontology with around 300,000 classes in less than 4 seconds on a modern laptop (details can be found in a [http://korrekt.org/page/Concurrent_Classification_of_EL_Ontologies_(Technical_Report) technical report]). This is achieved by highly optimized consequence-based reasoning algorithms that can also take advantage of multi-core CPUs.		ELK is very fast. It can classify the SNOMED CT ontology with around 300,000 classes in less than 4 seconds on a modern laptop (details can be found in a [http://korrekt.org/page/Concurrent_Classification_of_EL_Ontologies_(Technical_Report) technical report]). This is achieved by highly optimized consequence-based reasoning algorithms that can also take advantage of multi-core CPUs.

−	~~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:~~	+	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.
−
−	* 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. 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.

@@ Line 3: / Line 3: @@
 |PluginType=Reasoner
 |ForApplication1=Protege-OWL
-|HomepageURL=http://elk.semanticweb.org/
+|HomepageURL=https://www.cs.ox.ac.uk/isg/tools/ELK/
 |DeveloperID1=Yevgeny Kazakov
 |DeveloperID2=Markus Krötzsch