Package com.clarkparsia.pellet.rules.model

Examples of com.clarkparsia.pellet.rules.model.AtomIVariable

1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
    kb.addPropertyValue(r, b, c);

    ATermAppl t = TermFactory.literal("t");
    ATermAppl f = TermFactory.literal("f");

    AtomIVariable x = new AtomIVariable("x");
    AtomDVariable y = new AtomDVariable("y");

    List<RuleAtom> body = Arrays.<RuleAtom> asList(new ClassAtom(A, x),
            new DatavaluedPropertyAtom(p, new AtomIConstant(b), y),
            new BuiltInAtom(SWRLB + "equal", y, new AtomDConstant(TermFactory.literal(true))));
View Full Code Here
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
1215
1216
    kb.addPropertyValue(p, d, TermFactory.literal(false));

    ATermAppl t = TermFactory.literal("t");
    ATermAppl f = TermFactory.literal("f");

    AtomIVariable x = new AtomIVariable("x");
    AtomIVariable y = new AtomIVariable("y");

    List<RuleAtom> body = Arrays.<RuleAtom> asList(new ClassAtom(A, x),
            new IndividualPropertyAtom(r, y, new AtomIConstant(b)),
            new DatavaluedPropertyAtom(p, y, new AtomDConstant(TermFactory.literal(true))));
    List<RuleAtom> head = Arrays.<RuleAtom> asList(new DatavaluedPropertyAtom(q, x, new AtomDConstant(t)));
View Full Code Here
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
    kb.addPropertyValue(p, a, TermFactory.literal(1));
    kb.addPropertyValue(p, b, TermFactory.literal(5));
    kb.addPropertyValue(p, c, TermFactory.literal(10));
    kb.addPropertyValue(p, d, TermFactory.literal(15));

    AtomIVariable x = new AtomIVariable("x");
    AtomDVariable y = new AtomDVariable("y");
    AtomDVariable z = new AtomDVariable("z");
   
    List<RuleAtom> body = Arrays.<RuleAtom> asList(
            new DatavaluedPropertyAtom(p, x, y),
View Full Code Here
1261
1262
1263
1264
1265
1266
1267
1268
1269
1270
1271
1272
1273
    kb.addPropertyValue(p, b, c);
    kb.addPropertyValue(p, a, c);
    kb.addPropertyValue(p, b, e);
    kb.addPropertyValue(p, c, e);

    AtomIVariable x = new AtomIVariable("x");
    AtomIVariable y = new AtomIVariable("y");
    AtomIVariable z = new AtomIVariable("z");
   
    List<RuleAtom> body = Arrays.<RuleAtom> asList(
            new IndividualPropertyAtom(p, x, y),
            new IndividualPropertyAtom(p, y, z),
            new IndividualPropertyAtom(p, x, z)
View Full Code Here
106
107
108
109
110
111
112
113
114
115
116
117
  private AtomDVariable z;

  @Before
  public void setUp() {
    kb = new KnowledgeBase();
    x = new AtomIVariable("x");
    y = new AtomIVariable("y");
    z = new AtomDVariable("z");

    kb.addDatatypeProperty(dp1);
    kb.addDatatypeProperty(dp2);
    kb.addSubProperty(dp1, dp2);
View Full Code Here
628
629
630
631
632
633
634
635
636
637
638
639
    ATermAppl i = ATermUtils.makeTermAppl( "i" );

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

    body.add( new ClassAtom( C, new AtomIVariable( "x" ) ) );
    head.add( new ClassAtom( D, new AtomIVariable( "x" ) ) );

    Rule rule = new Rule( head, body );

    kb.addClass( C );
    kb.addClass( D );
View Full Code Here
917
918
919
920
921
922
923
924
925
926
927
928
929
    classes(A);
    objectProperties(p, q, r, f);
    dataProperties(p);
    individuals(a, b, c);

    AtomIVariable x = new AtomIVariable("x");
    AtomIVariable y = new AtomIVariable("y");
    AtomIVariable z = new AtomIVariable("z");

    kb.addSymmetricProperty(p);
    kb.addInverseProperty(q, r);

    kb.addPropertyValue(p, c, a);
View Full Code Here
102
103
104
105
106
107
108
109
110
111
112
    kb.addIndividual( i );

    kb.addSubClass( TOP, hasValue( p, d1 ) );
    kb.addSubClass( TOP, hasValue( q, d2 ) );

    AtomIVariable x = new AtomIVariable( "x" );
    AtomDVariable z1 = new AtomDVariable( "z1" );
    AtomDVariable z2 = new AtomDVariable( "z2" );
    AtomDVariable z3 = new AtomDVariable( "z3" );

    List<RuleAtom> body = new ArrayList<RuleAtom>();
View Full Code Here
154
155
156
157
158
159
160
161
162
163
164
    kb.addPropertyValue( bYear, desmond, literal( "2004", Datatypes.INTEGER ) );
    kb.addPropertyValue( bMonth, desmond, literal( "4", Datatypes.INTEGER ) );
    kb.addPropertyValue( bDay, desmond, literal( "14", Datatypes.INTEGER ) );
    kb.addPropertyValue( bTZ, desmond, literal( "+01:01" ) );

    AtomIVariable x = new AtomIVariable( "x" );
    AtomDVariable xDate = new AtomDVariable( "xDate" ), xYear = new AtomDVariable( "xYear" ), xMonth = new AtomDVariable(
        "xMonth" ), xDay = new AtomDVariable( "xDay" ), xTZ = new AtomDVariable( "xTZ" );

    RuleAtom dateBuiltIn = new BuiltInAtom( SWRLB + "date", xDate, xYear, xMonth, xDay );
    RuleAtom dateBuiltInTZ = new BuiltInAtom( SWRLB + "date", xDate, xYear, xMonth, xDay, xTZ );
View Full Code Here
233
234
235
236
237
238
239
240
241
242
243
    kb.addIndividual( i );
    kb.addPropertyValue( p, i, d1 );
    kb.addPropertyValue( p, i, d2 );

    AtomIVariable x = new AtomIVariable( "x" );
    AtomDVariable z1 = new AtomDVariable( "z1" );
    AtomDVariable z2 = new AtomDVariable( "z2" );
    AtomDVariable z3 = new AtomDVariable( "z3" );
    AtomDVariable z4 = new AtomDVariable( "z4" );
    AtomDVariable z5 = new AtomDVariable( "z5" );
View Full Code Here
TOP

Related Classes of com.clarkparsia.pellet.rules.model.AtomIVariable

  • com.clarkparsia.pellet.owlapiv3.PelletVisitor
  • com.clarkparsia.pellet.utils.OntBuilder
  • org.mindswap.pellet.jena.graph.loader.DefaultGraphLoader
  • org.mindswap.pellet.KnowledgeBase
  • org.mindswap.pellet.owlapi.PelletVisitor
  • org.mindswap.pellet.tbox.impl.RuleAbsorber
  • org.mindswap.pellet.tbox.impl.TBoxImpl$RuleAbsorption
  • org.mindswap.pellet.test.inctest.IncConsistencyTests
  • org.mindswap.pellet.test.rules.BindingGeneratorsTest
  • org.mindswap.pellet.test.rules.MiscRuleTests
    • Copyright © 2018 www.massapicom. 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.