Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
The entity-relationship model: toward a unified view of data