Recent changes to wiki

Home modified by Peter Wullinger

Peter Wullinger — Fri, 12 Apr 2013 15:20:59 -0000

--- v3
+++ v4
@@ -9,7 +9,7 @@
 * Artistic License.
 * Support for [SHOIF(D)](http://en.wikipedia.org/wiki/Description_logic#Nomenclature) (i.e. ALC with role hierachies, transitive, nominals, inverse roles, functional and inverse functional roles and (XSD) datatypes.
 * Interface for loading [OWLAPI](http://owlapi.sourceforge.net/) ontologies (standard OWLAPI [OWLReasoner](http://owlapi.sourceforge.net/javadoc/org/semanticweb/owlapi/reasoner/OWLReasoner.html) interface is in the works.
-* [documented interface](http://lillytab.sourceforge.net/javadoc/1.7/) to reasoner internals
+* [documented interface](http://lillytab.sourceforge.net/javadoc/latest/) to reasoner internals
 * modular architecture. Reasoner parts are easily replaceable, including e.g. axiom storage.
 * Test driven development. LillyTab uses JUnit tests to verify things do not break during development.

WikiPage Home modified by Peter Wullinger

Peter Wullinger — Fri, 08 Mar 2013 08:44:12 -0000

--- v2
+++ v3
@@ -9,7 +9,7 @@
 * Artistic License.
 * Support for [SHOIF(D)](http://en.wikipedia.org/wiki/Description_logic#Nomenclature) (i.e. ALC with role hierachies, transitive, nominals, inverse roles, functional and inverse functional roles and (XSD) datatypes.
 * Interface for loading [OWLAPI](http://owlapi.sourceforge.net/) ontologies (standard OWLAPI [OWLReasoner](http://owlapi.sourceforge.net/javadoc/org/semanticweb/owlapi/reasoner/OWLReasoner.html) interface is in the works.
-* [documented interface]( to reasoner internals
+* [documented interface](http://lillytab.sourceforge.net/javadoc/1.7/) to reasoner internals
 * modular architecture. Reasoner parts are easily replaceable, including e.g. axiom storage.
 * Test driven development. LillyTab uses JUnit tests to verify things do not break during development.

WikiPage Home modified by Peter Wullinger

Peter Wullinger — Tue, 30 Oct 2012 15:48:36 -0000

--- v1
+++ v2
@@ -1,8 +1,20 @@
-Welcome to your wiki!
+LillyTab
+========
 
-This is the default page, edit it as you see fit. To add a new page simply reference it within brackets, e.g.: [SamplePage].
+LillyTab is a modular [description logic](http://en.wikipedia.org/wiki/Description_logic) consistency checker with support for (currently) a subset of OWL/DL and OWL2.
 
-The wiki uses [Markdown](/p/lillytab/wiki/markdown_syntax/) syntax.
+Primary features
+----------------
+
+* Artistic License.
+* Support for [SHOIF(D)](http://en.wikipedia.org/wiki/Description_logic#Nomenclature) (i.e. ALC with role hierachies, transitive, nominals, inverse roles, functional and inverse functional roles and (XSD) datatypes.
+* Interface for loading [OWLAPI](http://owlapi.sourceforge.net/) ontologies (standard OWLAPI [OWLReasoner](http://owlapi.sourceforge.net/javadoc/org/semanticweb/owlapi/reasoner/OWLReasoner.html) interface is in the works.
+* [documented interface]( to reasoner internals
+* modular architecture. Reasoner parts are easily replaceable, including e.g. axiom storage.
+* Test driven development. LillyTab uses JUnit tests to verify things do not break during development.
 
 [[project_admins]]
+
+Download
+--------
 [[download_button]]

WikiPage Home modified by Peter Wullinger

Peter Wullinger — Thu, 04 Oct 2012 14:10:51 -0000

Welcome to your wiki! This is the default page, edit it as you see fit. To add a new page simply reference it within brackets, e.g.: [SamplePage]. The wiki uses [Markdown](/p/lillytab/wiki/markdown_syntax/) syntax. [[project_admins]] [[download_button]]