Course
Knowledge Representation and the Semantic Web
Reading a concept hierarchy as an order, and predicting what a reasoner concludes from a set of axioms.
Finishing this course means you have demonstrated the required skills with the level of support this course currently assesses.
- Modules
- 1
- Lessons
- 1
- Skills
- 1
- Starting here
- Assumes 1 prior topic
The route
Module 1: Subsumption and classification
Subsumption as a partial order, meets and joins among named concepts and the pairs that have neither, the constructors that close the gap, classification as the closure of what the axioms entail, and the open-world reading that makes an empty answer mean something other than no.
- The learner can verify that subsumption is a partial order, locate meets and joins where they exist and identify pairs that have none, predict the subsumptions a classifier derives from asserted axioms, and trace an inference failure to a missing axiom or to the open-world reading rather than to the tool.
What finishing means
Finishing this course means you have demonstrated the required skills with the level of support this course currently assesses.
1 required skill. If you reach a lesson without the background it assumes, you are pointed at the prerequisite first, and returned here afterwards.
How progress is measured
Progress is inferred from evidence you produce, not from pages you have opened. Each required skill moves through states as evidence accumulates: met, practicing with help, performed unassisted, then performed again after a delay.
This course counts a skill as finished atguided. Where the system cannot admit evidence for a stronger claim — for instance when the only available scoring is your own judgment of your written answer — the skill stays at the state the evidence supports, and the reason is shown rather than hidden.