Package org.mindswap.pellet

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

1407
1408
1409
1410
1411
1412
1413
1414
1415
1416
1417
    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
1408
1409
1410
1411
1412
1413
1414
1415
1416
1417
1418
    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() );

    assertTrue( kb.isSatisfiable( C ) );
View Full Code Here
1448
1449
1450
1451
1452
1453
1454
1455
1456
1457
1458
    kb.addIndividual( i1 );
    kb.addIndividual( i21 );
    kb.addIndividual( i22 );
    kb.addIndividual( test );

    kb.addEquivalentClass( t1, t1eq );
    kb.addSame( i1, i21 );
    kb.addSame( i21, i1 );

    kb.addPropertyValue( p, test, i21 );
    kb.addPropertyValue( p, test, i22 );
View Full Code Here
1641
1642
1643
1644
1645
1646
1647
1648
1649
1650
1651
    kb.addObjectProperty( p );

    kb.addIndividual( b );
    kb.addIndividual( c );

    kb.addEquivalentClass( A, oneOf( b, c ) );
    kb.addEquivalentClass( B, hasValue( p, b ) );
    kb.addEquivalentClass( C, hasValue( p, c ) );
    kb.addEquivalentClass( D, and( some( p, A ), min( p, 1, value(b) ), min( p, 1, value(c) ), max( p, 1,
        TOP ) ) );
View Full Code Here
1642
1643
1644
1645
1646
1647
1648
1649
1650
1651
1652
    kb.addIndividual( b );
    kb.addIndividual( c );

    kb.addEquivalentClass( A, oneOf( b, c ) );
    kb.addEquivalentClass( B, hasValue( p, b ) );
    kb.addEquivalentClass( C, hasValue( p, c ) );
    kb.addEquivalentClass( D, and( some( p, A ), min( p, 1, value(b) ), min( p, 1, value(c) ), max( p, 1,
        TOP ) ) );

    assertTrue( kb.isConsistent() );
View Full Code Here
1643
1644
1645
1646
1647
1648
1649
1650
1651
1652
1653
    kb.addIndividual( b );
    kb.addIndividual( c );

    kb.addEquivalentClass( A, oneOf( b, c ) );
    kb.addEquivalentClass( B, hasValue( p, b ) );
    kb.addEquivalentClass( C, hasValue( p, c ) );
    kb.addEquivalentClass( D, and( some( p, A ), min( p, 1, value(b) ), min( p, 1, value(c) ), max( p, 1,
        TOP ) ) );

    assertTrue( kb.isConsistent() );
View Full Code Here
1644
1645
1646
1647
1648
1649
1650
1651
1652
1653
1654
    kb.addIndividual( c );

    kb.addEquivalentClass( A, oneOf( b, c ) );
    kb.addEquivalentClass( B, hasValue( p, b ) );
    kb.addEquivalentClass( C, hasValue( p, c ) );
    kb.addEquivalentClass( D, and( some( p, A ), min( p, 1, value(b) ), min( p, 1, value(c) ), max( p, 1,
        TOP ) ) );

    assertTrue( kb.isConsistent() );

    kb.classify();
View Full Code Here
1753
1754
1755
1756
1757
1758
1759
1760
1761
1762
1763
    kb.addObjectProperty( p );

    kb.addIndividual( a );
    kb.addIndividual( b );

    kb.addEquivalentClass( A, value( a ) );
    kb.addSubClass( A, all( inv(p), not( B ) ) );
    kb.addSubClass( B, or( some( p, A ), C ) );

    kb.addType( b, B );
View Full Code Here
1942
1943
1944
1945
1946
1947
1948
1949
1950
1951
1952
    kb.addClass( C );

    kb.addDatatypeProperty( p );

    // B is completely defined except this equivalence
    kb.addEquivalentClass( A, B );
    // A is not primitive because of the domain axiom
    kb.addDomain( p, A );
    // C should be inferred to be a subclass of A and B
    kb.addSubClass( C, some(p, TOP_LIT ) );
View Full Code Here
623
624
625
626
627
628
629
630
631
632
633
  @Test
  public void testCyclicTBox1() {
    KnowledgeBase kb = new KnowledgeBase();

    ATermAppl C = term( "C" );
    kb.addEquivalentClass( C, not( C ) );

    assertFalse( kb.isConsistent() );
  }

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.