Package org.mindswap.pellet.owlapi

Examples of org.mindswap.pellet.owlapi.Reasoner.refresh()

406
407
408
409
410
411
412
413
414
415
416
    OWLConstant valBoolean = ind.getDataPropertyValues( ont ).get( pBoolean ).iterator().next();

    assertTrue( reasoner.isConsistent() );

    removeAxioms(ont, propertyAssertion( ind, pDouble, valDouble ) );
    reasoner.refresh();
    assertTrue( reasoner.getRelatedValues( ind, pDouble ).isEmpty() );

    removeAxioms( ont, propertyAssertion( ind, pInt, valInt ) );
    reasoner.refresh();
    assertTrue( reasoner.getRelatedValues( ind, pInt ).isEmpty() );
View Full Code Here
410
411
412
413
414
415
416
417
418
419
420
    removeAxioms(ont, propertyAssertion( ind, pDouble, valDouble ) );
    reasoner.refresh();
    assertTrue( reasoner.getRelatedValues( ind, pDouble ).isEmpty() );

    removeAxioms( ont, propertyAssertion( ind, pInt, valInt ) );
    reasoner.refresh();
    assertTrue( reasoner.getRelatedValues( ind, pInt ).isEmpty() );

    removeAxioms( ont, propertyAssertion( ind, pBoolean, valBoolean ) );
    reasoner.refresh();
    assertTrue( reasoner.getRelatedValues( ind, pBoolean ).isEmpty() );
View Full Code Here
414
415
416
417
418
419
420
421
422
423
424
    removeAxioms( ont, propertyAssertion( ind, pInt, valInt ) );
    reasoner.refresh();
    assertTrue( reasoner.getRelatedValues( ind, pInt ).isEmpty() );

    removeAxioms( ont, propertyAssertion( ind, pBoolean, valBoolean ) );
    reasoner.refresh();
    assertTrue( reasoner.getRelatedValues( ind, pBoolean ).isEmpty() );

    assertTrue( reasoner.getDataPropertyRelationships( ind ).isEmpty() );

    OWLConstant newVal = constant( "0.0", XSD.DOUBLE );
View Full Code Here
421
422
423
424
425
426
427
428
429
430
431
    assertTrue( reasoner.getDataPropertyRelationships( ind ).isEmpty() );

    OWLConstant newVal = constant( "0.0", XSD.DOUBLE );
    addAxioms( ont, propertyAssertion( ind, pDouble, newVal ) );
    reasoner.refresh();

    assertTrue( reasoner.isConsistent() );
  }

  @Test
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.