Concepts

• Concepts have Variables

Variables

• Variables have data (not required)

EffectSets = Sets of Concepts (with Variables)

KnowledgeBase

• dynamically generate constraints based on arity/number of concepts in EffectSet
• implementation is ASP
• querying takes set of assertions and returns answer set

High-level bits: Variables and EffectSets have properties that can be asserted.

Use cases:

1. End-user analyst has data to model.
2. End-user analyst does not have data to model but has an idea of the data they want to collect.
3. {🌟 would be nice, not within scope ATM, future work 🌟} End-user analyst has no data to model and wants to plan experimental design and statistical analysis together.