Package org.mindswap.pellet

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

977
978
979
980
981
982
983
984
985
986
987
    OWLOntology ont = loadOntology( base + "food.owl" );
    pellet.loadOntology( ont );

    try {
      kb.classify();
    } catch( TimeoutException e ) {
      timeout = true;
    }

    assertTrue( timeout );
View Full Code Here
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
    OWLOntology ont = loadOntology( base + "food.owl" );
    pellet.loadOntology( ont );

    try {
      kb.classify();
    } catch( TimeoutException e ) {
      timeout = true;
    }

    assertFalse( timeout );
View Full Code Here
1648
1649
1650
1651
1652
1653
1654
1655
1656
1657
1658
    kb.addEquivalentClass( D, and( some( p, A ), min( p, 1, value(b) ), min( p, 1, value(c) ), max( p, 1,
        TOP ) ) );   
   
    assertTrue( kb.isConsistent() );

    kb.classify();
   
    assertTrue( kb.isSubClassOf( D, B ) );
    assertTrue( kb.isSubClassOf( D, C ) );
  }
 
View Full Code Here
1876
1877
1878
1879
1880
1881
1882
1883
1884
1885
1886
    kb.addClass( A );
    kb.addObjectProperty( p );

    kb.addDisjointClasses( Arrays.asList( A, self(p) ) );   

    kb.classify();
   
    assertTrue( kb.isSatisfiable( A ) );
  }
 
  @Test
View Full Code Here
1947
1948
1949
1950
1951
1952
1953
1954
1955
1956
1957
    // A is not primitive because of the domain axiom
    kb.addDomain( p, A );
    // C should be inferred to be a subclass of A and B
    kb.addSubClass( C, some(p, TOP_LIT ) );
   
    kb.classify();
   
    assertSubClass( kb, C, A );
    assertSubClass( kb, C, B );
  } 
 
View Full Code Here
1383
1384
1385
1386
1387
1388
1389
1390
1391
1392
1393
    assertSubClass( kb, A, B );

    assertSubClass( kb, B, C );
   
    kb.classify();
  }
 
  @Test
  public void testNominalCache() {
    // this case tests isMergable check and specifically the correctness of
View Full Code Here
1436
1437
1438
1439
1440
1441
1442
1443
1444
1445
1446
    kb.addIndividual( c );
   
    kb.addType( a, C );
           
    // kb will be in classified state
    kb.classify();
   
    assertTrue( kb.isType( a, D ) );
    assertFalse( kb.isType( b, D ) );
    assertFalse( kb.isType( c, D ) );
   
View Full Code Here
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
      OWLOntology ont = loadOntology( base + "food.owl" );
     
      PelletReasoner pellet = PelletReasonerFactory.getInstance().createReasoner( ont );
      KnowledgeBase kb = pellet.getKB();
 
      kb.classify();
 
      kb.getTaxonomyBuilder().setProgressMonitor( monitor );
 
      kb.realize();
 
View Full Code Here
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
    Timer timer = kb.timers.createTimer( "classify" );
    timer.setTimeout( 1 );


    try {
      kb.classify();
    } catch( TimeoutException e ) {
      timeout = true;
    }

    assertTrue( timeout );
View Full Code Here
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
    Timer timer = kb.timers.createTimer( "realize" );
    timer.setTimeout( 1 );

    try {
      kb.classify();
    } catch( TimeoutException e ) {
      timeout = true;
    }

    assertFalse( timeout );
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.