[
Top
]
[
Contents
]
[
Index
]
[
?
]
Table of Contents
PowerLoom Manual
1. Introduction
1.1 Powerloom Features
1.2 Powerloom History
1.3 Running PowerLoom
1.3.1 Command-Line Options
2. Conceptual Framework
2.1 Terms and Propositions
2.2 Definitions
2.3 Truth Values
2.4 Modules
3. Annotated Example
3.1 Using Modules
3.2 Concepts
3.3 Relations
3.4 Relation Hierarchies
3.5 Functions
3.6 Defined Concepts
3.7 Negation and Open and Closed World Semantics
3.8 Retraction
3.9 Clipping of Values
3.10 Rule-based Inference
3.11 Explanation
3.12 Contexts and Modules
3.13 Equality Reasoning
3.14 Classification, Subsumption
3.15 Truth Maintenance
3.16 Inference Control
3.17 Keyword Axioms
3.18 Cardinality/Type Reasoning with Frame Predicates
3.19 Loom-to-PowerLoom
3.20 Deviations from KIF
3.21 Differences from Loom
3.22 Defaults
3.23 Sets, Lists, SETOFALL, KAPPA
4. Communicating with PowerLoom
4.1 Command Interpreter
4.2 Persistent Knowledge Bases
5. Commands
6. PowerLoom API
6.1 API Functions
6.2 Language Specific Interface
6.2.1 Lisp API
6.2.1.1 Common Lisp Initialization
6.2.1.2 Type Declarations
6.2.1.3 NULL values
6.2.1.4 Wrapped Literal Values
6.2.1.5 Special Variables
6.2.1.6 CLOS Objects versus Structs
6.2.2 C++ API
6.2.3 Java API
6.2.3.1 Initializing PowerLoom
6.2.3.2 PowerLoom Java Conventions
6.2.3.3 Using the PLI Class
6.2.3.4 Using Stella Objects
6.2.3.5 PowerLoom and Threads
6.2.3.6 Setting and Restoring Global Variable Values
6.2.3.7 Java Character Mapping
6.2.3.8 Stella Exceptions in Java
6.2.3.9 Iteration in Java
6.2.3.10 Utility Classes for Java
7. Built-In Relations
8. PowerLoom GUI
8.1 Invoking the GUI
8.1.1 Starting a PowerLoom Server
8.2 GUI Design Goals
8.3 GUI Overview
8.4 GUI Features
8.4.1 Connect to Server
8.4.2 Edit Preferences
8.4.3 KB Load/Save
8.4.4 Browsing
8.4.5 Editing
8.4.6 Choosers
8.4.7 Extension Editor
8.4.8 Ask and Retrieve Queries
8.4.9 Search
8.4.10 Console
8.4.11 Cut/Copy/Paste/Delete
8.5 Future Work
8.5.1 Large KBs
8.5.2 Undo
8.5.3 Drag and Drop
8.5.4 Scrapbook
8.5.5 Instance Cloning
8.5.6 Security
8.5.7 Multiple Users
9. Ontosaurus
10. Installation
10.1 System Requirements
10.2 Unpacking the Sources
10.3 Lisp Installation
10.4 C++ Installation
10.5 Java Installation
10.6 Removing Unneeded Files
10.7 Installing PowerLoom Patches
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
[
Top
]
[
Contents
]
[
Index
]
[
?
]
This document was generated by
Hans Chalupsky
on
January 6, 2023
using
texi2html 1.82
.