Package org.mindswap.pellet

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

502
503
504
505
506
507
508
509
510
511
512
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );
    kb.addPropertyValue( p, a, b );
    kb.addPropertyValue( q, b, c );
    kb.addPropertyValue( r, c, d );
 
    kb.prepare();
   
    assertTrue( kb.getRole(q).isSimple() );
 
View Full Code Here
540
541
542
543
544
545
546
547
548
549
550
 
    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );
    kb.addPropertyValue( p, a, b );
    kb.addPropertyValue( q, b, c );
    kb.addPropertyValue( r, c, d );
 
    kb.prepare();
   
View Full Code Here
541
542
543
544
545
546
547
548
549
550
551
    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );
    kb.addPropertyValue( p, a, b );
    kb.addPropertyValue( q, b, c );
    kb.addPropertyValue( r, c, d );
 
    kb.prepare();
   
    assertFalse( kb.getRole(r).isSimple() );
View Full Code Here
542
543
544
545
546
547
548
549
550
551
552
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );
    kb.addPropertyValue( p, a, b );
    kb.addPropertyValue( q, b, c );
    kb.addPropertyValue( r, c, d );
 
    kb.prepare();
   
    assertFalse( kb.getRole(r).isSimple() );
 
View Full Code Here
1785
1786
1787
1788
1789
1790
1791
1792
1793
1794
1795
    kb.addDatatypeProperty( p );

    kb.addIndividual( a );

    kb.addPropertyValue( p, a, oneInteger );
    assertTrue( kb.isConsistent() );

    assertTrue( kb.hasPropertyValue( a, p, oneDecimal ) );
    assertTrue( kb.hasPropertyValue( a, p, oneInteger ) );
    assertTrue( kb.hasPropertyValue( a, p, oneByte ) );
View Full Code Here
1902
1903
1904
1905
1906
1907
1908
1909
1910
1911
1912
   
    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
   
    kb.addPropertyValue( p1, a, c );
    kb.addPropertyValue( p2, b, a );
   
    ATermAppl notp1a = ATermUtils.makeNot( ATermUtils.makeHasValue( p1, a ) );
   
    // no caching so consistency checking will be used here
View Full Code Here
1903
1904
1905
1906
1907
1908
1909
1910
1911
1912
1913
    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
   
    kb.addPropertyValue( p1, a, c );
    kb.addPropertyValue( p2, b, a );
   
    ATermAppl notp1a = ATermUtils.makeNot( ATermUtils.makeHasValue( p1, a ) );
   
    // no caching so consistency checking will be used here
    assertFalse( kb.isType( a, notp1a ) );
View Full Code Here
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
1980
    kb.addObjectProperty( p );
   
    kb.addIndividual( a );
    kb.addIndividual( b );
 
    kb.addPropertyValue( p, a, b );
   
    kb.isConsistent();
   
    assertTrue( kb.getPropertyValues( q ).isEmpty() );
  }
View Full Code Here
842
843
844
845
846
847
848
849
850
851
852
    AtomIVariable v = new AtomIVariable( "v" );
    AtomDConstant c = new AtomDConstant( l );

    kb.addIndividual( i );
    kb.addDatatypeProperty( R );
    kb.addPropertyValue( R, i, l );

    List<RuleAtom> body = new ArrayList<RuleAtom>();
    List<RuleAtom> head = new ArrayList<RuleAtom>();

    body.add( new DatavaluedPropertyAtom( R, v, c ) );
View Full Code Here
900
901
902
903
904
905
906
907
908
909
910
    kb.addTransitiveProperty( p );
   
    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addPropertyValue( p, a, b );
    kb.addPropertyValue( p, b, c );

    List<RuleAtom> body = new ArrayList<RuleAtom>();
    List<RuleAtom> head = new ArrayList<RuleAtom>();
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.