Knowledge Representation

This site is no longer being maintained.  Sorry.

[OUTLINE - TUTORIAL - TOOLS - RESOURCES - SUBMIT]

Freeware
Tools

• COLAB: Knowledge Representation and Compilation Laboratory
  • Description: A knowledge representation system emphasizing the horizontal and vertical compilation of knowledge bases.
  • Platforms: UNIX (Requires Common LISP)
  • Source: CMU AI Repository.
  • Reference: Information available at CMU AI Repository.
  • Contact: Information available at CMU AI Repository.
• Crack
  • Description: Crack is a description logic evaluator.
  • Platforms: Unknown
  • Source: The on-line evaluation program and program are found at Crack On-Line.
  • Reference: A paper describing Crack is also available at Crack On-Line.
  • Contact: Enrico Franconi.
• KNOWBEL: Telos Temporal/Sorted Logic System
  • Description: A Common Lisp implementation of the Telos Knowledge Representation Language. It includes a frame-based object language with inheritance, a resolution theorem prover, and a temporal reasoner.
  • Platforms: UNIX (Requires Common LISP)
  • Source: CMU AI Repository.
  • Reference: Included in distribution
  • Contact: N/A
• Loom Knowledge Representation System
  • Description: A language and environment for developing intelligent applications.
  • Platform: Sun Sparc, Macintosh, DOS/Windows.
  • Source: The Loom Home Page.
  • Reference: Available from Loom System Documentation and Loom Papers.
  • Contact: N/A
• RHETORICAL: Rochester Knowledge Tools Distribution
  • Description: A planning and knowledge tool.
  • Platforms: UNIX (Requires Common LISP)
  • Source: CMU AI Repository.
  • Reference: N/A
  • Contact: rhet@cs.rochester.edu.
• SNePS: A Logic-based Semantic Network Processing System
  • Description:
  • Source: www.cs.buffalo.edu.
  • Reference: The SNePS homepage.
  • Contact: Stuart C. Shapiro.
• URANUS: Logic-Based Knowledge Representation Language
  • Description: A logic-based knowledge representation language.
  • Platforms: UNIX (Requires Common LISP)
  • Source: CMU AI Repository.
  • Reference: N/A
  • Contact: N/A
• YAK
  • Description: A fully implemented knowledge representation description logic based system.
  • Platforms: Macintosh, X-Windows.
  • Source: To receive a copy send mail to (trueman@irst.itc.it).
  • Reference: Available papers at Enrico Franconi's Home Page.
  • Contact: trueman@irst.itc.it.

Submit

© 1996-2003. All rights reserved.
Last updated on Tuesday, April 13, 2004 04:07:38 PM.
Suggestion Box.

visitors since April 8, 1999 (counter provided by LinkExchange)