This course introduces the processes and principles supporting the formal representation of knowledge. The course will introduce the knowledge elicitation process, formalization of knowledge in ontologies, axioms and rules and outline the logical underpinnings of these formalisms including first order logic and description logics. Students will create ontologies and learn to use reasoning engines for the purpose of deriving domain specific insights through inference and reasoning. Applications of knowledge representation techniques in support of the semantic web will be illustrated.
Prerequisites: CS 1083, CS 1103, CS 2043, CS 2333, CS 3773. |
