Package org.mindswap.pellet

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


    kb.addClass(c);
    kb.addDatatypeProperty(v);
    kb.addIndividual(i);

    kb.addSubClass(c, TermFactory.min(v, 1, INTEGER));
    kb.addRange(v, TermFactory.oneOf(one));
    kb.addType(i, c);

    assertTrue(kb.hasPropertyValue(i, v, one));

  }
View Full Code Here


    kb.addClass(c);
    kb.addDatatypeProperty(v);
    kb.addIndividual(i);

    kb.addSubClass(c, TermFactory.some(v, INTEGER));
    kb.addRange(v, TermFactory.oneOf(one));
    kb.addType(i, c);

    assertTrue(kb.hasPropertyValue(i, v, one));

  }
View Full Code Here

    KnowledgeBase kb = new KnowledgeBase();
    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.addIndividual( z );
    kb.addDifferent( x, y );
    kb.addDifferent( x, z );
   
    kb.addSubClass( c, oneOf( x, y ) );
    kb.addRange( TOP_OBJECT_PROPERTY, c );
   
    assertTrue( kb.isSameAs( y, z ) );
  }
 
  @Test
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.