List of addSubProperty() Examples

Examples of addSubProperty()

edu.pitt.dbmi.nlp.noble.ontology.IProperty.addSubProperty()
add direct super property @param p
edu.pitt.ontology.IProperty.addSubProperty()
add direct super property @param p
org.mindswap.pellet.KnowledgeBase.addSubProperty()

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

    ATermAppl d = term( "d" );
    
    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
    kb.addObjectProperty( r );
    kb.addSubProperty( list( p, q, r ), p );
    
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, some( p, some( q, some( r, all( inv( p ), D ) ) ) ) );

View Full Code Here

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

    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
    kb.addObjectProperty( r );
    kb.addObjectProperty( r2 );
    kb.addEquivalentProperty( r, r2 );
    kb.addSubProperty( list( p, q, r2 ), r );
    
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, some( p, some( q, some( r, all( inv( r ), D ) ) ) ) );

View Full Code Here

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

    
    kb.addObjectProperty( p );
    kb.addObjectProperty( subP );
    kb.addObjectProperty( q );
    
    kb.addSubProperty( subP, p );
    kb.addDisjointProperty( p, q );
    
    kb.getRoleTaxonomy( true ).getTop().print();
    kb.getRoleTaxonomy( false ).getTop().print();

View Full Code Here

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

    kb.addEquivalentClass( C, some( p, TOP ) );
    kb.addEquivalentClass( E, some( q, TOP ) );


    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
    kb.addSubProperty( q, p );


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


    kb.addType( a, C );

View Full Code Here

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

    
    // verify realization occurred
    assertEquals( 2, realizeTimer.getCount() );
    
    // make an ABox change causing p = q and as a result C = E
    kb.addSubProperty( p, q );


    // check consistency again
    assertTrue( kb.isConsistent() );
    
    // both classification and realization results are invalidated

View Full Code Here

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

    kb.addAnnotationProperty(p);
    kb.addAnnotationProperty(q);
    kb.addAnnotationProperty(r);
    kb.addAnnotationProperty(s);
    
    kb.addSubProperty(p, q);
    kb.addSubProperty(q, r);
    kb.addSubProperty(r, s);
    
    // The set of sub/super roles at this point are correct for each role
    assertEquals(singletonSets(p, r, q), kb.getSubProperties(s));

View Full Code Here

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

    kb.addAnnotationProperty(q);
    kb.addAnnotationProperty(r);
    kb.addAnnotationProperty(s);
    
    kb.addSubProperty(p, q);
    kb.addSubProperty(q, r);
    kb.addSubProperty(r, s);
    
    // The set of sub/super roles at this point are correct for each role
    assertEquals(singletonSets(p, r, q), kb.getSubProperties(s));
  }

View Full Code Here

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

    kb.addAnnotationProperty(r);
    kb.addAnnotationProperty(s);
    
    kb.addSubProperty(p, q);
    kb.addSubProperty(q, r);
    kb.addSubProperty(r, s);
    
    // The set of sub/super roles at this point are correct for each role
    assertEquals(singletonSets(p, r, q), kb.getSubProperties(s));
  }

View Full Code Here

0 1 2

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.