Package org.mindswap.pellet

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

1627
1628
1629
1630
1631
1632
1633
1634
1635
1636
1637
    kb.addIndividual( a );
    kb.addIndividual( b );

    kb.addType( a, C );
    kb.addPropertyValue( p, a, b );

    // do the first consistency test
    // ABox: C(a), p(a, b)
    // TBox: C = some(p, TOP), E = some(q, TOP)
    // RBox: q [= p
View Full Code Here
1826
1827
1828
1829
1830
1831
1832
1833
1834
1835
1836
    kb.addIndividual( b );

    kb.addObjectProperty( p );
    kb.addDatatypeProperty( q );
   
    kb.addPropertyValue( p, a, b );
    kb.addType( a, some( q, value( lit ) ) );
   
    kb.ensureConsistency();
   
    assertTrue( kb.getABox().getLiteral( lit ).hasType( Datatypes.LITERAL ) );
View Full Code Here
356
357
358
359
360
361
362
363
364
365
366
    kb.addIndividual( j );
    kb.addIndividual( k );

    kb.addPropertyValue( p, i, d );
    kb.addPropertyValue( r, i, j );
    kb.addPropertyValue( r, j, k );

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

    RuleAtom body1 = new IndividualPropertyAtom( r, x, y );
View Full Code Here
395
396
397
398
399
400
401
402
403
404
405
    kb.addIndividual( k );

    kb.addSubClass( TOP, oneOf( i, j, k ) );
    kb.addSubClass( TOP, min( r, 3, TOP ) );

    kb.addPropertyValue( p, i, d );

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

    RuleAtom body1 = new IndividualPropertyAtom( r, x, y );
View Full Code Here
425
426
427
428
429
430
431
432
433
434
435
    kb.addIndividual( k );
    kb.addDatatypeProperty( p );
    kb.addObjectProperty( r );
    kb.addSubClass( TOP, min( r, 3, TOP ) );
    kb.addSubClass( TOP, or( value( i ), value( j ), value( k ) ) );
    kb.addPropertyValue( p, i, d );

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

    RuleAtom head = new DatavaluedPropertyAtom( p, x, z );
View Full Code Here
538
539
540
541
542
543
544
545
546
547
548
    kb.addIndividual( c11 );
    kb.addIndividual( c12 );
    kb.addIndividual( p1a );
    kb.addIndividual( p2a );

    kb.addPropertyValue( hasParent, c11, p1a );
    kb.addPropertyValue( hasSibling, c11, c12 );
    kb.addPropertyValue( hasParent, c12, p1a );
    kb.addPropertyValue( hasSibling, c12, c11 );
    kb.addPropertyValue( hasSibling, p1a, p2a );
    kb.addType( p2a, male );
View Full Code Here
539
540
541
542
543
544
545
546
547
548
549
    kb.addIndividual( c12 );
    kb.addIndividual( p1a );
    kb.addIndividual( p2a );

    kb.addPropertyValue( hasParent, c11, p1a );
    kb.addPropertyValue( hasSibling, c11, c12 );
    kb.addPropertyValue( hasParent, c12, p1a );
    kb.addPropertyValue( hasSibling, c12, c11 );
    kb.addPropertyValue( hasSibling, p1a, p2a );
    kb.addType( p2a, male );
View Full Code Here
540
541
542
543
544
545
546
547
548
549
550
    kb.addIndividual( p1a );
    kb.addIndividual( p2a );

    kb.addPropertyValue( hasParent, c11, p1a );
    kb.addPropertyValue( hasSibling, c11, c12 );
    kb.addPropertyValue( hasParent, c12, p1a );
    kb.addPropertyValue( hasSibling, c12, c11 );
    kb.addPropertyValue( hasSibling, p1a, p2a );
    kb.addType( p2a, male );

    AtomIVariable x = new AtomIVariable( "x" ), y = new AtomIVariable( "y" ), z = new AtomIVariable(
View Full Code Here
541
542
543
544
545
546
547
548
549
550
551
    kb.addIndividual( p2a );

    kb.addPropertyValue( hasParent, c11, p1a );
    kb.addPropertyValue( hasSibling, c11, c12 );
    kb.addPropertyValue( hasParent, c12, p1a );
    kb.addPropertyValue( hasSibling, c12, c11 );
    kb.addPropertyValue( hasSibling, p1a, p2a );
    kb.addType( p2a, male );

    AtomIVariable x = new AtomIVariable( "x" ), y = new AtomIVariable( "y" ), z = new AtomIVariable(
        "z" );
View Full Code Here
542
543
544
545
546
547
548
549
550
551
552
    kb.addPropertyValue( hasParent, c11, p1a );
    kb.addPropertyValue( hasSibling, c11, c12 );
    kb.addPropertyValue( hasParent, c12, p1a );
    kb.addPropertyValue( hasSibling, c12, c11 );
    kb.addPropertyValue( hasSibling, p1a, p2a );
    kb.addType( p2a, male );

    AtomIVariable x = new AtomIVariable( "x" ), y = new AtomIVariable( "y" ), z = new AtomIVariable(
        "z" );
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.