Re: Introductions

Principal (for FZI Karlsruhe)
Attending F2F

   -- a bio summarizing experience you have that's relevant to the
      work of this group

I obtained a degree as a M.Sc. in Computational Logic Dresden Universtity of 
Technology, and now work as a doctoral student in Rudi Studer's group at the 
University of Karlsruhe. I have a firm background in formal semantics of 
logic programming, modal and description logics, and various other KRR 
formalisms. Besides "reasoning for the semantic web," my research interests 
also include foundations of knowledge representation in other paradigms, such 
as FCA or domain theory. 

   -- as much contact info as you care to share on this public list

See sig.

   -- what you expect to get out of this WG

Based on the core layer established in Phase 1, I expect the working group to 
create multiple independent extensions in Phase 2. I expect at least one of 
these to be widely compatible with the first-order semantics of OWL, and one 
to be based on some logic programming paradigm. I think that the semantics of 
all extensions should be well-understood with respect to their practical and 
theoretical interaction with OWL. 

   -- what you hope/expect to contribute.

I hope to contribute in questions relating to semantic interoperability 
between OWL and newly created rule paradigms, e.g. to the according 
deliverable scheduled in Phase 1.

-- 
Markus Krötzsch
Institute AIFB, University of Karlsruhe, D-76128 Karlsruhe
mak@aifb.uni-karlsruhe.de        phone +49 (0)721 608 7362
www.aifb.uni-karlsruhe.de/WBS/     fax +49 (0)721 693  717