https://protegewiki.stanford.edu/index.php?action=history&feed=atom&title=ELK_0.3.0 2026-05-01T05:10:11Z Revision history for this page on the wiki MediaWiki 1.27.7 https://protegewiki.stanford.edu/index.php?title=ELK_0.3.0&diff=11124&oldid=prev 2012-07-29T15:46:41Z

<p>new ELK release 0.3.0</p> <p><b>New page</b></p><div>{{VersionOfPlugin<br /> |VersionOf=ELK<br /> |Number=0.3.0<br /> |LastUpdate=19 July 2012<br /> |File=http://code.google.com/p/elk-reasoner/downloads/list<br /> |CompatibleWith1=Protege-OWL 4.1<br /> |CompatibleWith2=Protege-OWL 4.2<br /> |DependsOn1=Protege-OWL<br /> |Changelog=See [[ELK 0.3.0|here]]<br /> }}<br /> &lt;div style=&quot;clear: both; &quot;&gt;&lt;/div&gt;<br /> ELK 0.3.0 is the third release of ELK. It adds improved support for OWL constructs, including assertions and disjoint classes, implements additional reasoning tasks, and improves Protégé integration. Its main features are:<br /> <br /> * Reasoning tasks: classification, consistency checking, instance retrieval<br /> * Supported OWL constructs: property chains, owl:Nothing, class disjointness, class intersection, object property domains, class and property assertions, reflexive properties, and DataHasValue<br /> * OWL API bindings<br /> * Protégé plugin (can also be used in Snow Owl)<br /> * Command line interface<br /> * Parser for input files in OWL 2 Functional Style Syntax<br /> <br /> There is also a [http://elk-reasoner.googlecode.com/svn/m2/site/elk-distribution/changes-report.html full list of changes] available online.<br /> <br /> 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.</div>

Markus Krötzsch