package de.linkvt.bachelor.presets;

import de.linkvt.bachelor.features.axioms.classexpression.OwlDisjointWithFeature;
import de.linkvt.bachelor.features.classexpressions.connectivesandenumeration.OwlObjectComplementOfFeature;
import de.linkvt.bachelor.features.classexpressions.connectivesandenumeration.OwlObjectIntersectionOfFeature;
import de.linkvt.bachelor.features.classexpressions.connectivesandenumeration.OwlObjectOneOfFeature;
import de.linkvt.bachelor.features.classexpressions.connectivesandenumeration.OwlObjectUnionOfFeature;
import de.linkvt.bachelor.features.classexpressions.restrictions.object.cardinality.OwlObjectCardinalityFeature;
import de.linkvt.bachelor.features.classexpressions.restrictions.object.cardinality.OwlObjectMaxCardinalityFeature;
import de.linkvt.bachelor.features.classexpressions.restrictions.object.cardinality.OwlObjectMinCardinalityFeature;
import de.linkvt.bachelor.features.classexpressions.restrictions.object.value.OwlObjectHasValueFeature;
import de.linkvt.bachelor.features.dataranges.OwlDataOneOfFeature;

import org.springframework.stereotype.Component;

@Component
public class OwlDlPreset extends OwlLitePreset {
  @Override
  protected void initialize() {
    super.initialize();

    addFeatures(OwlObjectMaxCardinalityFeature.class, OwlObjectMinCardinalityFeature.class, OwlObjectCardinalityFeature.class);
    addFeatures(OwlObjectHasValueFeature.class);
    addFeatures(OwlObjectUnionOfFeature.class, OwlObjectComplementOfFeature.class, OwlObjectIntersectionOfFeature.class);
    addFeatures(OwlObjectOneOfFeature.class);
    addFeatures(OwlDisjointWithFeature.class);

    addFeatures(OwlDataOneOfFeature.class);
  }

  @Override
  public String getName() {
    return "OWL DL/Full";
  }

  @Override
  public int getIndex() {
    return 1;
  }
}

@@ -1734,13 +1734,8 @@
 L DL
-/Full
 %22;%0A 

Remove "Full" from OWL DL preset