Domain-constrained knowledge representation: A modal framework | ScienceToStartup | ScienceToStartup