Package org.mindswap.pellet

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

1384
1385
1386
1387
1388
1389
1390
1391
1392
1393
1394
    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
130
131
132
133
134
135
136
137
138
139
140
    if( !isConsistent )
      throw new PelletCmdException( "Ontology is inconsistent, run \"pellet explain\" to get the reason" );

    startTask( "classification" );
    kb.classify();
    finishTask( "classification" );

    TaxonomyPrinter<ATermAppl> printer = new ClassTreePrinter();
    printer.print( kb.getTaxonomy() );
  }
View Full Code Here
1649
1650
1651
1652
1653
1654
1655
1656
1657
1658
1659
    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
1877
1878
1879
1880
1881
1882
1883
1884
1885
1886
1887
    kb.addClass( A );
    kb.addObjectProperty( p );

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

    kb.classify();

    assertTrue( kb.isSatisfiable( A ) );
  }

  @Test
View Full Code Here
1948
1949
1950
1951
1952
1953
1954
1955
1956
1957
1958
    // 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
557
558
559
560
561
562
563
564
565
566
567
    kb.addType( term( "a" ), term( "C" ) );

    kb.addIndividual( term( "b" ) );
    kb.addType( term( "b" ), term( "D" ) );

    kb.classify();

    assertTrue( kb.getDifferents( term( "a" ) ).contains( term( "b" ) ) );
    assertTrue( kb.getDifferents( term( "b" ) ).contains( term( "a" ) ) );
  }
View Full Code Here
662
663
664
665
666
667
668
669
670
671
672
    // EL classifier
    kb.addSubClass( C, min( p, 2, TOP ) );

    assertTrue( kb.isConsistent() );

    kb.classify();

    assertTrue( kb.isEquivalentClass( A, TOP ) );
    assertFalse( kb.isEquivalentClass( B, TOP ) );
  }
View Full Code Here
687
688
689
690
691
692
693
694
695
696
697
    kb.addEquivalentClass( A, or( B, not( B ) ) );

    assertTrue( kb.isConsistent() );

    kb.classify();

    assertTrue( kb.isEquivalentClass( A, TOP ) );
    assertFalse( kb.isEquivalentClass( B, TOP ) );
  }
View Full Code Here
715
716
717
718
719
720
721
722
723
724
725
    kb.addEquivalentClass( B, or( B, not( B ) ) );
    kb.addSubClass( C, A );

    assertTrue( kb.isConsistent() );

    kb.classify();

    assertTrue( kb.isEquivalentClass( A, TOP ) );
    assertTrue( kb.isEquivalentClass( B, TOP ) );
    assertFalse( kb.isEquivalentClass( C, TOP ) );
  }
View Full Code Here
771
772
773
774
775
776
777
778
779
780
781
    kb.addClass( D );
    kb.addSubClass( C, B );
    kb.addSubClass( D, C );
    kb.addEquivalentClass( D, B );

    kb.classify();

    assertTrue( kb.isEquivalentClass( B, C ) );
    assertTrue( kb.isEquivalentClass( B, D ) );
    assertTrue( kb.isEquivalentClass( D, C ) );
  }
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.