Re: Introductions

Hello,
Here is my blurb.


	--michael  


o Role: Principal (invited expert - Stony Brook University is not a member)

o Will attend

o Short bio

  I am a professor of Computer Science at the State U. of New York at Stony
  Brook.  I received my Ph.D. from the Hebrew University of Jerusalem in 1984
  and have been working in the areas of databases and rule-based systems for
  over 20 years.

  Concerning the RIF effort, I have expertise both in semantic foundations
  and language design and implementation.  I am a co-inventor of F-logic (a
  logic for object-oriented/frame rule-based systems), HiLog (a logical
  foundation for meta-programming), Annotated Logic (reasoning with
  uncertainty and contradictions), and Transaction Logic (actions and
  active rules). I have also made important contributions to the popular
  XSB deductive engine and, with my students, have developed FLORA-2 -- a
  rule-based knowledge representation system that integrates F-logic,
  HiLog, much of the Transaction Logic, and has several other interesting
  features (such as SNAF). I have co-authored three textbooks in databases
  and operating systems, and co-edited several other books.

  I am a member of the RuleML initiative and took active part in the WSMO
  and SWSI projects as a co-chair of the working groups on semantic Web
  services languages.

  If any of you are Emacs users, you are likely to be using some of the
  tools that I have built when I had nothing better to do: the graphical
  file comparison/merge environment Ediff and the Vi emulator called Viper.

o Contact info: kifer@cs.stonybrook.edu

o My expectations of RIFWG

  A declarative, extensible rule-based language, which will eventually
  integrate (through modular extensions) frame-based representation and
  higher-order features; active rules; will be capable of approximate and
  nonmonotonic reasoning; and will tolerate inconsistency. I expect this
  language to complement OWL -- to live alongside (not on top of) it,
  but to be interoperable with OWL (and even SWIRL) to a large degree.

o What I hope to contribute

  My experience in developing theoretical foundations for rule-based
  systems and building practical implementations of such systems.

Received on Saturday, 3 December 2005 05:46:48 UTC