[Javaowl-commit] Reasoner/tests/org/javaowl/reasoner TestReasoner.java,1.1,1.2

[Elmer G. <ega...@us...>]

Update of /cvsroot/javaowl/Reasoner/tests/org/javaowl/reasoner
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv7903/tests/org/javaowl/reasoner

Modified Files:
	TestReasoner.java 
Log Message:
Added Negation Conjunction and Disjunction Concepts.


Index: TestReasoner.java
===================================================================
RCS file: /cvsroot/javaowl/Reasoner/tests/org/javaowl/reasoner/TestReasoner.java,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** TestReasoner.java	13 Oct 2004 01:29:42 -0000	1.1
--- TestReasoner.java	19 Oct 2004 06:55:44 -0000	1.2
***************
*** 1,4 ****
  /*
! TestEditor.java
  Copyright (C)  2004 Gerardo Horvilleur Martinez, Elmer Garduno Hernandez
  
--- 1,4 ----
  /*
! TestReasoner.java
  Copyright (C)  2004 Gerardo Horvilleur Martinez, Elmer Garduno Hernandez
  
***************
*** 52,73 ****
          private void 
          testAtomicConcept()
!         {
              assertTrue(AtomicConcept.TOP.isTop());
              assertFalse(AtomicConcept.TOP.isBottom());
!             assertTrue(AtomicConcept.BOTTOM.isBottom());
              assertFalse(AtomicConcept.BOTTOM.isTop());
!             assertTrue(AtomicConcept.BOTTOM.getNegatedConcept().isTop());
!             assertTrue(AtomicConcept.TOP.getNegatedConcept().isBottom());
!             assertTrue(AtomicConcept.BOTTOM.getNegatedConcept().
!                        getNegatedConcept().isBottom());
!             assertTrue(AtomicConcept.TOP.getNegatedConcept().
!                        getNegatedConcept().isTop());
              AtomicConcept female = AtomicConcept.getConcept("female");
!             AtomicConcept male = female.getNegatedConcept();
!             assertTrue(male.isNegated());
!             assertFalse(male.isTop());
!             assertFalse(male.isBottom());
!             assertTrue(male.isAtomic());
!             assertTrue(female.equals(male.getNegatedConcept()));
          }
      }
--- 52,118 ----
          private void 
          testAtomicConcept()
!         {            
!             assertFalse(AtomicConcept.TOP.isNegated());
              assertTrue(AtomicConcept.TOP.isTop());
              assertFalse(AtomicConcept.TOP.isBottom());
!             assertTrue(AtomicConcept.TOP.isAtomic());
!             assertFalse(AtomicConcept.BOTTOM.isNegated());
              assertFalse(AtomicConcept.BOTTOM.isTop());
!             assertTrue(AtomicConcept.BOTTOM.isBottom());
!             assertTrue(AtomicConcept.BOTTOM.isAtomic());
! 
!             assertTrue(NegatedConcept.getConcept(AtomicConcept.BOTTOM).isTop());
!             assertTrue(NegatedConcept.getConcept(NegatedConcept.
!                                                  getConcept(AtomicConcept.BOTTOM)).
!                        isBottom());
! 
              AtomicConcept female = AtomicConcept.getConcept("female");
!             AtomicConcept female2 = AtomicConcept.getConcept("female");
!             assertFalse(female.isNegated());
!             assertFalse(female.isTop());
!             assertFalse(female.isBottom());
!             assertTrue(female.isAtomic());
!             assertEquals(female, female2);
!             Concept notFemale = NegatedConcept.getConcept(female);
!             Concept notFemale2 = NegatedConcept.getConcept(female);
!             assertTrue(notFemale.isNegated());
!             assertFalse(notFemale.isTop());
!             assertFalse(notFemale.isBottom());
!             assertTrue(notFemale.isAtomic());
!             assertEquals(notFemale, notFemale2);
!             Concept notNotFemale = NegatedConcept.getConcept(notFemale);
!             assertFalse(notNotFemale.isNegated());
!             assertFalse(notNotFemale.isTop());
!             assertFalse(notNotFemale.isBottom());
!             assertTrue(notNotFemale.isAtomic());
!             assertEquals(notNotFemale, female);
!         
!             ConjunctionConcept c1 = ConjunctionConcept.getConcept();
!             ConjunctionConcept c2 = ConjunctionConcept.getConcept();
!             c1.addConcept(female);
!             c2.addConcept(female);
!             assertEquals(c1, c2);
!             c1.addConcept(AtomicConcept.TOP);
!             c2.addConcept(notNotFemale);
!             assertEquals(c1, c2);
!             c1.addConcept(notFemale);
!             assertEquals(c1, AtomicConcept.BOTTOM);
!             c2.addConcept(c1);
!             assertEquals(c2, AtomicConcept.BOTTOM);
! 
!             DisjunctionConcept d1 = DisjunctionConcept.getConcept();
!             DisjunctionConcept d2 = DisjunctionConcept.getConcept();
!             d1.addConcept(female);
!             d2.addConcept(female);
!             assertEquals(d1, d2);
!             d1.addConcept(AtomicConcept.BOTTOM);
!             d2.addConcept(notNotFemale);
!             assertEquals(d1, d2);
!             d1.addConcept(notFemale);
!             assertEquals(d1, AtomicConcept.TOP);
!             d2.addConcept(d1);
!             assertEquals(d2, AtomicConcept.TOP);
!         
!             assertEquals(AtomicConcept.BOTTOM, NegatedConcept.getConcept(d2));
          }
      }