List of addEquivalentClass() Examples

Examples of addEquivalentClass()

com.hp.hpl.jena.ontology.OntClass.addEquivalentClass()

Add a class that is equivalent to this class.
@param cls A class that is equivalent to this class. @exception OntProfileException If the {@link Profile#EQUIVALENT_CLASS()} property is not supported in the current language profile.
edu.pitt.dbmi.nlp.noble.ontology.IClass.addEquivalentClass()
add disjoint @param parent @param child
edu.pitt.ontology.IClass.addEquivalentClass()
add disjoint @param parent @param child
org.mindswap.pellet.KnowledgeBase.addEquivalentClass()

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

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


    kb.addEquivalentClass( A, or( B, not( B ) ) );
    // the following restriction is only to ensure we don't use the
    // EL classifier
    kb.addSubClass( C, min( p, 2, TOP ) );


    assertTrue( kb.isConsistent() );

View Full Code Here

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

    ATermAppl B = term( "B" );


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


    kb.addEquivalentClass( A, or( B, not( B ) ) );


    assertTrue( kb.isConsistent() );


    kb.classify();

View Full Code Here

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

    kb.addObjectProperty( p );


    kb.addIndividual( b );
    kb.addIndividual( c );
    
    kb.addEquivalentClass( A, oneOf( b, c ) );
    kb.addEquivalentClass( B, hasValue( p, b ) );
    kb.addEquivalentClass( C, hasValue( p, c ) );
    kb.addEquivalentClass( D, and( some( p, A ), min( p, 1, value(b) ), min( p, 1, value(c) ), max( p, 1,
        TOP ) ) );

View Full Code Here

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


    kb.addIndividual( b );
    kb.addIndividual( c );
    
    kb.addEquivalentClass( A, oneOf( b, c ) );
    kb.addEquivalentClass( B, hasValue( p, b ) );
    kb.addEquivalentClass( C, hasValue( p, c ) );
    kb.addEquivalentClass( D, and( some( p, A ), min( p, 1, value(b) ), min( p, 1, value(c) ), max( p, 1,
        TOP ) ) );    
    
    assertTrue( kb.isConsistent() );

View Full Code Here

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

    kb.addIndividual( b );
    kb.addIndividual( c );
    
    kb.addEquivalentClass( A, oneOf( b, c ) );
    kb.addEquivalentClass( B, hasValue( p, b ) );
    kb.addEquivalentClass( C, hasValue( p, c ) );
    kb.addEquivalentClass( D, and( some( p, A ), min( p, 1, value(b) ), min( p, 1, value(c) ), max( p, 1,
        TOP ) ) );    
    
    assertTrue( kb.isConsistent() );

View Full Code Here

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

    kb.addIndividual( c );
    
    kb.addEquivalentClass( A, oneOf( b, c ) );
    kb.addEquivalentClass( B, hasValue( p, b ) );
    kb.addEquivalentClass( C, hasValue( p, c ) );
    kb.addEquivalentClass( D, and( some( p, A ), min( p, 1, value(b) ), min( p, 1, value(c) ), max( p, 1,
        TOP ) ) );    
    
    assertTrue( kb.isConsistent() );


    kb.classify();

View Full Code Here

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

    kb.addObjectProperty( p );


    kb.addIndividual( a );
    kb.addIndividual( b );
    
    kb.addEquivalentClass( A, value( a ) );
    kb.addSubClass( A, all( inv(p), not( B ) ) );
    kb.addSubClass( B, or( some( p, A ), C ) );
    
    kb.addType( b, B );

View Full Code Here

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

    kb.addClass( C );
    
    kb.addDatatypeProperty( p );
    
    // B is completely defined except this equivalence
    kb.addEquivalentClass( A, B );
    // A is not primitive because of the domain axiom
    kb.addDomain( p, A );
    // C should be inferred to be a subclass of A and B
    kb.addSubClass( C, some(p, TOP_LIT ) );

View Full Code Here

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

    kb.addObjectProperty( p );


    kb.addIndividual( a );
    kb.addIndividual( b );


    kb.addEquivalentClass( C, some( p, TOP ) );
    
    AtomIVariable x = new AtomIVariable( "x" );
    AtomIVariable y = new AtomIVariable( "y" );
    List<RuleAtom> body = new ArrayList<RuleAtom>();
    body.add( new ClassAtom( C, x ) );

View Full Code Here

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

    kb.addClass( C );
    kb.addIndividual( a );
    kb.addIndividual( b );


    kb.addSubClass( C, oneOf( a, b ) );
    kb.addEquivalentClass( A, oneOf( a ) );
    kb.addEquivalentClass( B, oneOf( b ) );
    kb.addDisjointClass( A, B );


    assertTrue( kb.isConsistent() );

View Full Code Here

0 1 2 3 4 5

TOP

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.