Course objectives:
At the completion of the course, students will be able to:
- Distinguish among knowledge representational formalisms, and provide examples in biomedical domains
- Understand the implications and potentials of semantic web representations (XML, RDFS, and OWL) and technologies
- Distinguish between explicit knowledge and inferred knowledge
- Describe the implication of formal results around tractabilty and decidability for inference systems
- Build simple ontologies for applications in biomedical informatics
- Perform subsumption and classify statements in description logics
|