ULI als Tesbed

1
Using Declarative Programming for the Semantic Web
Research seminar 16.10.2003 Learning Lab Rita
Gavriloaie, Jan Brase
2
Overview

• PROLOG and Metadata
• MINERVA
• INAP2004
• Our paper

3
PROLOG and Metadata
4

• RDF can be easily expressed in PROLOG with a
• Predicate(Subject,Object).
• Structure.

5
MINERVA
6

• ISO-13211-1 Prolog compiler and executive hosted
  in Java, MINERVA is a commercial programming
  system for large private or public intelligent
  client-server applications on the internet
• In contrast to Java, MINERVA is declarative and
  high level. It includes a memory based database,
  search facilities, and pattern matching, all
  needed for intelligent interactive cooperating
  applications.

7
MINERVA RDF Parser

• Parse RDF statements rdf(S, P, O) into Prolog
  binary predicates P(S,O) and some ternary
  predicates for rdf containers (Seq ..)

8
Exporting Prolog to RDF

• One lecture metadata in one rdf file
• Algorithm
• find root resource
• find attributes of root resource (predefined
  attributes)
• export root resource and attributes
• forall subresources (depth first search following
  dcq_hasPart)
• find attributes
• export

9
INAP 2004
10
(No Transcript)
11
Our paper
12
Structure

• Basics
• Metadata
• RDF
• Expressing RDF in PROLOG facts
• importing and exporting rdf (minerva parser)
• Using rules for inference and adaptation rules
•  
• Two applications
• Minerva browser inference engine
• Minerva course system