Package com.clarkparsia.pellet.rules.model

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

270
271
272
273
274
275
276
277
278
279
    return visitor.getIndividual();
  }

 
  public Individual set( AtomIVariable key, ATermAppl value ) {
    AtomIConstant constant = new AtomIConstant( value );
    IndividualValueCollector collector = new IndividualValueCollector();
    constant.accept( collector );
    return set( key, collector.getValue() );
  }
View Full Code Here
751
752
753
754
755
756
757
758
759
760
761
      return new AtomIVariable( node.getURI() );
    }
    else {
      ATermAppl term = node2term( node );
      if( defineIndividual( term ) ) {
              return new AtomIConstant( node2term( node ) );
            }
            else {
        addUnsupportedFeature( "Cannot create rule individual object for node " + node );
        return null;
      }
View Full Code Here
441
442
443
444
445
446
447
448
449
450
451
  private AtomIObject convertAtomIObject(ATermAppl t) {
    if( ATermUtils.isVar( t ) )
      return new AtomIVariable( ((ATermAppl) t.getArgument( 0 )).getName() );
    else if( kb.isIndividual( t ) )
      return new AtomIConstant( t );
    else if( ATermUtils.isAnon( t ) )
      return new AtomIConstant( t );

    throw new InternalReasonerException( "Unrecognized term: " + t );
  }
View Full Code Here
1382
1383
1384
1385
1386
1387
1388
  }
 
 
  public void visit(SWRLIndividualArgument iobj) {
    iobj.getIndividual().accept( this );
    swrlIObject = new AtomIConstant( term );
  }
View Full Code Here
540
541
542
543
544
545
546
547
548
549
550
            AtomDConstant arg = new AtomDConstant( nominal );
            RuleAtom atom = new DatavaluedPropertyAtom( p, var, arg );
            atoms.add(atom);
          }
          else {
            AtomIConstant arg = new AtomIConstant( nominal );
            RuleAtom atom = new IndividualPropertyAtom( p, var, arg );
            atoms.add(atom);
          }
        }
        else {
View Full Code Here
1309
1310
1311
1312
1313
1314
1315
    swrlIObject = new AtomIVariable( ivar.getURI().toString() );
  }

  public void visit(SWRLAtomIndividualObject iobj) {
    iobj.getIndividual().accept( this );
    swrlIObject = new AtomIConstant( term );
  }
View Full Code Here
749
750
751
752
753
754
755
756
757
758
759
      return new AtomIVariable( node.getURI() );
    }
    else {
      ATermAppl term = node2term( node );
      if( defineIndividual( term ) ) {
              return new AtomIConstant( node2term( node ) );
            }
            else {
        addUnsupportedFeature( "Cannot create rule individual object for node " + node );
        return null;
      }
View Full Code Here
453
454
455
456
457
458
459
460
461
462
463
464
465
    kb.addClass( c );
    kb.addClass( d );
    kb.addIndividual( i );
    kb.addType( i, c );

    kb.addRule( new Rule( Arrays.asList( new RuleAtom[] { new ClassAtom( d, new AtomIConstant(
        i ) ) } ), Arrays
        .asList( new RuleAtom[] { new ClassAtom( c, new AtomIConstant( i ) ) } ) ) );

    kb.realize();
    assertTrue( kb.getTypes( i ).contains( Collections.singleton( d ) ) );

  }
View Full Code Here
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
    {
      AtomIVariable v = new AtomIVariable( "v" );
      RuleAtom body = new ClassAtom( some( p, or( and( A, B ), or(
          and( A, C ), and( B, C ) ) ) ), v );
      RuleAtom head = new IndividualPropertyAtom( q, v, new AtomIConstant( y ) );
      Rule rule = new Rule( Collections.singleton( head ), Collections.singleton( body ) );
      kb.addRule( rule );
    }

    {
      AtomIVariable v = new AtomIVariable( "v" );
      RuleAtom body = new ClassAtom( G, v );
      RuleAtom head = new IndividualPropertyAtom( p, v, new AtomIConstant( y ) );
      Rule rule = new Rule( Collections.singleton( head ), Collections.singleton( body ) );
      kb.addRule( rule );
    }

    assertTrue( kb.isConsistent() );
View Full Code Here
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
    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 ) );
 
    assertTrue( kb.isConsistent() );
View Full Code Here
TOP

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

  • com.clarkparsia.pellet.owlapiv3.PelletVisitor
  • com.clarkparsia.pellet.rules.VariableBinding
  • com.clarkparsia.pellet.utils.OntBuilder
  • org.mindswap.pellet.jena.graph.loader.DefaultGraphLoader
  • org.mindswap.pellet.owlapi.PelletVisitor
  • org.mindswap.pellet.tbox.impl.RuleAbsorber
  • org.mindswap.pellet.tbox.impl.TBoxImpl$RuleAbsorption
  • 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.