Re: Introductions

"Alternate" and
"Attending F2F"

I am a Senior Lecturer in the School of Computer Science, University  
of Manchester.  My general research interests are in logics for  
knowledge representation and automated deduction. More specifically,  
I am interested in Description, Modal, and Dynamic Logics, the  
corresponding inference problems, their complexity, and decision  
procedures for these problems, and I like to work on questions  
concerning the applicability of these logics, e.g. as ontology  
languages.

  If you want to know more, have a look at my homepage at http:// 
www.cs.man.ac.uk/~sattler/
I hope to bring my experience in the engineering of logic-based  
formalisms, including finding good compromises between computational  
complexity and expressive power. I'd like to see a rule language (1)  
with clear, well-defined semantics, (2) that  integrates nicely with  
the W3C semantic web standards (RDF(S) and OWL), and (3) which  
presents a useful, possibly staggered compromise between complexity  
and expressive power.