Package org.mindswap.pellet

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

1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
    ATermAppl e = term( "e" );
    ATermAppl f = term( "f" );

    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );
    kb.addIndividual( e );
    kb.addIndividual( f );

    kb.addSame( a, b );
View Full Code Here
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
    ATermAppl f = term( "f" );

    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );
    kb.addIndividual( e );
    kb.addIndividual( f );

    kb.addSame( a, b );
    kb.addSame( b, c );
View Full Code Here
1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );
    kb.addIndividual( e );
    kb.addIndividual( f );

    kb.addSame( a, b );
    kb.addSame( b, c );
    kb.addSame( c, d );
View Full Code Here
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
1191
    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );
    kb.addIndividual( e );
    kb.addIndividual( f );

    kb.addSame( a, b );
    kb.addSame( b, c );
    kb.addSame( c, d );
    kb.addSame( a, d );
View Full Code Here
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
    ATermAppl p = term( "p" );
    ATermAppl q = term( "q" );
    ATermAppl invP = term( "invP" );
    ATermAppl invQ = term( "invQ" );

    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );

    kb.addObjectProperty( p );
View Full Code Here
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
    ATermAppl q = term( "q" );
    ATermAppl invP = term( "invP" );
    ATermAppl invQ = term( "invQ" );

    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );

    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
View Full Code Here
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
    ATermAppl invP = term( "invP" );
    ATermAppl invQ = term( "invQ" );

    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );

    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
    kb.addObjectProperty( invP );
View Full Code Here
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
    ATermAppl invQ = term( "invQ" );

    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );

    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
    kb.addObjectProperty( invP );
    kb.addObjectProperty( invQ );
View Full Code Here
102
103
104
105
106
107
108
109
110
111
112
   */
  @Test
  public void backtrackPreservesAssertedIndividuals() {
    KnowledgeBase kb = new KnowledgeBase();

    kb.addIndividual( term( "x" ) );

    kb.addClass( term( "C" ) );
    kb.addClass( term( "D" ) );

    kb.addDatatypeProperty( term( "p" ) );
View Full Code Here
128
129
130
131
132
133
134
135
136
137
138
    assertTrue( kb.isConsistent() );

    /*
     * Add the individual to the now completed ABox
     */
    kb.addIndividual( term( "y" ) );

    assertTrue( kb.isConsistent() );
    assertNotNull( kb.getABox().getIndividual( term( "y" ) ) );

    /*
 
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.