MOlecular Structure Ontology (MoSt)
This repository directory contains the theories found in the MOlecular Structure Ontology (MoSt) written in the Common Logic syntax.
- allowed for multiple fusion to handle bridges in molecules
- april 21, 2017: renamed all inBond/inGroup/etc. relations to mol(x,y) - all axioms will now require sort constraints
Major Design Decisions
The ontology represents atoms, bonds, functional groups, and skeletons as elements of the domain in the ontology, and imports theories from molecular_graph.
The ontology allows for:
- multiple fusion to support bridges
- unique spiro
- unique tether