Package org.mindswap.pellet

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


    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 );
View Full Code Here


    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 );
View Full Code Here

    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 );
View Full Code Here

    // 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 );
View Full Code Here

    // 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 );
View Full Code Here

    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);
  }
View Full Code Here

    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);
  }
View Full Code Here

    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 );
View Full Code Here

    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 );
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.