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