Package org.mindswap.pellet

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

1185
1186
1187
1188
1189
1190
1191
1192
1193
1194
1195
    kb.addIndividual( e );
    kb.addIndividual( f );

    kb.addSame( a, b );
    kb.addSame( b, c );
    kb.addSame( c, d );
    kb.addSame( a, d );
    kb.addSame( b, d );
    kb.addSame( e, f );
    kb.addDifferent( e, f );
View Full Code Here
1186
1187
1188
1189
1190
1191
1192
1193
1194
1195
1196
    kb.addIndividual( f );

    kb.addSame( a, b );
    kb.addSame( b, c );
    kb.addSame( c, d );
    kb.addSame( a, d );
    kb.addSame( b, d );
    kb.addSame( e, f );
    kb.addDifferent( e, f );

    assertFalse( kb.isConsistent() );
View Full Code Here
1187
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
    kb.addSame( a, b );
    kb.addSame( b, c );
    kb.addSame( c, d );
    kb.addSame( a, d );
    kb.addSame( b, d );
    kb.addSame( e, f );
    kb.addDifferent( e, f );

    assertFalse( kb.isConsistent() );
  }
View Full Code Here
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
    kb.addSame( a, b );
    kb.addSame( b, c );
    kb.addSame( c, d );
    kb.addSame( a, d );
    kb.addSame( b, d );
    kb.addSame( e, f );
    kb.addDifferent( e, f );

    assertFalse( kb.isConsistent() );
  }
View Full Code Here
1856
1857
1858
1859
1860
1861
1862
1863
1864
1865
1866
    kb.addClass( B );
   
    kb.addIndividual( a );
    kb.addIndividual( b );
   
    kb.addSame( a, b );
   
    assertTrue( kb.isConsistent() );
   
    assertTrue( kb.isSameAs( a, b ) );
   
View Full Code Here
1448
1449
1450
1451
1452
1453
1454
1455
1456
1457
1458
    kb.addIndividual( i21 );
    kb.addIndividual( i22 );
    kb.addIndividual( test );
   
    kb.addEquivalentClass( t1, t1eq );
    kb.addSame( i1, i21 );
    kb.addSame( i21, i1 );
   
    kb.addPropertyValue( p, test, i21 );
    kb.addPropertyValue( p, test, i22 );
   
View Full Code Here
1449
1450
1451
1452
1453
1454
1455
1456
1457
1458
1459
    kb.addIndividual( i22 );
    kb.addIndividual( test );
   
    kb.addEquivalentClass( t1, t1eq );
    kb.addSame( i1, i21 );
    kb.addSame( i21, i1 );
   
    kb.addPropertyValue( p, test, i21 );
    kb.addPropertyValue( p, test, i22 );
   
    Set<ATermAppl> t1inds = kb.retrieve( t1eq, kb.getIndividuals() );
View Full Code Here
79
80
81
82
83
84
85
86
87
88
89
              case SameAs:
                ind1 = TermFactory.term(arguments.get(0).toString());
                ind2 = TermFactory.term(arguments.get(1).toString());
                kb.addIndividual(ind1);
                kb.addIndividual(ind2);
                kb.addSame(ind1, ind2);
                break;
              case DifferentFrom:
                ind1 = TermFactory.term(arguments.get(0).toString());
                ind2 = TermFactory.term(arguments.get(1).toString());
                kb.addIndividual(ind1);
View Full Code Here
1856
1857
1858
1859
1860
1861
1862
1863
1864
1865
1866
    kb.addClass( B );
   
    kb.addIndividual( a );
    kb.addIndividual( b );
   
    kb.addSame( a, b );
   
    assertTrue( kb.isConsistent() );
   
    assertTrue( kb.isSameAs( a, b ) );
   
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.