FURCHE

I am also interested in applications of logic and logic programming to Web information systems. We are currently investigating, with colleagues from Oxford University, the impact of existential knowledge (or blank nodes) on querying RDF with rules. We have established a normal form for rules with existential quantifiers (where no universal quantifier occurs in the scope of an existential one) and proved that this normal form is equivalent to rules where universal and existential quantifiers can arbitrarily alternate... Tim Furche researches advanced query languages and their implementation for Web data.

Primary location: Oxford United Kingdom