RE: Merging Rulesets

> The Semantic Web applications I'm familiar with (including everything
> based on cwm, some of my prolog work, and various things I hear about)
> all merge rulesets freely by just puting them together (concatenation,
> set-union, conjunction, etc).  

I think this is a very naive approach that only works if your 
rules are written in a severely restricted language such as
RDF or Datalog.

> It's trivial with RDF, OWL, N3, and FOL (when you use URIs for names).

I don't think it's trivial for OWL and FOL where you could get
various kinds of inconsistencies that would have to be resolved,
which would lead to nonmonotonicity. This problem is well-known 
in the KR community, and the prominent topic of belief revision 
is closely related to this issue of merging rules.

-Gerd