[
Top
]
[
Contents
]
[
Index
]
[
?
]
Table of Contents
1. PowerLoom Manual
2. Introduction
3. Powerloom History
4. Installation
4.1 System Requirements
4.2 Unpacking the Sources
4.3 Lisp Installation
4.4 C++ Installation
4.5 Java Installation
4.6 Removing Unneeded Files
4.7 Installing PowerLoom Patches
5. Conceptual Framework
5.1 Terms and Propositions
5.2 Definitions
5.3 Truth Values
5.4 Modules
6. Annotated Example
6.1 Using Modules
6.2 Concepts
6.3 Relations
6.4 Relation Hierarchies
6.5 Functions
6.6 Defined Concepts
6.7 Negation and Open and Closed World Semantics
6.8 Retraction
6.9 Clipping of Values
6.10 Rule-based Inference
6.11 Explanation
6.12 Contexts and Modules
6.13 Classification, Subsumption
6.14 Truth Maintenance
6.15 Inference Control
6.16 Keyword Axioms
6.17 Cardinality/Type Reasoning with Frame Predicates
6.18 Loom-to-PowerLoom
6.19 Deviations from KIF
6.20 Differences from Loom
6.21 Defaults
6.22 Sets, Lists, SETOFALL, KAPPA
7. Communicating with PowerLoom
7.1 Command Interpreter
7.2 Persistent Knowledge Bases
8. Commands
9. PowerLoom API
9.1 API Functions
9.2 Language Specific Interface
9.2.1 Lisp API
9.2.1.1 Common Lisp Initialization
9.2.1.2 Type Declarations
9.2.1.3 NULL values
9.2.1.4 Wrapped Literal Values
9.2.1.5 Special Variables
9.2.1.6 CLOS Objects versus Structs
9.2.2 C++ API
9.2.3 Java API
9.2.3.1 Initializing PowerLoom
9.2.3.2 PowerLoom Java Conventions
9.2.3.3 Using the PLI Class
9.2.3.4 Using Stella Objects
9.2.3.5 PowerLoom and Threads
9.2.3.6 Setting and Restoring Global Variable Values
9.2.3.7 Java Character Mapping
9.2.3.8 Stella Exceptions in Java
9.2.3.9 Iteration in Java
9.2.3.10 Utility Classes for Java
10. Built-In Relations
11. Miscellaneous
12. Glossary
13. PowerLoom Grammar
13.1 Alphabet
13.2 Grammar
13.2.1 Constants and Typed Variables
13.2.2 Terms
13.2.3 Sentences
13.2.4 Definitions
Function Index
Variable Index
Concept Index
This document was generated by
Hans Chalupsky
on
October, 29 2003
using
texi2html