14471448144914501451145214531454145514561457
kb.addIndividual( i1 ); 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 );
16161617161816191620162116221623162416251626
kb.addClass( C ); kb.addClass( D ); kb.addClass( E ); kb.addSubClass( C, D ); kb.addEquivalentClass( C, some( p, TOP ) ); kb.addEquivalentClass( E, some( q, TOP ) ); kb.addObjectProperty( p ); kb.addObjectProperty( q ); kb.addSubProperty( q, p );
16171618161916201621162216231624162516261627
kb.addClass( D ); kb.addClass( E ); kb.addSubClass( C, D ); kb.addEquivalentClass( C, some( p, TOP ) ); kb.addEquivalentClass( E, some( q, TOP ) ); kb.addObjectProperty( p ); kb.addObjectProperty( q ); kb.addSubProperty( q, p );
681682683684685686687688689690691
// kb.addType( a, D ); kb.addType( b, C ); kb.addType( c, C ); kb.addEquivalentClass( D, min( p, 2, E ) ); kb.addEquivalentClass( E, some( p, C ) ); kb.addObjectProperty( p ); kb.addPropertyValue( p, a, b );
682683684685686687688689690691692
// kb.addType( a, D ); kb.addType( b, C ); kb.addType( c, C ); kb.addEquivalentClass( D, min( p, 2, E ) ); kb.addEquivalentClass( E, some( p, C ) ); kb.addObjectProperty( p ); kb.addPropertyValue( p, a, b ); kb.addPropertyValue( p, a, c );
756757758759760761762763764765766
kb.addClass(C); kb.addClass(D); kb.addDatatypeProperty(p); kb.addRange(p, ANY_URI); kb.addEquivalentClass(C, hasValue(p, uri)); kb.addEquivalentClass(D, min(p, 1, TOP_LIT)); assertSubClass(kb, C, D, true); assertSubClass(kb, D, C, false); }
757758759760761762763764765766767
kb.addClass(D); kb.addDatatypeProperty(p); kb.addRange(p, ANY_URI); kb.addEquivalentClass(C, hasValue(p, uri)); kb.addEquivalentClass(D, min(p, 1, TOP_LIT)); assertSubClass(kb, C, D, true); assertSubClass(kb, D, C, false); }