// define namespaces like in the RDF doc sample.rdf
rdfs := 'http://www.w3.org/2000/01/rdf-schema#'.
rdf := 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'.
rdfs := 'http://www.w3.org/2000/01/rdf-schema#'.
acm := 'http://daml.umbc.edu/ontologies/topic-ont#'.
dc := 'http://purl.org/dc/elements/1.1/'.
default := 'http://www.aifb.uni-karlsruhe.de/WBS/pha/rdf-query/sample.rdf#'.

// definition of RDF Schema semantics
FORALL Mdl @rdfschema(Mdl) {
  FORALL O,P,V   O[P->V] <- O[P->V]@Mdl.
  FORALL O,P,V   O[P->V] <- EXISTS S   (S[rdfs:subPropertyOf->P] AND O[S->V]).
  FORALL O,P,V   O[rdfs:subClassOf->V] <- 
      EXISTS W   (O[rdfs:subClassOf->W] AND W[rdfs:subClassOf->V]).
  FORALL O,P,V   O[rdfs:subPropertyOf->V] <- 
      EXISTS W   (O[rdfs:subPropertyOf->W] AND W[rdfs:subPropertyOf->V]).
  FORALL O,T   O[rdf:type->T] <-
      EXISTS S   (S[rdfs:subClassOf->T] AND O[rdf:type->S]).
}

// query 6

FORALL C,X,A,N <- 
(
	default:Paper[default:author->C] AND
	C[X->A] AND
	A[default:name->N]
)@rdfschema(default:ln).