Examples of addDomain()


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

    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 ) );
   
    kb.classify();
   
View Full Code Here

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

    kb.addIndividual( z );
    kb.addDifferent( x, y );
    kb.addDifferent( x, z );
   
    kb.addSubClass( c, oneOf( x, y ) );
    kb.addDomain( TOP_OBJECT_PROPERTY, c );
   
    assertTrue( kb.isSameAs( y, z ) );
  }
 
  @Test
View Full Code Here

Examples of org.mindswap.pellet.Role.addDomain()

            .<ATermAppl> emptySet(), false );

        ATermAppl newUC = ATermUtils.normalize( ATermUtils.makeNot( testClass ) );

        Role topObjectRole = kb.getRole( TOP_OBJECT_PROPERTY );
        boolean added = topObjectRole.addDomain( newUC, DependencySet.INDEPENDENT );
       
        ABox copy = kb.getABox().copy();
        copy.setInitialized( false );
        querySatisfied = !copy.isConsistent();
View Full Code Here

Examples of org.sbml.jsbml.ext.spatial.Geometry.addDomain()

        geo.addDomainType(elem);
        return elem;
      } else if (elementName.equals(SpatialConstants.domain)) {
        Geometry geo = (Geometry) listOf.getParentSBMLObject();
        Domain elem = new Domain();
        geo.addDomain(elem);
        return elem;
      } else if (elementName.equals(SpatialConstants.adjacentDomains)) {
        Geometry geo = (Geometry) listOf.getParentSBMLObject();
        AdjacentDomains elem = new AdjacentDomains();
        geo.addAdjacentDomain(elem);
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.