#940 Proposal: Choices and Filters

Brian Frank Mon 19 Jul

There have been a few fairly big loose ends to wrap up for Haystack 4. This is a broad suite of proposals to address those issues and modify a couple design patterns used in the Haystack ontology. These changes do include breaking changes in how defs are declared. But this proposal does not change how instance models are defined.

I've broken the overall proposal up into several sub-proposals:

  1. 935: simplify how choices work for the common case to so that they work like all other tags
  2. 936: redesign how choices work for the complicated specialization use case via a new design pattern using the of tag
  3. 937: redesign ref of (domain/referent of the relationship) to use filters and eliminate the fluid-xxx def explosion
  4. 938: finalize the question mark inference operator in filter syntax
  5. 939: remove the equipFunction taxonomy until we learn more

Login or Signup to reply.