Check consistency of an integrated ontology for the aligned BioPortal ontologies

From FMS-wiki
Jump to: navigation, search

The goal is to take a subset of the Bioportal ontologies and their alignments (also stored at Bioportal), formulate them in DOL as a network of ontologies, and use Hets to check consistency of the network. Required skills: knowledge of logic