search

VirtualFlyBrain / vfb-pipeline-collectdata

Apache License 2.0
0 stars 0 forks source link

Remove disjoints from pipeline #10

Open matentzn opened 4 years ago

matentzn commented 4 years ago

@dosumis, I made it configurable, but take a look what you want to be the default setting for “potentially unsat generting axiom types”. This is the whole set:

DisjointClasses DisjointUnion DifferentIndividuals NegativeObjectPropertyAssertion NegativeDataPropertyAssertion FunctionalObjectProperty InverseFunctionalObjectProperty ReflexiveObjectProperty IrrefexiveObjectProperty ObjectPropertyDomain ObjectPropertyRange DisjointObjectProperties FunctionalDataProperty DataPropertyDomain DataPropertyRange DisjointDataProperties

Any of these can cause an unsatisfiable class (range/domain ones because of allowing complex expressions). Leaving any of these in can cause the pipeline to fail, but obviously, the more you remove, the more you lose joy from reasoning on the other end.

matentzn commented 4 years ago

Done. Can be closed.

matentzn commented 4 years ago

Note that The set of axioms that are stripped out can be configured here: https://github.com/VirtualFlyBrain/vfb-pipeline-collectdata/blob/458cac0b9d6d43078ca55955a12eac6effa40f8d/Dockerfile#L19