On Thu, May 9, 2013 at 8:57 PM, Patrick Cassidy <pat@micra.com> wrote:

Logically sound ontologies have been built and used for years - they are not only possible, but multiple examples exist.  The CYC ontology (under development since 1985) has over 100,000 categories, and has been used commercially on large projects, and is well-structured and exhaustively tested.

Cyc actually started in 1984.  Wikipedia started in 2001.  Which has made more progress?

Could you give some examples of where Cyc has been used successfully commercially? The Wikipedia page has a couple of projects under development, but nothing actually deployed.

Tom