Examples of removeType()


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

    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

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

    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

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

    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.