Skip to content

Add axioms to each setting datum which quality they are about #116

@StroemPhi

Description

@StroemPhi

According to the updated design pattern docs, we can add axioms on all the setting datums we defined which will link these to the qualities that they set (are about).

EDIT: previously referenced this relation as being RO:causally influences, but after discussion with Lars Vogt, this is wrong, as my understanding of causality in this context was too broad. Hence, I changed it to "is about", which is already changed in the docs. But the axioms cna/should still be asserted.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions