Package org.mindswap.pellet

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


    ATermAppl p = term( "p" );

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

    kb.addClass( A );
    kb.addClass( B );
    kb.addClass( C );

    kb.addObjectProperty( p );
View Full Code Here


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

    kb.addClass( A );
    kb.addClass( B );
    kb.addClass( C );

    kb.addObjectProperty( p );

    kb.addIndividual( a );
View Full Code Here

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

    kb.addClass( A );
    kb.addClass( B );
    kb.addClass( C );

    kb.addObjectProperty( p );

    kb.addIndividual( a );
    kb.addIndividual( b );
View Full Code Here

    ATermAppl oneDecimal = literal( "1", Datatypes.DECIMAL );
    ATermAppl oneInteger = literal( "1", Datatypes.INTEGER );
    ATermAppl oneByte = literal( "1", Datatypes.BYTE );
    ATermAppl oneFloat = literal( "1", Datatypes.FLOAT );

    kb.addClass( A );

    kb.addDatatypeProperty( p );

    kb.addIndividual( a );
View Full Code Here

    ATermAppl zeroDecimal = literal( "0", Datatypes.DECIMAL );
    ATermAppl zeroInteger = literal( "0", Datatypes.INTEGER );
    ATermAppl zeroByte = literal( "0", Datatypes.BYTE );
    ATermAppl zeroFloat = literal( "0", Datatypes.FLOAT );

    kb.addClass( A );
    kb.addDatatypeProperty( p );
    kb.addIndividual( a );

    kb.addSubClass( A, some( p, Datatypes.NON_POSITIVE_INTEGER ) );
    kb.addSubClass( A, all( p, Datatypes.NON_NEGATIVE_INTEGER ) );
View Full Code Here

    ATermAppl a = term( "a" );

    ATermAppl lit1 = literal( "test" );
    ATermAppl lit2 = literal( "1", Datatypes.DECIMAL );

    kb.addClass( A );

    kb.addDatatypeProperty( p );
    kb.addDatatypeProperty( q );

    kb.addIndividual( a );
View Full Code Here

    KnowledgeBase kb = new KnowledgeBase();

    ATermAppl A = term( "A" );
    ATermAppl p = term( "p" );

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

    kb.addDisjointClasses( Arrays.asList( A, self(p) ) );

    kb.classify();
View Full Code Here

    ATermAppl B = term( "B" );
    ATermAppl C = term( "C" );

    ATermAppl p = term( "p" );

    kb.addClass( A );
    kb.addClass( B );
    kb.addClass( C );

    kb.addDatatypeProperty( p );
View Full Code Here

    ATermAppl C = term( "C" );

    ATermAppl p = term( "p" );

    kb.addClass( A );
    kb.addClass( B );
    kb.addClass( C );

    kb.addDatatypeProperty( p );

    // B is completely defined except this equivalence
View Full Code Here

    ATermAppl p = term( "p" );

    kb.addClass( A );
    kb.addClass( B );
    kb.addClass( C );

    kb.addDatatypeProperty( p );

    // B is completely defined except this equivalence
    kb.addEquivalentClass( A, B );
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.