Logic or Rules MetaLogic

You can put the negation in your language, or you can just talk about it with your language. cwm/n3 has no negation, but you can give it rules to handle DAML consistency checking, etc.

Debated on rdf-rules