https://protegewiki.stanford.edu/api.php?action=feedcontributions&user=Markus+Kr%C3%B6tzsch&feedformat=atomProtege Wiki - User contributions [en]2024-03-29T11:37:22ZUser contributionsMediaWiki 1.27.7https://protegewiki.stanford.edu/index.php?title=ELK&diff=11125ELK2012-07-29T15:48:44Z<p>Markus Krötzsch: more developers, more affiliations</p>
<hr />
<div>{{Plugin<br />
|Description=ELK is a free and open source reasoner for the lightweight ontology language OWL 2 EL.<br />
|PluginType=Reasoner<br />
|ForApplication1=Protege-OWL<br />
|HomepageURL=http://elk-reasoner.googlecode.com/<br />
|DeveloperID1=Yevgeny Kazakov<br />
|DeveloperID2=Markus Krötzsch<br />
|DeveloperID3=František Simančík<br />
|DeveloperID4=Pavel Klinov<br />
|LastUpdated=July 19, 2011<br />
|Topic1=Reasoning<br />
|Topic2=Inference<br />
|License=Apache License 2.0<br />
|Affiliation1=University of Oxford<br />
|Affiliation2=University of Ulm<br />
}}<br />
<div style="clear: both; "></div><br />
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.<br />
<br />
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.<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ötzschhttps://protegewiki.stanford.edu/index.php?title=ELK_0.3.0&diff=11124ELK 0.3.02012-07-29T15:46:41Z<p>Markus Krötzsch: new ELK release 0.3.0</p>
<hr />
<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 />
<div style="clear: both; "></div><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ötzschhttps://protegewiki.stanford.edu/index.php?title=ELK_0.2.0&diff=10591ELK 0.2.02011-10-25T15:52:02Z<p>Markus Krötzsch: </p>
<hr />
<div>{{VersionOfPlugin<br />
|VersionOf=ELK<br />
|Number=0.2.0<br />
|LastUpdate=October 25, 2011<br />
|File=http://code.google.com/p/elk-reasoner/downloads/list<br />
|CompatibleWith1=Protege-OWL 4.1<br />
|DependsOn1=Protege-OWL<br />
|Changelog=See [[ELK 0.2.0|here]]<br />
}}<br />
<div style="clear: both; "></div><br />
ELK 0.2.0 is the second 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:<br />
<br />
* Reasoning tasks: classification and consistency checking<br />
* Supported OWL constructs: EL<sup>+</sup> fragment with data literals (including property chains, intersection, object property domains, 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ötzschhttps://protegewiki.stanford.edu/index.php?title=ELK_0.2.0&diff=10590ELK 0.2.02011-10-25T15:51:47Z<p>Markus Krötzsch: </p>
<hr />
<div>{{VersionOfPlugin<br />
|VersionOf=ELK<br />
|Number=0.2.0<br />
|LastUpdate=October 25, 2011<br />
|File=http://code.google.com/p/elk-reasoner/downloads/list<br />
|CompatibleWith1=Protege-OWL 4.1<br />
|DependsOn1=Protege-OWL<br />
|Changelog=See [[ELK 0.2.0|here]]<br />
}}<br />
<div style="clear: both; "></div><br />
ELK 0.2.0 is the second 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:<br />
<br />
<br />
* Reasoning tasks: classification and consistency checking<br />
* Supported OWL constructs: EL<sup>+</sup> fragment with data literals (including property chains, intersection, object property domains, 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ötzschhttps://protegewiki.stanford.edu/index.php?title=ELK_0.2.0&diff=10589ELK 0.2.02011-10-25T15:51:10Z<p>Markus Krötzsch: new release of ELK</p>
<hr />
<div>{{VersionOfPlugin<br />
|VersionOf=ELK<br />
|Number=0.2.0<br />
|LastUpdate=October 25, 2011<br />
|File=http://code.google.com/p/elk-reasoner/downloads/list<br />
|CompatibleWith1=Protege-OWL 4.1<br />
|DependsOn1=Protege-OWL<br />
|Changelog=See [[ELK 0.2.0|here]]<br />
}}<br />
ELK 0.2.0 is the second 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:<br />
<br />
<br />
* Reasoning tasks: classification and consistency checking<br />
* Supported OWL constructs: EL<sup>+</sup> fragment with data literals (including property chains, intersection, object property domains, 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ötzschhttps://protegewiki.stanford.edu/index.php?title=ELK_0.1.0&diff=10377ELK 0.1.02011-08-03T11:23:01Z<p>Markus Krötzsch: fixed compatibility claims</p>
<hr />
<div>{{VersionOfPlugin<br />
|VersionOf=ELK<br />
|Number=0.1.0<br />
|LastUpdate=July 19, 2011<br />
|File=http://code.google.com/p/elk-reasoner/downloads/list<br />
|CompatibleWith1=Protege-OWL 4.1<br />
|DependsOn1=Protege-OWL<br />
|Changelog=See [[ELK 0.1.0|here]]<br />
}}<br />
<div style="clear: both; "></div><br />
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:<br />
<br />
* Reasoning tasks: classification and consistency checking<br />
* Supported OWL constructs: ELH fragment + transitivity (ObjectIntersectionOf, ObjectSomeValuesFrom, SubClassOf, EquivalentClasses, SubObjectPropertyOf, TransitiveObjectProperty)<br />
* Optional 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 />
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ötzschhttps://protegewiki.stanford.edu/index.php?title=ELK_0.1.0&diff=10376ELK 0.1.02011-08-02T08:44:48Z<p>Markus Krötzsch: </p>
<hr />
<div>{{VersionOfPlugin<br />
|VersionOf=ELK<br />
|Number=0.1.0<br />
|LastUpdate=July 19, 2011<br />
|File=http://code.google.com/p/elk-reasoner/downloads/list<br />
|CompatibleWith1=Protege-OWL 4.0<br />
|CompatibleWith2=Protege-OWL 4.0.1<br />
|CompatibleWith3=Protege-OWL 4.0.2<br />
|DependsOn1=Protege-OWL<br />
|Changelog=See [[ELK 0.1.0|here]]<br />
}}<br />
<br />
<div style="clear: both; "></div><br />
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:<br />
<br />
* Reasoning tasks: classification and consistency checking<br />
* Supported OWL constructs: ELH fragment + transitivity (ObjectIntersectionOf, ObjectSomeValuesFrom, SubClassOf, EquivalentClasses, SubObjectPropertyOf, TransitiveObjectProperty)<br />
* Optional 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 />
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ötzschhttps://protegewiki.stanford.edu/index.php?title=Franti%C5%A1ek_Siman%C4%8D%C3%ADk&diff=10375František Simančík2011-08-02T08:42:55Z<p>Markus Krötzsch: Created page with "= František Simančík = As of August 2011, František Simančík is a researcher at the University of Oxford. For up-to-date information, see his [http://www.cs.ox.ac.uk/p..."</p>
<hr />
<div>= František Simančík =<br />
<br />
As of August 2011, František Simančík is a researcher at the [[University of Oxford]]. For up-to-date information, see his [http://www.cs.ox.ac.uk/people/frantisek.simancik/ homepage].<br />
<br />
[[Category:Person]]</div>Markus Krötzschhttps://protegewiki.stanford.edu/index.php?title=Yevgeny_Kazakov&diff=10374Yevgeny Kazakov2011-08-02T08:41:23Z<p>Markus Krötzsch: </p>
<hr />
<div>= Yevgeny Kayakov =<br />
<br />
As of August 2011, Yevgeny Kayakov is a researcher at the [[University of Oxford]]. For up-to-date information, see his [http://www.cs.ox.ac.uk/people/yevgeny.kazakov/ homepage].<br />
<br />
[[Category:Person]]</div>Markus Krötzschhttps://protegewiki.stanford.edu/index.php?title=Markus_Kr%C3%B6tzsch&diff=10373Markus Krötzsch2011-08-02T08:40:55Z<p>Markus Krötzsch: </p>
<hr />
<div>= Markus Krötzsch =<br />
<br />
As of August 2011, Markus Krötzsch is a researcher at the [[University of Oxford]]. For up-to-date information, see his [http://korrekt.org/ homepage].<br />
<br />
[[Category:Person]]</div>Markus Krötzschhttps://protegewiki.stanford.edu/index.php?title=Markus_Kr%C3%B6tzsch&diff=10372Markus Krötzsch2011-08-02T08:40:30Z<p>Markus Krötzsch: Created page with "As of August 2011, Markus Krötzsch is a researcher at the University of Oxford. For up-to-date information, see his [http://korrekt.org/ homepage]. Category:Person"</p>
<hr />
<div>As of August 2011, Markus Krötzsch is a researcher at the [[University of Oxford]]. For up-to-date information, see his [http://korrekt.org/ homepage].<br />
<br />
[[Category:Person]]</div>Markus Krötzschhttps://protegewiki.stanford.edu/index.php?title=Yevgeny_Kazakov&diff=10371Yevgeny Kazakov2011-08-02T08:39:33Z<p>Markus Krötzsch: Created page with "As of August 2011, Yevgeny Kayakov is a researcher at the University of Oxford. For up-to-date information, see his [http://www.cs.ox.ac.uk/people/yevgeny.kazakov/ homepage]...."</p>
<hr />
<div>As of August 2011, Yevgeny Kayakov is a researcher at the [[University of Oxford]]. For up-to-date information, see his [http://www.cs.ox.ac.uk/people/yevgeny.kazakov/ homepage].<br />
<br />
[[Category:Person]]</div>Markus Krötzschhttps://protegewiki.stanford.edu/index.php?title=ELK&diff=10370ELK2011-08-02T08:34:55Z<p>Markus Krötzsch: </p>
<hr />
<div>{{Plugin<br />
|Description=ELK is a free and open source reasoner for the lightweight ontology language OWL 2 EL.<br />
|PluginType=Reasoner<br />
|ForApplication1=Protege-OWL<br />
|HomepageURL=http://elk-reasoner.googlecode.com/<br />
|DeveloperID1=Yevgeny Kazakov<br />
|DeveloperID2=Markus Krötzsch<br />
|DeveloperID3=František Simančík<br />
|LastUpdated=July 19, 2011<br />
|Topic1=Reasoning<br />
|Topic2=Inference<br />
|License=Apache License 2.0<br />
|Affiliation1=University of Oxford<br />
}}<br />
<br />
<div style="clear: both; "></div><br />
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.<br />
<br />
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.<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ötzschhttps://protegewiki.stanford.edu/index.php?title=University_of_Oxford&diff=10369University of Oxford2011-08-02T08:33:39Z<p>Markus Krötzsch: Created page with "{{Organization |HomepageURL=http://www.ox.ac.uk/ |Description=The University of Oxford is a world-renowned university in the United Kingdom. }} <div style="clear: both; "></div> ..."</p>
<hr />
<div>{{Organization<br />
|HomepageURL=http://www.ox.ac.uk/<br />
|Description=The University of Oxford is a world-renowned university in the United Kingdom.<br />
}}<br />
<div style="clear: both; "></div><br />
Plugins that are listed in this wiki are typically created by the university's [http://www.cs.ox.ac.uk/ Department of Computer Science], and in particular by the researchers in the [http://www.cs.ox.ac.uk/isg/ Information Systems Group].</div>Markus Krötzschhttps://protegewiki.stanford.edu/index.php?title=ELK_0.1.0&diff=10368ELK 0.1.02011-08-02T08:27:47Z<p>Markus Krötzsch: formatted changelog in a more convenient way</p>
<hr />
<div>{{VersionOfPlugin<br />
|VersionOf=ELK<br />
|Number=0.1.0<br />
|LastUpdate=July 19, 2011<br />
|File=http://code.google.com/p/elk-reasoner/downloads/list<br />
|CompatibleWith1=Protege-OWL 4.0<br />
|CompatibleWith2=Protege-OWL 4.0.1<br />
|CompatibleWith3=Protege-OWL 4.0.2<br />
|DependsOn1=Java 1.5 (or above)<br />
|Changelog=See [[ELK 0.1.0|here]]<br />
}}<br />
<br />
<div style="clear: both; "></div><br />
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:<br />
<br />
* Reasoning tasks: classification and consistency checking<br />
* Supported OWL constructs: ELH fragment + transitivity (ObjectIntersectionOf, ObjectSomeValuesFrom, SubClassOf, EquivalentClasses, SubObjectPropertyOf, TransitiveObjectProperty)<br />
* Optional 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 />
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ötzschhttps://protegewiki.stanford.edu/index.php?title=ELK&diff=10367ELK2011-08-02T08:23:47Z<p>Markus Krötzsch: </p>
<hr />
<div>{{Plugin<br />
|Description=ELK is a free and open source reasoner for the lightweight ontology language OWL 2 EL.<br />
|PluginType=Reasoner<br />
|ForApplication1=Protege-OWL<br />
|HomepageURL=http://elk-reasoner.googlecode.com/<br />
|DeveloperID1=Yevgeny Kazakov<br />
|DeveloperID2=Markus Krötzsch<br />
|DeveloperID3=František Simančík<br />
|LastUpdated=July 19, 2011<br />
|Topic1=Reasoning<br />
|Topic2=Inference<br />
|License=Apache License 2.0<br />
|Affiliation1=University of Oxford<br />
}}<br />
<br />
<div style="clear: both; "></div><br />
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.<br />
<br />
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.<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ötzschhttps://protegewiki.stanford.edu/index.php?title=ELK_0.1.0&diff=10366ELK 0.1.02011-08-02T08:22:35Z<p>Markus Krötzsch: </p>
<hr />
<div>{{VersionOfPlugin<br />
|VersionOf=ELK<br />
|Number=0.1.0<br />
|LastUpdate=July 19, 2011<br />
|File=http://code.google.com/p/elk-reasoner/downloads/list<br />
|CompatibleWith1=Protege-OWL 4.0<br />
|CompatibleWith2=Protege-OWL 4.0.1<br />
|CompatibleWith3=Protege-OWL 4.0.2<br />
|DependsOn1=Java 1.5 (or above)<br />
|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:<br />
<br />
* Reasoning tasks: classification and consistency checking<br />
* Supported OWL constructs: ELH fragment + transitivity (ObjectIntersectionOf, ObjectSomeValuesFrom, SubClassOf, EquivalentClasses, SubObjectPropertyOf, TransitiveObjectProperty)<br />
* Optional 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 />
}}</div>Markus Krötzschhttps://protegewiki.stanford.edu/index.php?title=ELK_0.1.0&diff=10365ELK 0.1.02011-08-02T08:22:04Z<p>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..."</p>
<hr />
<div>{{VersionOfPlugin<br />
|VersionOf=ELK<br />
|Number=0.1.0<br />
|LastUpdate=July 19, 2011<br />
|File=http://code.google.com/p/elk-reasoner/downloads/list<br />
|CompatibleWith1=Protege-OWL 4.0<br />
|CompatibleWith2=Protege-OWL 4.0.1<br />
|CompatibleWith3=Protege-OWL 4.0.2<br />
|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:<br />
<br />
* Reasoning tasks: classification and consistency checking<br />
* Supported OWL constructs: ELH fragment + transitivity (ObjectIntersectionOf, ObjectSomeValuesFrom, SubClassOf, EquivalentClasses, SubObjectPropertyOf, TransitiveObjectProperty)<br />
* Optional 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 />
}}</div>Markus Krötzschhttps://protegewiki.stanford.edu/index.php?title=ELK&diff=10364ELK2011-08-02T08:18:06Z<p>Markus Krötzsch: information about new ELK reasoner plugin</p>
<hr />
<div>{{Plugin<br />
|Description=ELK is a free and open source reasoner for the lightweight ontology language OWL 2 EL.<br />
|PluginType=Reasoner<br />
|ForApplication1=Protege-OWL<br />
|HomepageURL=http://elk-reasoner.googlecode.com/<br />
|DeveloperID1=Yevgeny Kazakov<br />
|DeveloperID2=Markus Krötzsch<br />
|DeveloperID3=František Simančík<br />
|LastUpdated=July 19, 2011<br />
|Topic1=Reasoning<br />
|Topic2=Inference<br />
|License=Apache License 2.0<br />
|Affiliation1=University of Oxford<br />
}}<br />
<br />
<div style="clear: both; "></div><br />
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.<br />
<br />
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.<br />
<br />
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:<br />
<br />
* Reasoning tasks: classification and consistency checking<br />
* Supported OWL constructs: ELH fragment + transitivity (ObjectIntersectionOf, ObjectSomeValuesFrom, SubClassOf, EquivalentClasses, SubObjectPropertyOf, TransitiveObjectProperty)<br />
* Optional 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 />
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.</div>Markus Krötzschhttps://protegewiki.stanford.edu/index.php?title=HermiT&diff=10363HermiT2011-08-02T08:08:35Z<p>Markus Krötzsch: updated name of affiliation</p>
<hr />
<div>{{Plugin<br />
|Description=HermiT is a reasoner for ontologies written using the Web Ontology Language (OWL). Given an OWL file, HermiT can determine whether or not the ontology is consistent, identify subsumption relationships between classes, and much more.<br />
|PluginType=Reasoner<br />
|ForApplication1=Protege-OWL<br />
|HomepageURL=http://www.hermit-reasoner.com<br />
|DeveloperID1=Boris Motik<br />
|DeveloperID2=Birte Glimm<br />
|DeveloperID3=Giorgos Stoilos<br />
|DeveloperID4=Ian Horrocks<br />
|DeveloperID5=Rob Shearer<br />
|LastUpdated=March 1, 2010<br />
|Topic1=Reasoning<br />
|Topic2=Inference<br />
|License=LGPL<br />
|Affiliation1=University of Oxford<br />
}}</div>Markus Krötzschhttps://protegewiki.stanford.edu/index.php?title=Template:Application&diff=1227Template:Application2008-02-08T08:25:37Z<p>Markus Krötzsch: back to strings for screenshots</p>
<hr />
<div><includeonly><br />
<div style="display:block; float:left; width:100%; margin:0 0 0.5em 0; padding:0;"><br />
<br />
<p style="margin:0px; padding:0px; font-size:1.9em; font-weight:bold; word-spacing:-2px;">{{{ApplicationID}}}</p><br />
<br />
{{ #if: {{{DevelopedBy1|}}} | by [[Developed by::{{{DevelopedBy1}}}]] }}{{ #if: {{{DevelopedBy2|}}} | , [[Developed by::{{{DevelopedBy2}}}]] }}{{ #if: {{{DevelopedBy3|}}} | , [[Developed by::{{{DevelopedBy3}}}]] }}{{ #if: {{{DevelopedBy4|}}} | , [[Developed by::{{{DevelopedBy4}}}]] }}{{ #if: {{{DevelopedBy5|}}} | , [[Developed by::{{{DevelopedBy5}}}]] }}{{ #if: {{{DevelopedBy6|}}} | , [[Developed by::{{{DevelopedBy6}}}]] }}{{ #if: {{{DevelopedBy7|}}} | , [[Developed by::{{{DevelopedBy7}}}]] }}{{ #if: {{{DevelopedBy8|}}} | , [[Developed by::{{{DevelopedBy8}}}]] }}{{ #if: {{{DevelopedBy9|}}} | , [[Developed by::{{{DevelopedBy9}}}]] }}<br />
</div><br />
<br />
<div style="display:block; float:left; width:100%;"><br />
<br />
<div class="PluginSidebar"><br />
{{ #if: {{{Screenshot|}}} | <p>[[screenshot:={{{Screenshot}}}|[[Image:{{{Screenshot}}}|thumb|100%|center|Screenshot]]]]</p> | }}<br />
{| cellspacing="0" cellpadding="5" class="PluginWikiInfoBox"<br />
|-<br />
| class="InfoBoxColFirst" | Last Update: || {{ #if:{{{LastUpdate|}}} | [[Last update:={{{LastUpdate}}}]] | notavailable }}<br />
|-<br />
| class="InfoBoxCol" | Current Version: || <ask format="template" template="CurrentVersion" limit="1" searchlabel="" sort="version number" order="descending" default="no version available">[[Category:Version]] [[version of::{{PAGENAME}}]] [[Version number::*]] [[Version number::+]]</ask><br />
|-<br />
| class="InfoBoxCol" | Homepage: || {{ #if:{{{HomepageURL|}}} | [[Homepage::{{{HomepageURL}}}|{{{ApplicationID}}} Website]] | not available }}<br />
|-<br />
| class="InfoBoxCol" | Affiliation: || {{ #if:{{{Affiliation1|}}} | *[[Affiliated with::{{{Affiliation1}}}]] | not available }}{{ #if:{{{Affiliation2|}}} | *[[Affiliated with::{{{Affiliation2}}}]] | }}<br />
{{ #if:{{{Affiliation3|}}} | *[[Affiliated with::{{{Affiliation3}}}]] | }}{{ #if:{{{Affiliation4|}}} | *[[Affiliated with::{{{Affiliation4}}}]] | }}{{ #if:{{{Affiliation5|}}} | *[[Affiliated with::{{{Affiliation5}}}]] | }}{{ #if:{{{Affiliation6|}}} | *[[Affiliated with::{{{Affiliation6}}}]] | }}{{ #if:{{{Affiliation7|}}} | *[[Affiliated with::{{{Affiliation7}}}]] | }}{{ #if:{{{Affiliation8|}}} | *[[Affiliated with::{{{Affiliation8}}}]] | }}{{ #if:{{{Affiliation9|}}} | *[[Affiliated with::{{{Affiliation9}}}]] | }}<br />
|}<br />
</div><br />
<br />
<div style="display:block; float:left; width:64%; margin:0 0 2em 0; padding-top:0px;">__NOTOC__<br />
<strong>[[Description:={{{Description}}}]]</strong><br /><br /><br />
<br />
== Plugins for {{PAGENAME}} ==<br />
<br />
This section lists available plugins for [[ID:={{{ApplicationID}}}|{{{ApplicationID}}}]] and their associated topics.<br />
<br />
<ask format="broadtable" mainlabel="Plugin" default="no plugins available"><br />
[[Category:Plugin]] [[for application::{{PAGENAME}}]] [[has topic::*]]<br />
</ask><br />
<br />
<div class="addNewPluginVersion"><br />
<span class="addButton">[[Special:AddPage/Form:Plugin|Add New Plugin]]</span><br /><br /><br /><br />
</div><br />
<br />
== Versions of {{PAGENAME}} ==<br />
<br />
This section lists versions of {{{ApplicationID}}} with associated changelogs.<br />
<br />
<ask format="broadtable" mainlabel="Version" sort="version number" order="descending" default="no version information available" link="all"><br />
[[Category:Version]] [[version of::{{PAGENAME}}]]<br />
[[Changelog:=*|Changelog]]<br />
[[version number::+]]<br />
</ask><br />
<br />
<div class="addNewAppVersion"><br />
<span class="addButton">[[Special:AddPage/Form:VersionOf{{PAGENAME}}|Add New Version]]</span><br /><br /><br />
</div><br />
<br />
</div><br />
</div><br />
<br />
<br />
[[Category:Application]]<br />
<br />
</includeonly><noinclude><br />
{{{{FULLPAGENAME}}/doc}}<br />
</noinclude></div>Markus Krötzschhttps://protegewiki.stanford.edu/index.php?title=Property:Screenshot&diff=1226Property:Screenshot2008-02-08T08:25:09Z<p>Markus Krötzsch: stay with Type:String (image embedding only in SMW1.0, this wiki still runs SMW1.0RC2)</p>
<hr />
<div>[[has type::Type:String]]</div>Markus Krötzschhttps://protegewiki.stanford.edu/index.php?title=Template:Application&diff=1225Template:Application2008-02-08T08:24:00Z<p>Markus Krötzsch: formatting for images</p>
<hr />
<div><includeonly><br />
<div style="display:block; float:left; width:100%; margin:0 0 0.5em 0; padding:0;"><br />
<br />
<p style="margin:0px; padding:0px; font-size:1.9em; font-weight:bold; word-spacing:-2px;">{{{ApplicationID}}}</p><br />
<br />
{{ #if: {{{DevelopedBy1|}}} | by [[Developed by::{{{DevelopedBy1}}}]] }}{{ #if: {{{DevelopedBy2|}}} | , [[Developed by::{{{DevelopedBy2}}}]] }}{{ #if: {{{DevelopedBy3|}}} | , [[Developed by::{{{DevelopedBy3}}}]] }}{{ #if: {{{DevelopedBy4|}}} | , [[Developed by::{{{DevelopedBy4}}}]] }}{{ #if: {{{DevelopedBy5|}}} | , [[Developed by::{{{DevelopedBy5}}}]] }}{{ #if: {{{DevelopedBy6|}}} | , [[Developed by::{{{DevelopedBy6}}}]] }}{{ #if: {{{DevelopedBy7|}}} | , [[Developed by::{{{DevelopedBy7}}}]] }}{{ #if: {{{DevelopedBy8|}}} | , [[Developed by::{{{DevelopedBy8}}}]] }}{{ #if: {{{DevelopedBy9|}}} | , [[Developed by::{{{DevelopedBy9}}}]] }}<br />
</div><br />
<br />
<div style="display:block; float:left; width:100%;"><br />
<br />
<div class="PluginSidebar"><br />
{{ #if: {{{Screenshot|}}} | <p>[[screenshot::Image:{{{Screenshot}}}]]</p> | }}<br />
{| cellspacing="0" cellpadding="5" class="PluginWikiInfoBox"<br />
|-<br />
| class="InfoBoxColFirst" | Last Update: || {{ #if:{{{LastUpdate|}}} | [[Last update:={{{LastUpdate}}}]] | notavailable }}<br />
|-<br />
| class="InfoBoxCol" | Current Version: || <ask format="template" template="CurrentVersion" limit="1" searchlabel="" sort="version number" order="descending" default="no version available">[[Category:Version]] [[version of::{{PAGENAME}}]] [[Version number::*]] [[Version number::+]]</ask><br />
|-<br />
| class="InfoBoxCol" | Homepage: || {{ #if:{{{HomepageURL|}}} | [[Homepage::{{{HomepageURL}}}|{{{ApplicationID}}} Website]] | not available }}<br />
|-<br />
| class="InfoBoxCol" | Affiliation: || {{ #if:{{{Affiliation1|}}} | *[[Affiliated with::{{{Affiliation1}}}]] | not available }}{{ #if:{{{Affiliation2|}}} | *[[Affiliated with::{{{Affiliation2}}}]] | }}<br />
{{ #if:{{{Affiliation3|}}} | *[[Affiliated with::{{{Affiliation3}}}]] | }}{{ #if:{{{Affiliation4|}}} | *[[Affiliated with::{{{Affiliation4}}}]] | }}{{ #if:{{{Affiliation5|}}} | *[[Affiliated with::{{{Affiliation5}}}]] | }}{{ #if:{{{Affiliation6|}}} | *[[Affiliated with::{{{Affiliation6}}}]] | }}{{ #if:{{{Affiliation7|}}} | *[[Affiliated with::{{{Affiliation7}}}]] | }}{{ #if:{{{Affiliation8|}}} | *[[Affiliated with::{{{Affiliation8}}}]] | }}{{ #if:{{{Affiliation9|}}} | *[[Affiliated with::{{{Affiliation9}}}]] | }}<br />
|}<br />
</div><br />
<br />
<div style="display:block; float:left; width:64%; margin:0 0 2em 0; padding-top:0px;">__NOTOC__<br />
<strong>[[Description:={{{Description}}}]]</strong><br /><br /><br />
<br />
== Plugins for {{PAGENAME}} ==<br />
<br />
This section lists available plugins for [[ID:={{{ApplicationID}}}|{{{ApplicationID}}}]] and their associated topics.<br />
<br />
<ask format="broadtable" mainlabel="Plugin" default="no plugins available"><br />
[[Category:Plugin]] [[for application::{{PAGENAME}}]] [[has topic::*]]<br />
</ask><br />
<br />
<div class="addNewPluginVersion"><br />
<span class="addButton">[[Special:AddPage/Form:Plugin|Add New Plugin]]</span><br /><br /><br /><br />
</div><br />
<br />
== Versions of {{PAGENAME}} ==<br />
<br />
This section lists versions of {{{ApplicationID}}} with associated changelogs.<br />
<br />
<ask format="broadtable" mainlabel="Version" sort="version number" order="descending" default="no version information available" link="all"><br />
[[Category:Version]] [[version of::{{PAGENAME}}]]<br />
[[Changelog:=*|Changelog]]<br />
[[version number::+]]<br />
</ask><br />
<br />
<div class="addNewAppVersion"><br />
<span class="addButton">[[Special:AddPage/Form:VersionOf{{PAGENAME}}|Add New Version]]</span><br /><br /><br />
</div><br />
<br />
</div><br />
</div><br />
<br />
<br />
[[Category:Application]]<br />
<br />
</includeonly><noinclude><br />
{{{{FULLPAGENAME}}/doc}}<br />
</noinclude></div>Markus Krötzschhttps://protegewiki.stanford.edu/index.php?title=Property:Screenshot&diff=1224Property:Screenshot2008-02-08T08:23:09Z<p>Markus Krötzsch: </p>
<hr />
<div>[[has type::Type:Page]]</div>Markus Krötzschhttps://protegewiki.stanford.edu/index.php?title=Template:Application&diff=1223Template:Application2008-02-08T08:22:48Z<p>Markus Krötzsch: use links for screenshots</p>
<hr />
<div><includeonly><br />
<div style="display:block; float:left; width:100%; margin:0 0 0.5em 0; padding:0;"><br />
<br />
<p style="margin:0px; padding:0px; font-size:1.9em; font-weight:bold; word-spacing:-2px;">{{{ApplicationID}}}</p><br />
<br />
{{ #if: {{{DevelopedBy1|}}} | by [[Developed by::{{{DevelopedBy1}}}]] }}{{ #if: {{{DevelopedBy2|}}} | , [[Developed by::{{{DevelopedBy2}}}]] }}{{ #if: {{{DevelopedBy3|}}} | , [[Developed by::{{{DevelopedBy3}}}]] }}{{ #if: {{{DevelopedBy4|}}} | , [[Developed by::{{{DevelopedBy4}}}]] }}{{ #if: {{{DevelopedBy5|}}} | , [[Developed by::{{{DevelopedBy5}}}]] }}{{ #if: {{{DevelopedBy6|}}} | , [[Developed by::{{{DevelopedBy6}}}]] }}{{ #if: {{{DevelopedBy7|}}} | , [[Developed by::{{{DevelopedBy7}}}]] }}{{ #if: {{{DevelopedBy8|}}} | , [[Developed by::{{{DevelopedBy8}}}]] }}{{ #if: {{{DevelopedBy9|}}} | , [[Developed by::{{{DevelopedBy9}}}]] }}<br />
</div><br />
<br />
<div style="display:block; float:left; width:100%;"><br />
<br />
<div class="PluginSidebar"><br />
{{ #if: {{{Screenshot|}}} | <p>[[screenshot::Image:{{{Screenshot}}}|[[Image:{{{Screenshot}}}|thumb|100%|center|Screenshot]]]]</p> | }}<br />
{| cellspacing="0" cellpadding="5" class="PluginWikiInfoBox"<br />
|-<br />
| class="InfoBoxColFirst" | Last Update: || {{ #if:{{{LastUpdate|}}} | [[Last update:={{{LastUpdate}}}]] | notavailable }}<br />
|-<br />
| class="InfoBoxCol" | Current Version: || <ask format="template" template="CurrentVersion" limit="1" searchlabel="" sort="version number" order="descending" default="no version available">[[Category:Version]] [[version of::{{PAGENAME}}]] [[Version number::*]] [[Version number::+]]</ask><br />
|-<br />
| class="InfoBoxCol" | Homepage: || {{ #if:{{{HomepageURL|}}} | [[Homepage::{{{HomepageURL}}}|{{{ApplicationID}}} Website]] | not available }}<br />
|-<br />
| class="InfoBoxCol" | Affiliation: || {{ #if:{{{Affiliation1|}}} | *[[Affiliated with::{{{Affiliation1}}}]] | not available }}{{ #if:{{{Affiliation2|}}} | *[[Affiliated with::{{{Affiliation2}}}]] | }}<br />
{{ #if:{{{Affiliation3|}}} | *[[Affiliated with::{{{Affiliation3}}}]] | }}{{ #if:{{{Affiliation4|}}} | *[[Affiliated with::{{{Affiliation4}}}]] | }}{{ #if:{{{Affiliation5|}}} | *[[Affiliated with::{{{Affiliation5}}}]] | }}{{ #if:{{{Affiliation6|}}} | *[[Affiliated with::{{{Affiliation6}}}]] | }}{{ #if:{{{Affiliation7|}}} | *[[Affiliated with::{{{Affiliation7}}}]] | }}{{ #if:{{{Affiliation8|}}} | *[[Affiliated with::{{{Affiliation8}}}]] | }}{{ #if:{{{Affiliation9|}}} | *[[Affiliated with::{{{Affiliation9}}}]] | }}<br />
|}<br />
</div><br />
<br />
<div style="display:block; float:left; width:64%; margin:0 0 2em 0; padding-top:0px;">__NOTOC__<br />
<strong>[[Description:={{{Description}}}]]</strong><br /><br /><br />
<br />
== Plugins for {{PAGENAME}} ==<br />
<br />
This section lists available plugins for [[ID:={{{ApplicationID}}}|{{{ApplicationID}}}]] and their associated topics.<br />
<br />
<ask format="broadtable" mainlabel="Plugin" default="no plugins available"><br />
[[Category:Plugin]] [[for application::{{PAGENAME}}]] [[has topic::*]]<br />
</ask><br />
<br />
<div class="addNewPluginVersion"><br />
<span class="addButton">[[Special:AddPage/Form:Plugin|Add New Plugin]]</span><br /><br /><br /><br />
</div><br />
<br />
== Versions of {{PAGENAME}} ==<br />
<br />
This section lists versions of {{{ApplicationID}}} with associated changelogs.<br />
<br />
<ask format="broadtable" mainlabel="Version" sort="version number" order="descending" default="no version information available" link="all"><br />
[[Category:Version]] [[version of::{{PAGENAME}}]]<br />
[[Changelog:=*|Changelog]]<br />
[[version number::+]]<br />
</ask><br />
<br />
<div class="addNewAppVersion"><br />
<span class="addButton">[[Special:AddPage/Form:VersionOf{{PAGENAME}}|Add New Version]]</span><br /><br /><br />
</div><br />
<br />
</div><br />
</div><br />
<br />
<br />
[[Category:Application]]<br />
<br />
</includeonly><noinclude><br />
{{{{FULLPAGENAME}}/doc}}<br />
</noinclude></div>Markus Krötzschhttps://protegewiki.stanford.edu/index.php?title=Property:Screenshot&diff=1222Property:Screenshot2008-02-08T08:22:13Z<p>Markus Krötzsch: test: use links to pages instead of String?</p>
<hr />
<div>[[has type::Type:Wikipage]]</div>Markus Krötzschhttps://protegewiki.stanford.edu/index.php?title=Template:Plugin&diff=1221Template:Plugin2008-02-08T08:18:50Z<p>Markus Krötzsch: fixed template</p>
<hr />
<div><includeonly><br />
<div style="display:block; float:left; width:100%; margin:0 0 1.5em 0; padding:0;"><br />
<p style="padding:0; margin:0; font-size:1.9em; font-weight:bold; word-spacing:-2px;">{{PAGENAME}}</p><br />
<p style="padding:0 ;margin:0;"><br />
{{ #if:{{{DeveloperID1|}}} | by [[{{{DeveloperID1}}}]] }}{{ #if:{{{DeveloperID2|}}}|, [[{{{DeveloperID2}}}]] }}{{ #if:{{{DeveloperID3|}}}|, [[{{{DeveloperID3}}}]] }}{{ #if:{{{DeveloperID4|}}}|, [[{{{DeveloperID4}}}]] }}{{ #if:{{{DeveloperID5|}}}|, [[{{{DeveloperID5}}}]] }}{{ #if:{{{DeveloperID6|}}}|, [[{{{DeveloperID6}}}]] }}{{ #if:{{{DeveloperID7|}}}|, [[{{{DeveloperID7}}}]] }}{{ #if:{{{DeveloperID8|}}}|, [[{{{DeveloperID8}}}]] }}{{ #if:{{{DeveloperID9|}}}|, [[{{{DeveloperID9}}}]] }}<br />
</p><br />
</div><br />
<br />
<div class="PluginSidebar">{{ #if: {{{Screenshot|}}} | <br />
<p>[[Screenshot::{{{Screenshot}}}|[[Image:{{{Screenshot}}}|thumb|100%|center|Screenshot]]]]</p> | }}<br />
{| class="PluginWikiInfoBox" cellspacing="0" cellpadding="5"<br />
|-<br />
| class="InfoBoxColFirst" | Type || {{ #if:{{{PluginType|}}} | [[:Category:{{{PluginType}}}|{{{PluginType}}}]] | not defined }}{{ #if:{{{PluginType2|}}} | , [[:Category:{{{PluginType2}}}|{{{PluginType2}}}]] }}<br />
|-<br />
| class="InfoBoxCol" | Author(s) || {{ #if:{{{DeveloperID1|}}} | [[developed by::{{{DeveloperID1}}}|{{{DeveloperID1}}}]] | not available }}{{ #if:{{{DeveloperID2|}}} | , [[developed by::{{{DeveloperID2}}}|{{{DeveloperID2}}}]] | }}{{ #if:{{{DeveloperID3|}}} | , [[developed by::{{{DeveloperID3}}}|{{{DeveloperID3}}}]] | }}{{ #if:{{{DeveloperID4|}}} | , [[developed by::{{{DeveloperID4}}}|{{{DeveloperID4}}}]] | }}{{ #if:{{{DeveloperID5|}}} | , [[developed by::{{{DeveloperID5}}}|{{{DeveloperID5}}}]] | }}{{ #if:{{{DeveloperID6|}}} | , [[developed by::{{{DeveloperID6}}}|{{{DeveloperID6}}}]] | }}{{ #if:{{{DeveloperID7|}}} | , [[developed by::{{{DeveloperID7}}}|{{{DeveloperID7}}}]] | }}{{ #if:{{{DeveloperID8|}}} | , [[developed by::{{{DeveloperID8}}}|{{{DeveloperID8}}}]] | }}{{ #if:{{{DeveloperID9|}}} | , [[developed by::{{{DeveloperID9}}}|{{{DeveloperID9}}}]] | }}<br />
|-<br />
| class="InfoBoxCol" | Last Update || {{ #if:{{{LastUpdated|}}} | [[Last update::{{{LastUpdated}}}]] | not available }}<br />
|-<br />
| class="InfoBoxCol" | License || {{ #if:{{{License|}}} | [[License::{{{License}}}]] | not available }}<br />
|-<br />
| class="InfoBoxCol" | Current Version || <ask format="template" template="CurrentVersion" limit="1" searchlabel="" sort="Version number" order="descending" default="no version available">[[Category:Version]] [[version of::{{PAGENAME}}]] [[Version number::*]] [[Version number::+]]</ask><br />
|-<br />
| class="InfoBoxCol" | Homepage || {{ #if:{{{HomepageURL|}}} | [[Homepage::{{{HomepageURL}}}|{{PAGENAME}} Website]] | not available }}<br />
|-<br />
| class="InfoBoxCol" | For Application || {{ #if:{{{ForApplication1|}}} | *[[for Application::{{{ForApplication1}}}|{{{ForApplication1}}}]] | }}{{ #if:{{{ForApplication2|}}} | *[[for Application::{{{ForApplication2}}}|{{{ForApplication2}}}]] | }}{{ #if:{{{ForApplication3|}}} | *[[for Application::{{{ForApplication3}}}|{{{ForApplication3}}}]] | }}<br />
|-<br />
| class="InfoBoxCol" | Topic(s) || {{ #if:{{{Topic1|}}} | *[[has topic::{{{Topic1}}}|{{{Topic1}}}]] | }}{{ #if:{{{Topic2|}}} | *[[has topic::{{{Topic2}}}|{{{Topic2}}}]] | }}{{ #if:{{{Topic3|}}} | *[[has topic::{{{Topic3}}}|{{{Topic3}}}]] | }}{{ #if:{{{Topic4|}}} | *[[has topic::{{{Topic4}}}|{{{Topic4}}}]] | }}{{ #if:{{{Topic5|}}} | *[[has topic::{{{Topic5}}}|{{{Topic5}}}]] | }}{{ #if:{{{Topic6|}}} | *[[has topic::{{{Topic6}}}|{{{Topic6}}}]] | }}{{ #if:{{{Topic7|}}} | *[[has topic::{{{Topic7}}}|{{{Topic7}}}]] | }}{{ #if:{{{Topic8|}}} | *[[has topic::{{{Topic8}}}|{{{Topic8}}}]] | }}{{ #if:{{{Topic9|}}} | *[[has topic::{{{Topic9}}}|{{{Topic9}}}]] | }}<br />
|-<br />
| class="InfoBoxCol" | Affiliation || {{ #if: {{{Affiliation1|}}} | *[[affiliated with::{{{Affiliation1}}}]] | not available }}{{ #if: {{{Affiliation2|}}} | *[[affiliated with::{{{Affiliation2}}}]] | }}{{ #if: {{{Affiliation3|}}} | *[[affiliated with::{{{Affiliation3}}}]] | }}{{ #if: {{{Affiliation4|}}} | *[[affiliated with::{{{Affiliation4}}}]] | }}{{ #if: {{{Affiliation5|}}} | *[[affiliated with::{{{Affiliation5}}}]] | }}{{ #if: {{{Affiliation6|}}} | *[[affiliated with::{{{Affiliation6}}}]] | }}{{ #if: {{{Affiliation7|}}} | *[[affiliated with::{{{Affiliation7}}}]] | }}{{ #if: {{{Affiliation8|}}} | *[[affiliated with::{{{Affiliation8}}}]] | }}{{ #if: {{{Affiliation9|}}} | *[[affiliated with::{{{Affiliation9}}}]] | }}<br />
|}<br />
<br />
<div style="width:100%;display:block;float:left;padding: 0px 0px 0px 0px;"><br /><br />
<strong style="padding:5px; background:#F0E6CA; border:2px solid #CC9F2A;"><br />
[[Special:EditData/Plugin/{{PAGENAME}}|Edit this plugin]]<br />
</strong><br /><br /><br />
</div><br />
<br />
</div><br />
__NOTOC__<br />
<div style="display:block;float:left;width:64%;margin-bottom:2em;"><br />
<strong>[[description::{{{Description}}}]]</strong><br /><br /><br />
<br />
== Versions & Compatibility ==<br />
<br />
This section lists available versions of [[ID::{{PAGENAME}}|{{PAGENAME}}]].<br />
<br />
<ask mainlabel="Version" format="broadtable" link="all" sort="version number" order="descending" default="no version available for this plugin"><br />
[[Category:Version]] [[version of::{{PAGENAME}}]]<br />
[[compatible with::*|compatible with]]<br />
[[depends on::*|dependencies]]<br />
[[version number::+]]<br />
</ask><br />
<br />
If you click on the button below to add a new version of {{PAGENAME}}, you will be asked to define a page title for the new version. Please adhere to the '''naming convention''' of '''{{PAGENAME}} X.X.X''' when you define the new page!<br />
<br />
<div style="width:100%;display:block;float:left;padding: 0px 0px 0px 0px;"><br />
<strong style="padding:5px; background:#F0E6CA; border:2px solid #CC9F2A;"><br />
[[Special:AddPage/Form:VersionOfPlugin|Add New Version]]<br />
</strong><br /><br /><br />
</div><br />
<br />
<div style="display:block;float:left;width:100%;"><br />
== Changelog ==<br />
<center><br />
<ask mainlabel="Version" format="broadtable" link="all" sort="version number" order="descending" default="no version available for this plugin"><br />
[[Category:Version]] [[version of::{{PAGENAME}}]]<br />
[[Changelog::*|Changes in this version]]<br />
[[version number::+]]<br />
</ask><br />
</center><br />
</div><br />
<br />
</div><br />
<br />
<br />
{{ #if:{{{PluginType|}}} | [[Category:{{{PluginType}}}]] | }}<br />
{{ #if:{{{PluginType2|}}} | [[Category:{{{PluginType2}}}]] | }}<br />
[[Category:Plugin]]<br />
<br />
</includeonly><noinclude><br />
{{{{FULLPAGENAME}}/doc}}<br />
<!-- Add cats and interwikis to the /doc subpage, not here! --><br />
</noinclude></div>Markus Krötzschhttps://protegewiki.stanford.edu/index.php?title=Template:Application&diff=1220Template:Application2008-02-08T07:57:39Z<p>Markus Krötzsch: fixed current version display</p>
<hr />
<div><includeonly><br />
<div style="display:block; float:left; width:100%; margin:0 0 0.5em 0; padding:0;"><br />
<br />
<p style="margin:0px; padding:0px; font-size:1.9em; font-weight:bold; word-spacing:-2px;">{{{ApplicationID}}}</p><br />
<br />
{{ #if: {{{DevelopedBy1|}}} | by [[Developed by::{{{DevelopedBy1}}}]] }}{{ #if: {{{DevelopedBy2|}}} | , [[Developed by::{{{DevelopedBy2}}}]] }}{{ #if: {{{DevelopedBy3|}}} | , [[Developed by::{{{DevelopedBy3}}}]] }}{{ #if: {{{DevelopedBy4|}}} | , [[Developed by::{{{DevelopedBy4}}}]] }}{{ #if: {{{DevelopedBy5|}}} | , [[Developed by::{{{DevelopedBy5}}}]] }}{{ #if: {{{DevelopedBy6|}}} | , [[Developed by::{{{DevelopedBy6}}}]] }}{{ #if: {{{DevelopedBy7|}}} | , [[Developed by::{{{DevelopedBy7}}}]] }}{{ #if: {{{DevelopedBy8|}}} | , [[Developed by::{{{DevelopedBy8}}}]] }}{{ #if: {{{DevelopedBy9|}}} | , [[Developed by::{{{DevelopedBy9}}}]] }}<br />
</div><br />
<br />
<div style="display:block; float:left; width:100%;"><br />
<br />
<div class="PluginSidebar"><br />
{{ #if: {{{Screenshot|}}} | <p>[[screenshot:={{{Screenshot}}}|[[Image:{{{Screenshot}}}|thumb|100%|center|Screenshot]]]]</p> | }}<br />
{| cellspacing="0" cellpadding="5" class="PluginWikiInfoBox"<br />
|-<br />
| class="InfoBoxColFirst" | Last Update: || {{ #if:{{{LastUpdate|}}} | [[Last update:={{{LastUpdate}}}]] | notavailable }}<br />
|-<br />
| class="InfoBoxCol" | Current Version: || <ask format="template" template="CurrentVersion" limit="1" searchlabel="" sort="version number" order="descending" default="no version available">[[Category:Version]] [[version of::{{PAGENAME}}]] [[Version number::*]] [[Version number::+]]</ask><br />
|-<br />
| class="InfoBoxCol" | Homepage: || {{ #if:{{{HomepageURL|}}} | [[Homepage::{{{HomepageURL}}}|{{{ApplicationID}}} Website]] | not available }}<br />
|-<br />
| class="InfoBoxCol" | Affiliation: || {{ #if:{{{Affiliation1|}}} | *[[Affiliated with::{{{Affiliation1}}}]] | not available }}{{ #if:{{{Affiliation2|}}} | *[[Affiliated with::{{{Affiliation2}}}]] | }}<br />
{{ #if:{{{Affiliation3|}}} | *[[Affiliated with::{{{Affiliation3}}}]] | }}{{ #if:{{{Affiliation4|}}} | *[[Affiliated with::{{{Affiliation4}}}]] | }}{{ #if:{{{Affiliation5|}}} | *[[Affiliated with::{{{Affiliation5}}}]] | }}{{ #if:{{{Affiliation6|}}} | *[[Affiliated with::{{{Affiliation6}}}]] | }}{{ #if:{{{Affiliation7|}}} | *[[Affiliated with::{{{Affiliation7}}}]] | }}{{ #if:{{{Affiliation8|}}} | *[[Affiliated with::{{{Affiliation8}}}]] | }}{{ #if:{{{Affiliation9|}}} | *[[Affiliated with::{{{Affiliation9}}}]] | }}<br />
|}<br />
</div><br />
<br />
<div style="display:block; float:left; width:64%; margin:0 0 2em 0; padding-top:0px;">__NOTOC__<br />
<strong>[[Description:={{{Description}}}]]</strong><br /><br /><br />
<br />
== Plugins for {{PAGENAME}} ==<br />
<br />
This section lists available plugins for [[ID:={{{ApplicationID}}}|{{{ApplicationID}}}]] and their associated topics.<br />
<br />
<ask format="broadtable" mainlabel="Plugin" default="no plugins available"><br />
[[Category:Plugin]] [[for application::{{PAGENAME}}]] [[has topic::*]]<br />
</ask><br />
<br />
<div class="addNewPluginVersion"><br />
<span class="addButton">[[Special:AddPage/Form:Plugin|Add New Plugin]]</span><br /><br /><br /><br />
</div><br />
<br />
== Versions of {{PAGENAME}} ==<br />
<br />
This section lists versions of {{{ApplicationID}}} with associated changelogs.<br />
<br />
<ask format="broadtable" mainlabel="Version" sort="version number" order="descending" default="no version information available" link="all"><br />
[[Category:Version]] [[version of::{{PAGENAME}}]]<br />
[[Changelog:=*|Changelog]]<br />
[[version number::+]]<br />
</ask><br />
<br />
<div class="addNewAppVersion"><br />
<span class="addButton">[[Special:AddPage/Form:VersionOf{{PAGENAME}}|Add New Version]]</span><br /><br /><br />
</div><br />
<br />
</div><br />
</div><br />
<br />
<br />
[[Category:Application]]<br />
<br />
</includeonly><noinclude><br />
{{{{FULLPAGENAME}}/doc}}<br />
</noinclude></div>Markus Krötzschhttps://protegewiki.stanford.edu/index.php?title=Template:Application&diff=1219Template:Application2008-02-08T07:55:55Z<p>Markus Krötzsch: /* Versions of {{PAGENAME}} */ fixed version list</p>
<hr />
<div><includeonly><br />
<div style="display:block; float:left; width:100%; margin:0 0 0.5em 0; padding:0;"><br />
<br />
<p style="margin:0px; padding:0px; font-size:1.9em; font-weight:bold; word-spacing:-2px;">{{{ApplicationID}}}</p><br />
<br />
{{ #if: {{{DevelopedBy1|}}} | by [[Developed by::{{{DevelopedBy1}}}]] }}{{ #if: {{{DevelopedBy2|}}} | , [[Developed by::{{{DevelopedBy2}}}]] }}{{ #if: {{{DevelopedBy3|}}} | , [[Developed by::{{{DevelopedBy3}}}]] }}{{ #if: {{{DevelopedBy4|}}} | , [[Developed by::{{{DevelopedBy4}}}]] }}{{ #if: {{{DevelopedBy5|}}} | , [[Developed by::{{{DevelopedBy5}}}]] }}{{ #if: {{{DevelopedBy6|}}} | , [[Developed by::{{{DevelopedBy6}}}]] }}{{ #if: {{{DevelopedBy7|}}} | , [[Developed by::{{{DevelopedBy7}}}]] }}{{ #if: {{{DevelopedBy8|}}} | , [[Developed by::{{{DevelopedBy8}}}]] }}{{ #if: {{{DevelopedBy9|}}} | , [[Developed by::{{{DevelopedBy9}}}]] }}<br />
</div><br />
<br />
<div style="display:block; float:left; width:100%;"><br />
<br />
<div class="PluginSidebar"><br />
{{ #if: {{{Screenshot|}}} | <p>[[screenshot:={{{Screenshot}}}|[[Image:{{{Screenshot}}}|thumb|100%|center|Screenshot]]]]</p> | }}<br />
{| cellspacing="0" cellpadding="5" class="PluginWikiInfoBox"<br />
|-<br />
| class="InfoBoxColFirst" | Last Update: || {{ #if:{{{LastUpdate|}}} | [[Last update:={{{LastUpdate}}}]] | notavailable }}<br />
|-<br />
| class="InfoBoxCol" | Current Version: || <ask format="template" template="CurrentVersion" limit="1" searchlabel="" sort="version number" order="descending" default="no version available">[[Category:Version]] [[version of::{{PAGENAME}}]] [[Version number::*]]</ask><br />
|-<br />
| class="InfoBoxCol" | Homepage: || {{ #if:{{{HomepageURL|}}} | [[Homepage::{{{HomepageURL}}}|{{{ApplicationID}}} Website]] | not available }}<br />
|-<br />
| class="InfoBoxCol" | Affiliation: || {{ #if:{{{Affiliation1|}}} | *[[Affiliated with::{{{Affiliation1}}}]] | not available }}{{ #if:{{{Affiliation2|}}} | *[[Affiliated with::{{{Affiliation2}}}]] | }}<br />
{{ #if:{{{Affiliation3|}}} | *[[Affiliated with::{{{Affiliation3}}}]] | }}{{ #if:{{{Affiliation4|}}} | *[[Affiliated with::{{{Affiliation4}}}]] | }}{{ #if:{{{Affiliation5|}}} | *[[Affiliated with::{{{Affiliation5}}}]] | }}{{ #if:{{{Affiliation6|}}} | *[[Affiliated with::{{{Affiliation6}}}]] | }}{{ #if:{{{Affiliation7|}}} | *[[Affiliated with::{{{Affiliation7}}}]] | }}{{ #if:{{{Affiliation8|}}} | *[[Affiliated with::{{{Affiliation8}}}]] | }}{{ #if:{{{Affiliation9|}}} | *[[Affiliated with::{{{Affiliation9}}}]] | }}<br />
|}<br />
</div><br />
<br />
<div style="display:block; float:left; width:64%; margin:0 0 2em 0; padding-top:0px;">__NOTOC__<br />
<strong>[[Description:={{{Description}}}]]</strong><br /><br /><br />
<br />
== Plugins for {{PAGENAME}} ==<br />
<br />
This section lists available plugins for [[ID:={{{ApplicationID}}}|{{{ApplicationID}}}]] and their associated topics.<br />
<br />
<ask format="broadtable" mainlabel="Plugin" default="no plugins available"><br />
[[Category:Plugin]] [[for application::{{PAGENAME}}]] [[has topic::*]]<br />
</ask><br />
<br />
<div class="addNewPluginVersion"><br />
<span class="addButton">[[Special:AddPage/Form:Plugin|Add New Plugin]]</span><br /><br /><br /><br />
</div><br />
<br />
== Versions of {{PAGENAME}} ==<br />
<br />
This section lists versions of {{{ApplicationID}}} with associated changelogs.<br />
<br />
<ask format="broadtable" mainlabel="Version" sort="version number" order="descending" default="no version information available" link="all"><br />
[[Category:Version]] [[version of::{{PAGENAME}}]]<br />
[[Changelog:=*|Changelog]]<br />
[[version number::+]]<br />
</ask><br />
<br />
<div class="addNewAppVersion"><br />
<span class="addButton">[[Special:AddPage/Form:VersionOf{{PAGENAME}}|Add New Version]]</span><br /><br /><br />
</div><br />
<br />
</div><br />
</div><br />
<br />
<br />
[[Category:Application]]<br />
<br />
</includeonly><noinclude><br />
{{{{FULLPAGENAME}}/doc}}<br />
</noinclude></div>Markus Krötzschhttps://protegewiki.stanford.edu/index.php?title=Template:VersionOfApplication&diff=1218Template:VersionOfApplication2008-02-08T07:52:40Z<p>Markus Krötzsch: fixed formatting of file URLs</p>
<hr />
<div><includeonly>{{PluginWikiHeader|ID={{{VersionOf}}} {{{Number}}}}}<br />
<div class="PluginSidebar"><br />
{| class="PluginWikiInfoBox" cellspacing="0" cellpadding="5"<br />
|-<br />
| class="InfoBoxColFirst" | Version || {{ #if:{{{Number|}}} | [[Version number::{{{Number}}}]] | not available }}<br />
|-<br />
| class="InfoBoxCol" | Application || {{ #if:{{{VersionOf}}} | [[Version of::{{{VersionOf}}}]] | not available }}<br />
|-<br />
| class="InfoBoxCol" | Last update || {{ #if:{{{LastUpdate}}} | [[Last update::{{{LastUpdate}}}]] | not available }}<br />
|-<br />
| class="InfoBoxCol" | Download || {{ #if:{{{File|}}} | [[Version file::{{{File}}}|{{{VersionOf}}} {{{Number}}}]] | not available }}<br />
|}<br />
<br />
<div style="width:100%; display:block; float:left; padding:0px 0px 0px 0px;"><br />
<br /><span class="addButton">[[Special:EditData/VersionOf{{{VersionOf}}}/{{PAGENAME}}|Edit this version]]</span><br /><br /><br />
</div><br />
<br />
</div><br />
<br />
<div style="display:block;float:left;width:64%;margin:0 0 2em 0;"><br />
== Compatible Plugins ==<br />
This is a list of all plugins that are compatible with {{PAGENAME}}.<br />
<br />
<ask format="broadtable" mainlabel="Plugin" link="all" default="no plugin versions are compatible with this application version"><br />
[[Category:Version]] [[compatible with::{{PAGENAME}}]] [[depends on::*]]<br />
</ask><br />
<br /><br />
<br />
{{ #if:{{{Changelog|}}} | == Changelog ==<br />
<br />
[[Changelog::{{{Changelog}}}]] | == Changelog ==<br />
<br />
no information about changes }}<br />
<br />
</div><br />
<br />
[[Category:VersionOfApplication]]<br />
<br />
</includeonly><br />
<noinclude><br />
{{{{FULLPAGENAME}}/doc}}<br />
</noinclude></div>Markus Krötzschhttps://protegewiki.stanford.edu/index.php?title=Template:Application&diff=1217Template:Application2008-02-08T07:42:34Z<p>Markus Krötzsch: fixed URL formatting</p>
<hr />
<div><includeonly><br />
<div style="display:block; float:left; width:100%; margin:0 0 0.5em 0; padding:0;"><br />
<br />
<p style="margin:0px; padding:0px; font-size:1.9em; font-weight:bold; word-spacing:-2px;">{{{ApplicationID}}}</p><br />
<br />
{{ #if: {{{DevelopedBy1|}}} | by [[Developed by::{{{DevelopedBy1}}}]] }}{{ #if: {{{DevelopedBy2|}}} | , [[Developed by::{{{DevelopedBy2}}}]] }}{{ #if: {{{DevelopedBy3|}}} | , [[Developed by::{{{DevelopedBy3}}}]] }}{{ #if: {{{DevelopedBy4|}}} | , [[Developed by::{{{DevelopedBy4}}}]] }}{{ #if: {{{DevelopedBy5|}}} | , [[Developed by::{{{DevelopedBy5}}}]] }}{{ #if: {{{DevelopedBy6|}}} | , [[Developed by::{{{DevelopedBy6}}}]] }}{{ #if: {{{DevelopedBy7|}}} | , [[Developed by::{{{DevelopedBy7}}}]] }}{{ #if: {{{DevelopedBy8|}}} | , [[Developed by::{{{DevelopedBy8}}}]] }}{{ #if: {{{DevelopedBy9|}}} | , [[Developed by::{{{DevelopedBy9}}}]] }}<br />
</div><br />
<br />
<div style="display:block; float:left; width:100%;"><br />
<br />
<div class="PluginSidebar"><br />
{{ #if: {{{Screenshot|}}} | <p>[[screenshot:={{{Screenshot}}}|[[Image:{{{Screenshot}}}|thumb|100%|center|Screenshot]]]]</p> | }}<br />
{| cellspacing="0" cellpadding="5" class="PluginWikiInfoBox"<br />
|-<br />
| class="InfoBoxColFirst" | Last Update: || {{ #if:{{{LastUpdate|}}} | [[Last update:={{{LastUpdate}}}]] | notavailable }}<br />
|-<br />
| class="InfoBoxCol" | Current Version: || <ask format="template" template="CurrentVersion" limit="1" searchlabel="" sort="version number" order="descending" default="no version available">[[Category:Version]] [[version of::{{PAGENAME}}]] [[Version number::*]]</ask><br />
|-<br />
| class="InfoBoxCol" | Homepage: || {{ #if:{{{HomepageURL|}}} | [[Homepage::{{{HomepageURL}}}|{{{ApplicationID}}} Website]] | not available }}<br />
|-<br />
| class="InfoBoxCol" | Affiliation: || {{ #if:{{{Affiliation1|}}} | *[[Affiliated with::{{{Affiliation1}}}]] | not available }}{{ #if:{{{Affiliation2|}}} | *[[Affiliated with::{{{Affiliation2}}}]] | }}<br />
{{ #if:{{{Affiliation3|}}} | *[[Affiliated with::{{{Affiliation3}}}]] | }}{{ #if:{{{Affiliation4|}}} | *[[Affiliated with::{{{Affiliation4}}}]] | }}{{ #if:{{{Affiliation5|}}} | *[[Affiliated with::{{{Affiliation5}}}]] | }}{{ #if:{{{Affiliation6|}}} | *[[Affiliated with::{{{Affiliation6}}}]] | }}{{ #if:{{{Affiliation7|}}} | *[[Affiliated with::{{{Affiliation7}}}]] | }}{{ #if:{{{Affiliation8|}}} | *[[Affiliated with::{{{Affiliation8}}}]] | }}{{ #if:{{{Affiliation9|}}} | *[[Affiliated with::{{{Affiliation9}}}]] | }}<br />
|}<br />
</div><br />
<br />
<div style="display:block; float:left; width:64%; margin:0 0 2em 0; padding-top:0px;">__NOTOC__<br />
<strong>[[Description:={{{Description}}}]]</strong><br /><br /><br />
<br />
== Plugins for {{PAGENAME}} ==<br />
<br />
This section lists available plugins for [[ID:={{{ApplicationID}}}|{{{ApplicationID}}}]] and their associated topics.<br />
<br />
<ask format="broadtable" mainlabel="Plugin" default="no plugins available"><br />
[[Category:Plugin]] [[for application::{{PAGENAME}}]] [[has topic::*]]<br />
</ask><br />
<br />
<div class="addNewPluginVersion"><br />
<span class="addButton">[[Special:AddPage/Form:Plugin|Add New Plugin]]</span><br /><br /><br /><br />
</div><br />
<br />
== Versions of {{PAGENAME}} ==<br />
<br />
This section lists versions of {{{ApplicationID}}} with associated changelogs.<br />
<br />
<ask format="broadtable" mainlabel="Version" sort="version number" order="descending" default="no version information available"><br />
[[Category:Version]] [[version of::{{PAGENAME}}]]<br />
[[Changelog:=*|Changelog]]<br />
</ask><br />
<br />
<div class="addNewAppVersion"><br />
<span class="addButton">[[Special:AddPage/Form:VersionOf{{PAGENAME}}|Add New Version]]</span><br /><br /><br />
</div><br />
<br />
</div><br />
</div><br />
<br />
<br />
[[Category:Application]]<br />
<br />
</includeonly><noinclude><br />
{{{{FULLPAGENAME}}/doc}}<br />
</noinclude></div>Markus Krötzsch