Recent changes to Home

Home modified by Peter Wullinger

Peter Wullinger — Mon, 27 Jul 2015 09:57:44 -0000

--- v7
+++ v8
@@ -6,7 +6,7 @@
 Migration Note
 ==============

-**LillyTab is now over at [github](https://github.com/pwub/lillytab). The repository and downloads on Sourceforge here are no longer maintained.**
+**LillyTab is now over at [github](http://pwub.github.io/lillytab). The repository and downloads on Sourceforge here are no longer maintained.**

 Primary features
 ----------------

Home modified by Peter Wullinger

Peter Wullinger — Mon, 27 Jul 2015 09:55:02 -0000

--- v6
+++ v7
@@ -3,7 +3,10 @@

 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.

-**Note**: LillyTab is now over hat [github](https://github.com/pwub/lillytab). The repository and downloads on Sourceforge here are no longer maintained.
+Migration Note
+==============
+
+**LillyTab is now over at [github](https://github.com/pwub/lillytab). The repository and downloads on Sourceforge here are no longer maintained.**

 Primary features
 ----------------

Home modified by Peter Wullinger

Peter Wullinger — Mon, 27 Jul 2015 09:54:33 -0000

--- v5
+++ v6
@@ -2,6 +2,8 @@
 ========

 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.
+
+**Note**: LillyTab is now over hat [github](https://github.com/pwub/lillytab). The repository and downloads on Sourceforge here are no longer maintained.

 Primary features
 ----------------
@@ -13,8 +15,4 @@
 * 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]]

Home modified by Peter Wullinger

Peter Wullinger — Thu, 13 Jun 2013 06:56:00 -0000

--- v4
+++ v5
@@ -7,7 +7,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.
+* Support for [SHOF(D)](http://en.wikipedia.org/wiki/Description_logic#Nomenclature) (i.e. ALC with role hierarchies, transitive, nominals, 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/latest/) to reasoner internals
 * modular architecture. Reasoner parts are easily replaceable, including e.g. axiom storage.

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