The course will cover modeling and representations of the state-of-art knowledge-based systems. The course consists of three modules: (i) Conceptual analyses of applications' business logic using Object Role Modeling, business rules, contradiction and implication between rules, optimization and re-engineering. (ii) Formal specifications languages: description logic, and OWL (iv) Modern knowledge-based applications, including smart data integration and interoperability of networked systems, Digital Libraries design, Semantic-based Web Services, among others.
This course aims to enrich students with theoretical and practical skills in modeling, representation, and management of business rules and building of knowledge-based systems and research investigation in these topics.
