Skip to content

Inconstitencies in RXNO #6

@StroemPhi

Description

@StroemPhi
  • there seem to be issues with regard to the subsumption hierarchy of some classes
  • there are some classes that should be but are not being declared as disjoint (for why see here)
  • there seem to be wrong equivalent to axioms

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