inly seem to just express knowledge, but no other rules?   

Or do you actually have a more radical view?  Do you think that each
application is so different from each other one that trying to find some
subsuming body of useful knowledge, an upper ontology, is pointless?  I
disagree with this claim, just for the record, but I'd like to hear more
before
trying to persuade you if it is your own view.   (I'm more sympathetic to the
claim that an upper ontology should be quite small but very well axiomati