The type of a directed graph of OMF documents.
The type of a directed graph of OMF documents.
A node is an OMF document is specified by its OWL Ontology document IRI. A directed edge corresponds to a relationship among OMF documents (extension or nesting).
The type of a node in an OMF document graph.
The type of a topological ordering of OMF document graph nodes.
TODO distinguish between: - BundledTerminologyAxioms - TerminologyExtensionAxioms
TODO distinguish between: - BundledTerminologyAxioms - TerminologyExtensionAxioms
Both are owl imports.
Get the classes directly declared in an ontology.
Get the classes directly declared in an ontology.
an ontology
whether to include or exclude backbone declarations
the classes that are declared in ont
, optionally with the backbone classes if backbone=included.
TODO: The current strategy converts one module at a time.
TODO: The current strategy converts one module at a time. This strategy implicitly assumes that there are no circular imports. Convert all modules in phases to allow resolving cross references among circular imports.
Called from OWLAPIOMFGraphStore.loadModule