L ogics for D ata and K nowledge R epresentation
LDK R Logics for Data and Knowledge Representation The DERA methodology.