|
|
|
This slide
represents the structure of the reasoning program. The upper blocks represent
the input. All input is put in a concrete RDF syntax like the one shown in a
previous slide; other syntaxes are e.g. Notation 3 and the graph syntax.
|
|
The first block
contains metarules: these are general rules that can be used by a set of
applications. This block might also contain rules for ontologies.
|
|
The second block
represents the application dependent data.
|
|
The third block
represents a question asked to the system.
|
|
|
|
The first of the
middle blocks represents the reasoning kernel of the program. It uses an
abstract RDF syntax (for this thesis specified in Haskell).
|
|
This block can
direct a query to another site (second block in the middle) and recieve a
response.
|
|
The lowest block
represents the output (solutions and proofs of those solutions) of the
program. The output is again in a
concrete RDF syntax.
|