// Dublin Core Example [MS] // dfki := "http://www.dfki.de#". // collection of dfki documents @dfki:documents { dfki:doc1[ dc:author->ms[name->"Michael Sintek"]; dc:title->"FRODO: Milestone 1"; dc:subject->FRODO; dc:subject->RDF; dc:subject->TRIPLE]. } // domain ontology @sewebOntology { RDF[subClassOf -> XML]. // ... } // model with search heuristics FORALL DCModel, Ontology @search(DCModel, Ontology) { FORALL doc,term search(doc, term) <- doc[dc:author->term]@DCModel. FORALL doc,term search(doc, term) <- doc[dc:title->term]@DCModel. FORALL doc,term search(doc, term) <- doc[dc:subject->term]@DCModel. FORALL doc,term search(doc, term) <- // trivial heuristics EXISTS term1 ( term1[subClassOf->term]@Ontology AND doc[dc:subject->term1]@DCModel ). } // query FORALL Doc,Title <- search(Doc, XML)@search(dfki:documents, sewebOntology) AND Doc[dc:title -> Title].