Package org.mindswap.pellet

Examples of org.mindswap.pellet.KnowledgeBase.removeType()

878
879
880
881
882
883
884
885
886
887
888
    kb.addIndividual( a );
    kb.addType( a, C );
    kb.addType( a, D );

    kb.removeType( a, D );

    assertTrue( kb.isConsistent() );
    assertTrue( kb.isType( a, C ) );
    assertFalse( kb.isType( a, D ) );
  }
View Full Code Here
908
909
910
911
912
913
914
915
916
917
918
    kb.addType( a, all( p, C ) );
    kb.addType( b, C );

    kb.addPropertyValue( p, a, b );

    kb.removeType( b, C );

    kb.removePropertyValue( p, a, b );

    assertTrue( kb.isConsistent() );
    assertFalse( kb.isType( b, C ) );
View Full Code Here
877
878
879
880
881
882
883
884
885
886
887
    kb.addIndividual( a );
    kb.addType( a, C );
    kb.addType( a, D );

    kb.removeType( a, D );

    assertTrue( kb.isConsistent() );
    assertTrue( kb.isType( a, C ) );
    assertFalse( kb.isType( a, D ) );
  }
View Full Code Here
907
908
909
910
911
912
913
914
915
916
917
    kb.addType( a, all( p, C ) );
    kb.addType( b, C );

    kb.addPropertyValue( p, a, b );

    kb.removeType( b, C );

    kb.removePropertyValue( p, a, b );

    assertTrue( kb.isConsistent() );
    assertFalse( kb.isType( b, C ) );
View Full Code Here
1224
1225
1226
1227
1228
1229
1230
1231
1232
1233
1234
    assertTrue( kb.isConsistent() );
    assertTrue( kb.isType( a, C ) );
    assertTrue( kb.isType( a, D ) );

    kb.removeType( a, D );

    assertTrue( kb.isConsistent() );
    assertTrue( kb.isType( a, C ) );
    assertFalse( kb.isType( a, D ) );
  }
View Full Code Here
1776
1777
1778
1779
1780
1781
1782
1783
1784
1785
1786
    assertTrue( copyKB.isType( a, D ) );
    assertTrue( copyKB.isType( b, E ) );
    assertTrue( copyKB.isSubClassOf( C, D ) );
   
    // change the copy KB's ABox
    copyKB.removeType( a, C );

    // copy should NOT be in ConsistencyDone state anymore
    // but original KB is still in ConsistencyDone state
    assertFalse( copyKB.isConsistencyDone() );
    assertTrue( kb.isConsistencyDone() );
View Full Code Here
1224
1225
1226
1227
1228
1229
1230
1231
1232
1233
1234
    assertTrue( kb.isConsistent() );
    assertTrue( kb.isType( a, C ) );
    assertTrue( kb.isType( a, D ) );

    kb.removeType( a, D );

    assertTrue( kb.isConsistent() );
    assertTrue( kb.isType( a, C ) );
    assertFalse( kb.isType( a, D ) );
  }
View Full Code Here
1776
1777
1778
1779
1780
1781
1782
1783
1784
1785
1786
    assertTrue( copyKB.isType( a, D ) );
    assertTrue( copyKB.isType( b, E ) );
    assertTrue( copyKB.isSubClassOf( C, D ) );
   
    // change the copy KB's ABox
    copyKB.removeType( a, C );

    // copy should NOT be in ConsistencyDone state anymore
    // but original KB is still in ConsistencyDone state
    assertFalse( copyKB.isConsistencyDone() );
    assertTrue( kb.isConsistencyDone() );
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.