Package aterm

Examples of aterm.ATermAppl

889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
  @Test
  public void testABoxRemovalWithAllValues() {
    KnowledgeBase kb = new KnowledgeBase();

    ATermAppl a = term( "a" );
    ATermAppl b = term( "b" );

    ATermAppl C = term( "C" );

    ATermAppl p = term( "p" );

    kb.addClass( C );

    kb.addObjectProperty( p );
View Full Code Here
925
926
927
928
929
930
931
932
933
934
935
936
937
938
    Properties newOptions = PropertiesBuilder.singleton( "USE_TRACING", "true" );
    Properties savedOptions = PelletOptions.setOptions( newOptions );

    try {
      ATermAppl A = ATermUtils.makeTermAppl( "A" );
      ATermAppl B = ATermUtils.makeTermAppl( "B" );
      ATermAppl C = ATermUtils.makeTermAppl( "C" );
      ATermAppl x = ATermUtils.makeTermAppl( "x" );

      KnowledgeBase kb = new KnowledgeBase();

      kb.addClass( A );
      kb.addClass( B );
View Full Code Here
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
    Properties newOptions = new PropertiesBuilder().set( "USE_TRACING", "true" ).set(
        "USE_ROLE_ABSORPTION", "true" ).build();
    Properties savedOptions = PelletOptions.setOptions( newOptions );

    try {
      ATermAppl A = ATermUtils.makeTermAppl( "A" );
      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 ) );

      ATermList list = ATermUtils.toSet( new ATerm[] { or1, or2 }, 2 );
      kb.addDisjointClasses( list );

      assertTrue( kb.isConsistent() );

      ATermAppl disjoint = ATermUtils.makeDisjoints( list );
      assertFalse( kb.removeAxiom( disjoint ) );
    } finally {
      PelletOptions.setOptions( savedOptions );
    }
  }
View Full Code Here
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
    Properties newOptions = new PropertiesBuilder().set( "USE_TRACING", "true" ).set(
        "USE_ROLE_ABSORPTION", "true" ).build();
    Properties savedOptions = PelletOptions.setOptions( newOptions );

    try {
      ATermAppl A = ATermUtils.makeTermAppl( "A" );
      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 ) );

      kb.addDisjointClass( or1, or2 );

      assertTrue( kb.isConsistent() );

      ATermAppl disjoint = ATermUtils.makeDisjoint( or1, or2 );
      assertFalse( kb.removeAxiom( disjoint ) );
    } finally {
      PelletOptions.setOptions( savedOptions );
    }
  }
View Full Code Here
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
    Properties newOptions = new PropertiesBuilder().set( "USE_TRACING", "true" ).set(
        "USE_ROLE_ABSORPTION", "true" ).build();
    Properties savedOptions = PelletOptions.setOptions( newOptions );

    try {
      ATermAppl A = ATermUtils.makeTermAppl( "A" );
      ATermAppl p = ATermUtils.makeTermAppl( "p" );

      KnowledgeBase kb = new KnowledgeBase();

      kb.addClass( A );
      kb.addObjectProperty( p );
View Full Code Here
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
    // This test case is to test the processing of sameAs processing
    // where there are redundancies in the assertions (see ticket 138)

    KnowledgeBase kb = new KnowledgeBase();

    ATermAppl a = term( "a" );
    ATermAppl b = term( "b" );
    ATermAppl c = term( "c" );
    ATermAppl d = term( "d" );
    ATermAppl e = term( "e" );
    ATermAppl f = term( "f" );

    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );
View Full Code Here
1202
1203
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
    // This test case is to test the restoring of edges with
    // subproperties (see ticket 109)

    KnowledgeBase kb = new KnowledgeBase();

    ATermAppl a = term( "a" );
    ATermAppl b = term( "b" );
    ATermAppl c = term( "c" );
    ATermAppl d = term( "d" );

    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 );
View Full Code Here
1249
1250
1251
1252
1253
1254
1255
1256
1257
1258
1259
1260
1261
1262
    // This test case is to test the retrieval of inverse
    // properties (see ticket 117)

    KnowledgeBase kb = new KnowledgeBase();

    ATermAppl p = term( "p" );
    ATermAppl q = term( "q" );
    ATermAppl invP = term( "invP" );
    ATermAppl invQ = term( "invQ" );

    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
    kb.addObjectProperty( invP );
    kb.addObjectProperty( invQ );
View Full Code Here
1274
1275
1276
1277
1278
1279
1280
1281
1282
1283
1284
1285
1286
1287
1288
1289
1290
    // This test case is to test the retrieval of equivalences
    // for undefined classes/properties (see ticket 90)

    KnowledgeBase kb = new KnowledgeBase();

    ATermAppl C = term( "C" );
    kb.addClass( C );

    ATermAppl p = term( "p" );
    kb.addObjectProperty( p );

    ATermAppl undef = term( "undef" );

    assertEquals( Collections.singleton( p ), kb.getAllEquivalentProperties( p ) );
    assertEquals( Collections.emptySet(), kb.getEquivalentProperties( p ) );
    assertEquals( Collections.singleton( Collections.singleton( TermFactory.BOTTOM_OBJECT_PROPERTY ) ), kb.getSubProperties( p ) );
    assertEquals( Collections.singleton( Collections.singleton( TermFactory.TOP_OBJECT_PROPERTY ) ), kb.getSuperProperties( p ) );
View Full Code Here
1332
1333
1334
1335
1336
1337
1338
1339
1340
1341
1342
1343
    Properties savedOptions = PelletOptions.setOptions( newOptions );

    try {
      KnowledgeBase kb = new KnowledgeBase();

      ATermAppl p = term( "p" );
      ATermAppl c = and( all( p, value( literal( "s" ) ) ), min( p, 2, value( literal( "l" ) ) ) );

      kb.addDatatypeProperty( p );

      assertFalse( kb.isSatisfiable( c ) );
    }
View Full Code Here
TOP

Related Classes of aterm.ATermAppl

  • apigen.adt.Alternative
  • apigen.gen.c.APIGenerator
  • aterm.pure.ATermApplImpl
  • aterm.pure.ATermListImpl
  • aterm.pure.ATermPlaceholderImpl
  • aterm.test.TestFib
  • com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl
  • com.clarkparsia.pellet.datatypes.InfiniteNamedDatatype
  • com.clarkparsia.pellet.datatypes.NamedDataRangeExpander
  • com.clarkparsia.pellet.datatypes.test.DatatypeReasonerTests
    • Copyright © 2018 www.massapicom. 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.