- Rand Anderson
- industrial use (financial)
- Libby Miller
- Squish (query language).
now writing/maintaining test cases by EricP, Andy Seaborne, Albert Reggioon
- Daniel Goessling
- working with Lynn Stein. providing RDF view of/access to CVS repositories
- Raphael Volz
- working with Ian Horrocks
ontology editor, ontology db, datalog support, query lang
- Said Tabet
- co-lead on RuleMLm. industral apps
- Ashok Malhotra (MS)
- lots of SQuery, rules, RDF-Q
- Dan Brickley (W3C)
- chair RDF IG.
interest in technical consistency between RDF, Onto, Rules, RDF-Query, SQuery, XML-S, etc.)
application/use scenarios.
W3C constituencies [???] eg P3P
- Benjamin Grosof
- colead RuleML and JC on rules.
ont + rules, apps, e-biz, semi-structured and rules KR.
- Eric Prud'hommeaux
- RDF Query from early on. working on comparison of RDF query sytems
lately, semi-structures access to relational DBs to help unify/integrate them. implemented in algae and cwm/n3.
- Harold Boley
- Mike Dean
- Joint Committee
examples + little tools (using cwm) [???]
focus on scalability (100 triples)
- Pat Hayes
- crusader for clear semantics in RDF, OWL, Rules, Common Logic
- Duncan Johnson Watt
- enigmatec
inner | outer1 | outer2 |
a | b | c |
c | d | e |
between.inner _:1 a.
between.outer1 _:1 b.
between.outer2 _:1 c.
between.inner _:2 c.
between.outer1 _:2 d.
between.outer2 _:2 e.
begs the query: Q(?Y) <- E(?x), between.inner(?x, ?y) ^ between.outer1(?x, d) ^ between.outer2(?x, e)
which can be represented with this simple (too simple) query graph:
<r:RDF xmlns:r="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns="http://example.com/props#">
<r:Description r:about="http://example.com/variables#existential_x">
<inner r:resource="http://example.com/variables#existential_y" />
<outer1 r:resource="http://example.com/places#d" />
<outer2 r:resource="http://example.com/places#e" />
</r:Description>
</r:RDF>
Problem: naive processor (doesn't know about http://example.com/variables namespace) will answer this as a solution to its own question.
- issues:
- generic RDF/semi-s vs. RuleML/OWL
- rel'nsh [???] of DQL vs. RuleML
feedbh[???] to add construction/head -- can view relationally (vs. term)
- danbri: send rules with query
- benjamin: hypothetical queries
- sensing, reaction rules, to comm. querying
- * most of desired extensions in RDF-Q are in rules now or planned
- ericP: want 80-20
- use RDF restrict's cf. [those] OWL imposes
- DanBir: lot of RDF-! wh to dates is protocols for talking to DBs
see LBase by Pat H and Guha.
maps RDF-S to FOL.
- distributed and scalable
- [???] big DB-AI III [???] lit - ind. lean wrappers
eg knoblock, HaLevy, J Ullman
- distrib flw, whflow/ISTA, NM, aproc, events; new lit. Grosof, Li, Finin
- ericP: would like helpers to define unified taxonomy/conceptual model for their favorite query languages
- All: need use cases/examples to extract design rationales/requirements -- ie open subsgraph queries/query patterns
- ericP: starting with graph matching with existential variabels
- Pat + Mike: may want [???] desirable/constructable extra stuff
also, there's the distinguished variable issue and other meta-instr's cf DQL [???]