TimBL

some syntax now for lists, 
- e.g., for n-ary argument collections
   . would like even nicer still for that 

for defaults, use an explicit scoping domain, with log:notIncludes
- looking for a nicer syntax

ability to discuss provenance

may use a URI by dereferencing it to find the contents of what it names

impl's:  
Euler: b/w
Pychinko:  Rete by Bijan
SPARQL

have also impl'd an   update and patch  lang

single data model for data from all sources
same syntax for data part of rules as use for data generally

%%%%

Bijan Parsia on SWRL

only safety condition is standard Datalog safety

%%%%

Q+A at end of 3rd session:  

discussed coping of defaults/NAF

some on how well known to 

N3 lacks semantics