11821183118411851186118711881189119011911192
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 );
8687888990919293949596
System.out.println( "Consistent? " + consistent + " (" + (e - s) + "ms)" ); // peform ABox addition which results in a consistent KB ATermAppl concept = ATermUtils.makeTermAppl( mindswap + "GraduateStudent" ); ATermAppl individual = ATermUtils.makeTermAppl( mindswappers + "JohnDoe" ); kb.addIndividual( individual ); kb.addType( individual, concept ); // perform incremental consistency check s = System.currentTimeMillis(); consistent = kb.isConsistent();
809810811812813814815816817818819
ATermAppl a = term( "a" ); ATermAppl p = term( "p" ); ATermAppl q = term( "q" ); kb.addIndividual( a ); kb.addType( a, min( p, 3, TOP ) ); kb.addType( a, max( q, 2, TOP ) ); kb.addType( a, min( q, 1, TOP ) ); kb.addType( a, min( q, 1, TOP ) );
848849850851852853854855856857858
ATermAppl p = term( "p" ); ATermAppl q = term( "q" ); ATermAppl plain = ATermUtils.makePlainLiteral( "lit" ); ATermAppl typed = ATermUtils.makeTypedLiteral( "lit", XSDString.getInstance().getName() ); kb.addIndividual( a ); kb.addDatatypeProperty( p ); kb.addDatatypeProperty( q ); kb.addPropertyValue( p, a, plain ); kb.addPropertyValue( q, a, typed );
873874875876877878879880881882883
ATermAppl D = term( "D" ); kb.addClass( C ); kb.addClass( D ); kb.addIndividual( a ); kb.addType( a, C ); kb.addType( a, D ); kb.removeType( a, D );
899900901902903904905906907908909
kb.addClass( C ); kb.addObjectProperty( p ); kb.addIndividual( a ); kb.addIndividual( b ); kb.addType( a, all( p, C ) ); kb.addType( b, C );
900901902903904905906907908909910
kb.addClass( C ); kb.addObjectProperty( p ); kb.addIndividual( a ); kb.addIndividual( b ); kb.addType( a, all( p, C ) ); kb.addType( b, C ); kb.addPropertyValue( p, a, b );
934935936937938939940941942943944
KnowledgeBase kb = new KnowledgeBase(); kb.addClass( A ); kb.addClass( B ); kb.addClass( C ); kb.addIndividual( x ); kb.addSubClass( C, A ); kb.addType( x, C ); kb.addType( x, B );
11761177117811791180118111821183118411851186
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 ); kb.addIndividual( e ); kb.addIndividual( f );
11771178117911801181118211831184118511861187
ATermAppl d = term( "d" ); 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 );