Package org.mindswap.pellet

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

551
552
553
554
555
556
557
558
559
560
561
    kb.addClass( term( "C" ) );
    kb.addClass( term( "D" ) );
    kb.addDisjointClass( term( "C" ), term( "D" ) );

    kb.addIndividual( term( "a" ) );
    kb.addType( term( "a" ), term( "C" ) );

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

    kb.classify();
View Full Code Here
554
555
556
557
558
559
560
561
562
563
564
    kb.addIndividual( term( "a" ) );
    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
1756
1757
1758
1759
1760
1761
1762
1763
1764
1765
1766
   
    kb.addEquivalentClass( A, value( a ) );
    kb.addSubClass( A, all( inv(p), not( B ) ) );
    kb.addSubClass( B, or( some( p, A ), C ) );
   
    kb.addType( b, B );
   
    assertTrue( kb.isConsistent() );

    assertTrue( kb.isType( b, C ) );
    assertFalse( kb.isType( a, C ) );
View Full Code Here
1815
1816
1817
1818
1819
1820
1821
1822
1823
1824
1825
    kb.addIndividual( a );
   
    kb.addSubClass( A, some( p, Datatypes.NON_POSITIVE_INTEGER ) );
    kb.addSubClass( A, all( p, Datatypes.NON_NEGATIVE_INTEGER ) );
   
    kb.addType( a, A );
   
    assertTrue( kb.isConsistent() );

    assertTrue( kb.hasPropertyValue( a, p, zeroDecimal ) );
    assertTrue( kb.hasPropertyValue( a, p, zeroInteger ) );
View Full Code Here
1847
1848
1849
1850
1851
1852
1853
1854
1855
1856
1857
    kb.addDatatypeProperty( p );
    kb.addDatatypeProperty( q );

    kb.addIndividual( a );
   
    kb.addType( a, A );

    kb.addSubClass( A, min( p, 1, TOP_LIT ) );
    kb.addRange( p, oneOf( lit1 ) );
   
    kb.addSubClass( A, some( q, TOP_LIT ) );
View Full Code Here
868
869
870
871
872
873
874
875
876
877
878
    kb.addClass( C );
    kb.addClass( D );
    kb.addClass( CuD );
    kb.addIndividual( i );
    kb.addType( i, C );

    List<RuleAtom> body = new ArrayList<RuleAtom>();
    List<RuleAtom> head = new ArrayList<RuleAtom>();

    body.add( new ClassAtom( CuD, x ) );
View Full Code Here
1863
1864
1865
1866
1867
1868
1869
1870
1871
1872
1873
    assertTrue( kb.isConsistent() );
   
    assertTrue( kb.isSameAs( a, b ) );
   
    kb.addIndividual( a );
    kb.addType( a, A );
   
    kb.addIndividual( b );
    kb.addType( b, B );
   
    assertTrue( kb.isType( a, A ) );
View Full Code Here
1866
1867
1868
1869
1870
1871
1872
1873
1874
1875
1876
   
    kb.addIndividual( a );
    kb.addType( a, A );
   
    kb.addIndividual( b );
    kb.addType( b, B );
   
    assertTrue( kb.isType( a, A ) );
    assertTrue( kb.isType( a, B ) );
    assertTrue( kb.isType( b, A ) );
    assertTrue( kb.isType( b, B ) );
View Full Code Here
1894
1895
1896
1897
1898
1899
1900
1901
1902
1903
1904
   
    kb.addIndividual( a );
   
    kb.addDisjointClass( A, B );
   
    kb.addType( a, A );
   
    AtomIVariable x = new AtomIVariable( "x" ); 
    AtomIVariable y = new AtomIVariable( "y" ); 
    List<RuleAtom> body = Arrays.<RuleAtom>asList( new IndividualPropertyAtom( p, x, y ) );
    List<RuleAtom> head = Arrays.<RuleAtom>asList( new ClassAtom( B, x ) );
View Full Code Here
1231
1232
1233
1234
1235
1236
1237
1238
1239
1240
1241
    kb.addSubProperty( p, q );
    kb.addInverseProperty( p, invP );
    kb.addInverseProperty( q, invQ );

    // force b to be merged to one of c or d
    kb.addType( b, or( value( c ), value( d ) ) );

    assertTrue( kb.isConsistent() );

    // ask a query that will force the merge to be restored. with the bug
    // the q would not be restored causing either an internal exception or
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.