Package org.mindswap.pellet

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

1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
      ATermAppl B = ATermUtils.makeTermAppl( "B" );
      ATermAppl p = ATermUtils.makeTermAppl( "p" );

      KnowledgeBase kb = new KnowledgeBase();

      kb.addClass( A );
      kb.addClass( B );
      kb.addObjectProperty( p );

      ATermAppl or1 = or( A, some( p, A ) );
      ATermAppl or2 = or( B, some( p, B ) );
View Full Code Here
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
      ATermAppl p = ATermUtils.makeTermAppl( "p" );

      KnowledgeBase kb = new KnowledgeBase();

      kb.addClass( A );
      kb.addClass( B );
      kb.addObjectProperty( p );

      ATermAppl or1 = or( A, some( p, A ) );
      ATermAppl or2 = or( B, some( p, B ) );
View Full Code Here
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
      ATermAppl B = ATermUtils.makeTermAppl( "B" );
      ATermAppl p = ATermUtils.makeTermAppl( "p" );

      KnowledgeBase kb = new KnowledgeBase();

      kb.addClass( A );
      kb.addClass( B );
      kb.addObjectProperty( p );

      ATermAppl or1 = or( A, some( p, A ) );
      ATermAppl or2 = or( B, some( p, B ) );
View Full Code Here
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
      ATermAppl p = ATermUtils.makeTermAppl( "p" );

      KnowledgeBase kb = new KnowledgeBase();

      kb.addClass( A );
      kb.addClass( B );
      kb.addObjectProperty( p );

      ATermAppl or1 = or( A, some( p, A ) );
      ATermAppl or2 = or( B, some( p, B ) );
View Full Code Here
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
      ATermAppl A = ATermUtils.makeTermAppl( "A" );
      ATermAppl p = ATermUtils.makeTermAppl( "p" );

      KnowledgeBase kb = new KnowledgeBase();

      kb.addClass( A );
      kb.addObjectProperty( p );
     
      kb.addSubClass( TOP, all( p, A ) );
     
      Role r = kb.getRole( p );
View Full Code Here
104
105
106
107
108
109
110
111
112
113
114
  public void backtrackPreservesAssertedIndividuals() {
    KnowledgeBase kb = new KnowledgeBase();

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

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

    kb.addDatatypeProperty( term( "p" ) );
    kb.addFunctionalProperty( term( "p" ) );
View Full Code Here
105
106
107
108
109
110
111
112
113
114
115
    KnowledgeBase kb = new KnowledgeBase();

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

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

    kb.addDatatypeProperty( term( "p" ) );
    kb.addFunctionalProperty( term( "p" ) );

    kb.addSubClass( term( "C" ), ATermUtils.makeSomeValues( term( "p" ), ATermUtils
View Full Code Here
234
235
236
237
238
239
240
241
242
243
244
    ATermAppl x = term( "x" );
    ATermAppl y3 = term( "y3" );

    kb.addObjectProperty( p );
    kb.addClass( c );
    kb.addClass( d );
    kb.addClass( e );
    kb.addClass( notD );

    kb.addDisjointClass( d, notD );
View Full Code Here
235
236
237
238
239
240
241
242
243
244
245
    ATermAppl x = term( "x" );
    ATermAppl y3 = term( "y3" );

    kb.addObjectProperty( p );
    kb.addClass( c );
    kb.addClass( d );
    kb.addClass( e );
    kb.addClass( notD );

    kb.addDisjointClass( d, notD );
    // kb.addSubClass( c, or(e,not(d)) );
View Full Code Here
236
237
238
239
240
241
242
243
244
245
246
    ATermAppl y3 = term( "y3" );

    kb.addObjectProperty( p );
    kb.addClass( c );
    kb.addClass( d );
    kb.addClass( e );
    kb.addClass( notD );

    kb.addDisjointClass( d, notD );
    // kb.addSubClass( c, or(e,not(d)) );
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.