Package com.clarkparsia.pellet.rules.model

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

756
757
758
759
760
761
762
763
764
765
766
   

    ATermAppl i = term( "i" );
    ATermAppl C = term( "C" );
    ATermAppl D = term( "D" );
    AtomIVariable x = new AtomIVariable( "x" );

    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, D );
    kb.addIndividual( i );
View Full Code Here
781
782
783
784
785
786
787
788
789
790
791
   

    ATermAppl i = term( "i" );
    ATermAppl C = term( "C" );
    ATermAppl D = term( "D" );
    AtomIVariable x = new AtomIVariable( "x" );

    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, D );
    kb.addIndividual( i );
View Full Code Here
806
807
808
809
810
811
812
813
814
815
816
   

    ATermAppl i = term( "i" );
    ATermAppl R = term( "R" );
    ATermAppl l = literal( "l" );
    AtomIVariable v = new AtomIVariable( "v" );
    AtomDConstant c = new AtomDConstant( l );

    kb.addIndividual( i );
    kb.addDatatypeProperty( R );
    kb.addPropertyValue( R, i, l );
View Full Code Here
831
832
833
834
835
836
837
838
839
840
841
    ATermAppl i = term( "i" );
    ATermAppl C = term( "C" );
    ATermAppl D = term( "D" );
    ATermAppl CuD = or( C, D );
    AtomIVariable x = new AtomIVariable( "x" );

    kb.addClass( C );
    kb.addClass( D );
    kb.addClass( CuD );
    kb.addIndividual( i );
View Full Code Here
859
860
861
862
863
864
865
866
867
868
869
870
    ATermAppl b = term( "b" );
    ATermAppl c = term( "c" );
    ATermAppl p = term( "p" );
    ATermAppl q = term( "q" );

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

    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
    kb.addTransitiveProperty( p );
   
View Full Code Here
920
921
922
923
924
925
926
927
928
929
930
931
    kb.addIndividual( a );
    kb.addIndividual( b );

    kb.addEquivalentClass( C, some( p, TOP ) );
   
    AtomIVariable x = new AtomIVariable( "x" );
    AtomIVariable y = new AtomIVariable( "y" );
    List<RuleAtom> body = new ArrayList<RuleAtom>();
    body.add( new ClassAtom( C, x ) );
    List<RuleAtom> head = new ArrayList<RuleAtom>();
    head.add( new IndividualPropertyAtom( p, x, y ) );
    Rule rule = new Rule( head, body );
View Full Code Here
960
961
962
963
964
965
966
967
968
969
970
   
    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 ) );
 
    kb.addRule( new Rule( head, body ) );
 
View Full Code Here
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
   
    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 ) );
 
    kb.addRule( new Rule( head, body ) );
 
View Full Code Here
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
    kb.addPropertyValue(p, b, TermFactory.literal(true));

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

    AtomIVariable x = new AtomIVariable("x");

    List<RuleAtom> body = Arrays.<RuleAtom> asList(new ClassAtom(A, x), new DatavaluedPropertyAtom(p,
                    new AtomIConstant(b), new AtomDConstant(TermFactory.literal(true))));
    List<RuleAtom> head = Arrays.<RuleAtom> asList(new DatavaluedPropertyAtom(q, x, new AtomDConstant(t)));
    kb.addRule(new Rule(head, body));
View Full Code Here
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
    kb.addType(b, B);

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

    AtomIVariable x = new AtomIVariable("x");

    List<RuleAtom> body = Arrays.<RuleAtom> asList(new ClassAtom(A, x), new ClassAtom(B, new AtomIConstant(b)));
    List<RuleAtom> head = Arrays.<RuleAtom> asList(new DatavaluedPropertyAtom(q, x, new AtomDConstant(t)));
    kb.addRule(new Rule(head, body));
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.