RE: Introductions

Alternate, Attending F2F
 

  -- a bio summarizing experience you have that's relevant to the

     work of this group
 

I've been interested in the Semantic Web ever since I began my PhD
research in 2002. My main area is knowledge representation and
reasoning, in particular description logics, rule-based languages and
their combinations. Initially, I worked on an extension to OWL with
general rules, involving not only atoms but also literals with classical
negation and negation as failure. Later, I developed transformational
implementations of the OWL semantics
(http://www.inf.fu-berlin.de/inst/ag-nbi/research/owltrans), followed by
an engine for SWRL rules in RDF graphs
(http://www.inf.fu-berlin.de/inst/ag-nbi/research/swrlengine). Recently,
I became active in RuleML and OO jDREW, a Horn logic rule engine
(http://www.jdrew.org/oojdrew), and extended it with hybrid rules
including DL satisfiability checking
(http://www.jdrew.org/oojdrew/exa/).  Among the theoretical issues that
I am pursuing in parallel with my practical work are the following: (1)
Open world assumption for ontologies vs. closed world assumption for
rules; (2) The trade-off between expressivity and reasoning power; (3)
The selection of strategies in forward chaining and backward chaining.
 

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

Jing.Mei AT nrc-cnrc.gc.ca
 

  -- what you expect to get out of this WG
 

A rule language for the Semantic Web implemented by useful and efficient
rule engines (such as OO jDREW), reusing the RuleML syntax where
possible.
 

  -- what you hope/expect to contribute.
 

First, I want to bring in my experience with Java-based rule engines
integrated with DL reasoners. Second, I am interested in a platform
integrating such hybrid rules with relational databases. Third, I hope
to contribute improved safeness conditions and negation-as-failure in
hybrid rules.

Received on Monday, 5 December 2005 00:28:36 UTC