Theoretical knowledge and practical skills in modeling, representation, and management of knowledge-based systems. State-of-the-art research in conceptual analysis, applications' business logic, formal specifications languages, description logic languages, and modern knowledge-based applications.
