A syntax-independent approach to forgetting in disjunctive logic programs
Can you tell the difference between DL-Lite ontologies