| 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 |
|