Table of Contents

1. PowerLoom Manual
2. Introduction

2.1 Powerloom Features
2.2 Powerloom History
2.3 Running PowerLoom

2.3.1 Command-Line Options

3. Conceptual Framework

3.1 Terms and Propositions
3.2 Definitions
3.3 Truth Values
3.4 Modules

4. Annotated Example

4.1 Using Modules
4.2 Concepts
4.3 Relations
4.4 Relation Hierarchies
4.5 Functions
4.6 Defined Concepts
4.7 Negation and Open and Closed World Semantics
4.8 Retraction
4.9 Clipping of Values
4.10 Rule-based Inference
4.11 Explanation
4.12 Contexts and Modules
4.13 Equality Reasoning
4.14 Classification, Subsumption
4.15 Truth Maintenance
4.16 Inference Control
4.17 Keyword Axioms
4.18 Cardinality/Type Reasoning with Frame Predicates
4.19 Loom-to-PowerLoom
4.20 Deviations from KIF
4.21 Differences from Loom
4.22 Defaults
4.23 Sets, Lists, SETOFALL, KAPPA

5. Communicating with PowerLoom

5.1 Command Interpreter
5.2 Persistent Knowledge Bases

6. Commands
7. PowerLoom API

7.1 API Functions
7.2 Language Specific Interface

7.2.1 Lisp API

7.2.1.1 Common Lisp Initialization
7.2.1.2 Type Declarations
7.2.1.3 NULL values
7.2.1.4 Wrapped Literal Values
7.2.1.5 Special Variables
7.2.1.6 CLOS Objects versus Structs

7.2.2 C++ API
7.2.3 Java API

7.2.3.1 Initializing PowerLoom
7.2.3.2 PowerLoom Java Conventions
7.2.3.3 Using the PLI Class
7.2.3.4 Using Stella Objects
7.2.3.5 PowerLoom and Threads
7.2.3.6 Setting and Restoring Global Variable Values
7.2.3.7 Java Character Mapping
7.2.3.8 Stella Exceptions in Java
7.2.3.9 Iteration in Java
7.2.3.10 Utility Classes for Java

8. Built-In Relations
9. Installation

9.1 System Requirements
9.2 Unpacking the Sources
9.3 Lisp Installation
9.4 C++ Installation
9.5 Java Installation
9.6 Removing Unneeded Files
9.7 Installing PowerLoom Patches

10. Miscellaneous
11. Glossary
12. PowerLoom Grammar

12.1 Alphabet
12.2 Grammar

12.2.1 Constants and Typed Variables
12.2.2 Terms
12.2.3 Sentences
12.2.4 Definitions

Function Index
Variable Index
Concept Index