@Test
public void testGetNNFNotAtMostConcept() {
Concept c_old = new NotConcept(new AtMostConcept(3, R));
Concept c_new = new AtLeastConcept(4, R);
c_old = NNFFactory.getNNF(c_old);
assertEquals(c_old, c_new);
}
@Test
public void testGetNNFNotIntersectionConcept() {
Concept c_old = new NotConcept(new IntersectionConcept(A, B));
Concept c_new = new UnionConcept(new NotConcept(A), new NotConcept(B));
c_old = NNFFactory.getNNF(c_old);
assertEquals(c_old, c_new);
}
@Test
public void testGetNNFNotNotConcept() {
Concept c_old = new NotConcept(new NotConcept(A));
Concept c_new = A;
c_old = NNFFactory.getNNF(c_old);
assertEquals(c_old, c_new);
}
@Test
public void testGetNNFNotAtLeastConcept2() {
Concept c_old = new NotConcept(new AtLeastConcept(3, R));
Concept c_new = new AtMostConcept(2, F);
c_old = NNFFactory.getNNF(c_old);
assertThat("Different roles", c_old, is(not(c_new)));
}
@Test
public void testGetNNFComplexConcept() {
Concept c_old = new NotConcept(new ForAllConcept(R, new NotConcept(new UnionConcept(A, B))));
System.out.println(c_old);
System.out.println(NNFFactory.getNNF(c_old));
// Concept c_new = new AtLeastConcept(4, R);
// c_old = NNFFactory.getNNF(c_old);
// assertEquals(c_old, c_new);
}
@Test
public void testGetNNFAtLeastConcept() {
Concept c_old = new AtLeastConcept(3, R);
Concept c_new = NNFFactory.getNNF(c_old);
assertEquals(c_old, c_new);
}
@Test
public void testGetNNFIntersectionConcept() {
Concept c_old = new IntersectionConcept(A, B);
Concept c_new = NNFFactory.getNNF(c_old);
assertEquals(c_old, c_new);
}