Skip to content

Expected behavior of export "Disjoint With" #1144

@dlutz2

Description

@dlutz2

ROBOT 1.9.4
The export operation with a "Disjoint With" heading results in a set of class/property expressions which includes the entity being described e.g. in BFO:
"continuant" is described as being disjoint from "continuant|occurrent".
This is the behavior of the underlying OWLAPI EntitySearcher which apparently returns the members of the mutually disjoint set including the entity of interest.
Is including a self-disjoint value the desired result for export? Reconstructing the original ontology from the exported values (e.g. using template) requires a manual edit to remove that self-disjoint,

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