How knowledge representation meets software engineering (and often databases)