| Translation
from Jena to Jess |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| • | Translation
of triples: |
||||||||||||
| A
triple <subject predicate object> |
|||||||||||||
| is
transformed into a predicate predicate(subject,object) |
|||||||||||||
| • | 2
inference rules for inheritance are added: |
||||||||||||
| – | Transitivity
of subclassing |
||||||||||||
| subclass(X,Y)
Ù subclass(Y,Z)
Þ subclass(X,Z) |
|||||||||||||
| – | Distribution
of type |
||||||||||||
| type(X,Y)
Ù subclass(Y,Z)
Þ type(X,Z) |
|||||||||||||