Package org.mindswap.pellet

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

901
902
903
904
905
906
907
908
909
910
911
   
    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>();

    body.add( new IndividualPropertyAtom( p, x, y ) );
View Full Code Here
987
988
989
990
991
992
993
994
995
996
997
   
    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
   
    kb.addPropertyValue( p, a, a );
    kb.addPropertyValue( p, b, a );
    kb.addPropertyValue( p, b, c );
   
    AtomIVariable x = new AtomIVariable( "x" ); 
    List<RuleAtom> body = Arrays.<RuleAtom>asList( new IndividualPropertyAtom( p, x, x ) );
View Full Code Here
988
989
990
991
992
993
994
995
996
997
998
    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
   
    kb.addPropertyValue( p, a, a );
    kb.addPropertyValue( p, b, a );
    kb.addPropertyValue( p, b, c );
   
    AtomIVariable x = new AtomIVariable( "x" ); 
    List<RuleAtom> body = Arrays.<RuleAtom>asList( new IndividualPropertyAtom( p, x, x ) );
    List<RuleAtom> head = Arrays.<RuleAtom>asList( new ClassAtom( A, x ) );
View Full Code Here
989
990
991
992
993
994
995
996
997
998
999
    kb.addIndividual( b );
    kb.addIndividual( c );
   
    kb.addPropertyValue( p, a, a );
    kb.addPropertyValue( p, b, a );
    kb.addPropertyValue( p, b, c );
   
    AtomIVariable x = new AtomIVariable( "x" ); 
    List<RuleAtom> body = Arrays.<RuleAtom>asList( new IndividualPropertyAtom( p, x, x ) );
    List<RuleAtom> head = Arrays.<RuleAtom>asList( new ClassAtom( A, x ) );
 
View Full Code Here
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
   
    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
   
    kb.addPropertyValue( p, a, b );
    kb.addPropertyValue( p, b, c );
    kb.addPropertyValue( p, c, c );
   
    AtomIVariable x = new AtomIVariable( "x" ); 
    List<RuleAtom> body = Arrays.<RuleAtom>asList( new IndividualPropertyAtom( p, x, new AtomIConstant( c ) ) );
View Full Code Here
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
   
    kb.addPropertyValue( p, a, b );
    kb.addPropertyValue( p, b, c );
    kb.addPropertyValue( p, c, c );
   
    AtomIVariable x = new AtomIVariable( "x" ); 
    List<RuleAtom> body = Arrays.<RuleAtom>asList( new IndividualPropertyAtom( p, x, new AtomIConstant( c ) ) );
    List<RuleAtom> head = Arrays.<RuleAtom>asList( new ClassAtom( A, x ) );
View Full Code Here
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
    kb.addIndividual( b );
    kb.addIndividual( c );
   
    kb.addPropertyValue( p, a, b );
    kb.addPropertyValue( p, b, c );
    kb.addPropertyValue( p, c, c );
   
    AtomIVariable x = new AtomIVariable( "x" ); 
    List<RuleAtom> body = Arrays.<RuleAtom>asList( new IndividualPropertyAtom( p, x, new AtomIConstant( c ) ) );
    List<RuleAtom> head = Arrays.<RuleAtom>asList( new ClassAtom( A, x ) );
 
View Full Code Here
1905
1906
1907
1908
1909
1910
1911
1912
1913
1914
 
    kb.addRule( new Rule( head, body ) );
 
    assertTrue( kb.isConsistent() );
   
    kb.addPropertyValue( p, a, a );
   
    assertFalse( kb.isConsistent() );         
  }
}
View Full Code Here
175
176
177
178
179
180
181
182
183
184
185
    kb.addDatatypeProperty( bMonth );
    kb.addDatatypeProperty( bDay );
    kb.addDatatypeProperty( bTZ );

    kb.addIndividual( amy );
    kb.addPropertyValue( bDate, amy, literal( "2001-01-11", Datatypes.DATE ) );

    kb.addIndividual( basil );
    kb.addPropertyValue( bDate, basil, literal( "2002-02-12Z", Datatypes.DATE ) );

    kb.addIndividual( clara );
View Full Code Here
178
179
180
181
182
183
184
185
186
187
188
    kb.addIndividual( amy );
    kb.addPropertyValue( bDate, amy, literal( "2001-01-11", Datatypes.DATE ) );

    kb.addIndividual( basil );
    kb.addPropertyValue( bDate, basil, literal( "2002-02-12Z", Datatypes.DATE ) );

    kb.addIndividual( clara );
    kb.addPropertyValue( bYear, clara, literal( "2003", Datatypes.INTEGER ) );
    kb.addPropertyValue( bMonth, clara, literal( "3", Datatypes.INTEGER ) );
    kb.addPropertyValue( bDay, clara, literal( "13", Datatypes.INTEGER ) );
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.