Filed in: knowledge representation and processing