Top-Level Alignment
Sources: SENSUS (~6000), MIKRO (~5000), CYC (~3000)
Goal: Create single ontology from them
Possibilities:
- Ontologies may be impossible: incommensurate
- OR weak form: just align equivalent concepts, but keep separate ontologies
- OR strong form: create one ontology with (full) contents of all