Ontology Explorer
Every concept records where it came from.
37 classes, 14 of them formal concepts computed by Formal Concept Analysis over artefacts observed in two real ecosystems. Select a node to see its plain-language meaning, its derivation, and — if you want it — the axioms.
click to select · hover to trace a lineage · double-click to focusdashed = entailed by a definition, not asserted
Reading the two badges
Each concept carries two annotations that answer different questions, and BSDO keeps them apart on purpose. Derivation says where the concept came from: a formal concept of the lattice, a composition, a reuse, or structural scaffolding. Reuse status says how it stands to external vocabularies. A class can be both derived from a formal concept and aligned to an outside term — the lithium-ion battery class is exactly that — so a single combined value would have to drop one of the two.