Domain-specific knowledge representation languages