Package org.mindswap.pellet

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

1671
1672
1673
1674
1675
1676
1677
1678
1679
1680
1681
    kb.addClass( B );
    kb.addClass( C );
    kb.addClass( D );

    kb.addSubClass( B, A );
    kb.addSubClass( D, C );
    kb.addComplementClass( B, C );

    assertTrue( kb.isConsistent() );

    assertIteratorValues( kb.getDisjointClasses( TOP ).iterator(),
View Full Code Here
1754
1755
1756
1757
1758
1759
1760
1761
1762
1763
1764
    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 );

    assertTrue( kb.isConsistent() );
View Full Code Here
1755
1756
1757
1758
1759
1760
1761
1762
1763
1764
1765
    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 );

    assertTrue( kb.isConsistent() );
View Full Code Here
1813
1814
1815
1816
1817
1818
1819
1820
1821
1822
1823
    kb.addClass( A );
    kb.addDatatypeProperty( p );
    kb.addIndividual( a );

    kb.addSubClass( A, some( p, Datatypes.NON_POSITIVE_INTEGER ) );
    kb.addSubClass( A, all( p, Datatypes.NON_NEGATIVE_INTEGER ) );

    kb.addType( a, A );

    assertTrue( kb.isConsistent() );
View Full Code Here
1814
1815
1816
1817
1818
1819
1820
1821
1822
1823
1824
    kb.addClass( A );
    kb.addDatatypeProperty( p );
    kb.addIndividual( a );

    kb.addSubClass( A, some( p, Datatypes.NON_POSITIVE_INTEGER ) );
    kb.addSubClass( A, all( p, Datatypes.NON_NEGATIVE_INTEGER ) );

    kb.addType( a, A );

    assertTrue( kb.isConsistent() );
View Full Code Here
1850
1851
1852
1853
1854
1855
1856
1857
1858
1859
1860
    kb.addIndividual( a );

    kb.addType( a, A );

    kb.addSubClass( A, min( p, 1, TOP_LIT ) );
    kb.addRange( p, oneOf( lit1 ) );

    kb.addSubClass( A, some( q, TOP_LIT ) );
    kb.addRange( q, oneOf( lit2 ) );
View Full Code Here
1853
1854
1855
1856
1857
1858
1859
1860
1861
1862
1863
    kb.addType( a, A );

    kb.addSubClass( A, min( p, 1, TOP_LIT ) );
    kb.addRange( p, oneOf( lit1 ) );

    kb.addSubClass( A, some( q, TOP_LIT ) );
    kb.addRange( q, oneOf( lit2 ) );

    assertTrue( kb.isConsistent() );

View Full Code Here
1946
1947
1948
1949
1950
1951
1952
1953
1954
1955
1956
    // 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 ) );

    kb.classify();

    assertSubClass( kb, C, A );
    assertSubClass( kb, C, B );
View Full Code Here
392
393
394
395
396
397
398
399
400
401
402
    ATermAppl c = term( "c" );
    ATermAppl r = term( "r" );

    kb.addIndividual( a );
    kb.addClass( c );
    kb.addSubClass( c, all( r, BOTTOM ) );
    kb.addSubClass( c, oneOf( a ) );

    kb.addObjectProperty( r );
    kb.addReflexiveProperty( r );
View Full Code Here
393
394
395
396
397
398
399
400
401
402
403
    ATermAppl r = term( "r" );

    kb.addIndividual( a );
    kb.addClass( c );
    kb.addSubClass( c, all( r, BOTTOM ) );
    kb.addSubClass( c, oneOf( a ) );

    kb.addObjectProperty( r );
    kb.addReflexiveProperty( r );

    assertSatisfiable( kb, c, false );
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.