Rules and ontologies for the Semantic Web
Classical negation in logic programs and disjunctive databases