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));
}
}
|
