Sharing and Integrating Ontologies
Peter Yim, organizer and promoter of all things ontological, reminded me of this effort quite recently.
If you were constrained by:
The semantics defined by ISO/IEC 24707 for Common Logic should be the basis for the logics used to define ontologies.
could you still write a topic map?
My suggestion would be yes, since a topic map is “without form and void” prior to being filled in by an author.
True, prior to doing that “filling in,” you will have selected a form to fill in, that is a data model (we call them legends) so your topic map already has some rules and topics in place before you start.
But, the fact remains you could write a topic map using the semantics of ISO/IEC 24707 and identify those semantics so that ontologies could be mapped to them.