Logic

Ontohub supports a wide range of formal logical and ontology languages building on the OntoIOp.org project and allows complex inter-theory (concept) mappings and relationships with formal semantics.