Drasil icon indicating copy to clipboard operation
Drasil copied to clipboard

`Real :: Space` vs `real :: ConceptChunk`: Difference? Relationship?

Open balacij opened this issue 7 months ago • 2 comments

A Space is a closed set of terms that don't have any (textual) definitions internally known to Drasil, but the hypothetical ConceptChunk would have that (i.e., a Sentence).

What is the relationship between between these things? Explaining this is probably good wiki/ information.

More broadly, how should we be capturing "data captured in Drasil" in Drasil? This is related to how we have some chunks that give explanations to what a theory model is, instance model, etc.

balacij avatar Jun 02 '25 21:06 balacij

Indeed.

Quick answer: one is a "type", known internally to Drasil, while the other is the name for a concept from mathematics, which is data to Drasil.

JacquesCarette avatar Jun 03 '25 00:06 JacquesCarette

Also: model vs meta-model.

JacquesCarette avatar Jun 03 '25 00:06 JacquesCarette