Package org.mindswap.pellet

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

103
104
105
106
107
108
109
110
111
112
113
    kb.addDatatypeProperty( q );
    kb.addDatatypeProperty( r );

    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" );
View Full Code Here
104
105
106
107
108
109
110
111
112
113
114
    kb.addDatatypeProperty( r );

    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" );
View Full Code Here
1377
1378
1379
1380
1381
1382
1383
1384
1385
1386
1387
    kb.addClass( A );
    kb.addClass( B );
    kb.addClass( C );

    kb.addSubClass( TOP, and( or( B, not( A ) ), or( C, not( B ) ) ) );

    assertSubClass( kb, A, B );

    assertSubClass( kb, B, C );
   
View Full Code Here
1405
1406
1407
1408
1409
1410
1411
1412
1413
1414
1415
    kb.addClass( C );
    kb.addIndividual( a );
    kb.addIndividual( b );

    kb.addSubClass( C, oneOf( a, b ) );
    kb.addEquivalentClass( A, oneOf( a ) );
    kb.addEquivalentClass( B, oneOf( b ) );
    kb.addDisjointClass( A, B );

    assertTrue( kb.isConsistent() );
View Full Code Here
1425
1426
1427
1428
1429
1430
1431
1432
1433
1434
1435
    ATermAppl c = term( "c" );

    kb.addClass( C );
    kb.addClass( D );

    kb.addSubClass( C, D );
    // bogus axiom to make ontology non-EL
    kb.addSubClass( C, or( C, D ) );
   
    kb.addIndividual( a );
    kb.addIndividual( b );
View Full Code Here
1427
1428
1429
1430
1431
1432
1433
1434
1435
1436
1437
    kb.addClass( C );
    kb.addClass( D );

    kb.addSubClass( C, D );
    // bogus axiom to make ontology non-EL
    kb.addSubClass( C, or( C, D ) );
   
    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
   
View Full Code Here
1544
1545
1546
1547
1548
1549
1550
1551
1552
1553
1554
    kb.addClass( C );
    kb.addClass( D );
    kb.addClass( E );

    kb.addSubClass( C, D );
   
    // force expressivity out of EL
    kb.addSubClass( E, or( C, D ) );
           
    assertFalse( kb.isClassified() );
View Full Code Here
1547
1548
1549
1550
1551
1552
1553
1554
1555
1556
1557
    kb.addClass( E );

    kb.addSubClass( C, D );
   
    // force expressivity out of EL
    kb.addSubClass( E, or( C, D ) );
           
    assertFalse( kb.isClassified() );
    assertFalse( kb.isRealized() );
   
    kb.getToldTaxonomy();
View Full Code Here
1574
1575
1576
1577
1578
1579
1580
1581
1582
1583
1584
    kb.addClass( C );
    kb.addClass( D );
    kb.addClass( E );

    kb.addSubClass( C, D );
           
    assertFalse( kb.isClassified() );
    assertFalse( kb.isRealized() );
   
    kb.getToldTaxonomy();
View Full Code Here
1615
1616
1617
1618
1619
1620
1621
1622
1623
1624
1625
    kb.addClass( C );
    kb.addClass( D );
    kb.addClass( E );

    kb.addSubClass( C, D );
    kb.addEquivalentClass( C, some( p, TOP ) );
    kb.addEquivalentClass( E, some( q, TOP ) );

    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
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.