.. _section-Glossary:

Glossary
________

==================== =======================================
**A**                      
-------------------- ---------------------------------------
**B**                       
-------------------- ---------------------------------------
**C**                      
-------------------- ---------------------------------------
C++                  An object oriented programming language
-------------------- ---------------------------------------
Cardinality          Number of elements
-------------------- ---------------------------------------
**D**                       
-------------------- ---------------------------------------
**E**                       
-------------------- ---------------------------------------
**F**                       
-------------------- ---------------------------------------
First-order logic    Logic system which makes use of 
                     predicates.  For example, predicate 
                     such as Peter [ son -> Alan ] means 
                     Peter has son Alan.
-------------------- ---------------------------------------
Flora2               A knowledge representation and 
                     reasoning system based on XSB
-------------------- ---------------------------------------
**G**                        
-------------------- ---------------------------------------
**H**                      
-------------------- ---------------------------------------
**I**                       
-------------------- ---------------------------------------
**J**                     
-------------------- ---------------------------------------
Java                 A class based, object oriented 
                     programming lanuage
-------------------- ---------------------------------------
**K**                     
-------------------- ---------------------------------------
**L**                       
-------------------- ---------------------------------------
**M**                       
-------------------- ---------------------------------------
**N**                        
-------------------- ---------------------------------------
**O**                      
-------------------- ---------------------------------------
OWL                  A knowledge representation language for
                     writing ontologies
-------------------- ---------------------------------------
**P**                       
-------------------- ---------------------------------------
Prolog               A logic programming language
-------------------- ---------------------------------------
**Q**                        
-------------------- ---------------------------------------
**R**                       
-------------------- ---------------------------------------
RDF                  A data format
-------------------- ---------------------------------------
**S**                     
-------------------- ---------------------------------------
SWRL                 A semantic web rule language based on 
                     OWL
-------------------- ---------------------------------------
**T**                     
-------------------- ---------------------------------------
**U**                      
-------------------- ---------------------------------------
**V**                     
-------------------- ---------------------------------------
**W**                      
-------------------- ---------------------------------------
**X**                     
-------------------- ---------------------------------------
XSB                  A prolog based programming language on 
                     which Flora is based
-------------------- ---------------------------------------
**Y**                      
-------------------- ---------------------------------------
**Z**                     
==================== =======================================