Package org.mindswap.pellet

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

1605
1606
1607
1608
1609
1610
1611
1612
1613
1614
1615
   
    kb.addDomain( p, C );
   
    kb.addRange( q, XSDInteger.getInstance().getName() );
   
    kb.addSubClass( C, some( q, TOP_LIT ) );
   
    assertTrue( kb.isConsistent() );

    assertFalse( kb.isSubPropertyOf( p, q ) );
    assertFalse( kb.isSubPropertyOf( q, p ) );
View Full Code Here
1669
1670
1671
1672
1673
1674
1675
1676
1677
1678
1679
    kb.addClass( A );
    kb.addClass( B );
    kb.addClass( C );
    kb.addClass( D );
   
    kb.addSubClass( B, A );
    kb.addSubClass( D, C );
    kb.addComplementClass( B, C );
   
    assertTrue( kb.isConsistent() );   
View Full Code Here
1670
1671
1672
1673
1674
1675
1676
1677
1678
1679
1680
    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
1753
1754
1755
1756
1757
1758
1759
1760
1761
1762
1763
    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
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
1812
1813
1814
1815
1816
1817
1818
1819
1820
1821
1822
    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
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
1849
1850
1851
1852
1853
1854
1855
1856
1857
1858
1859
    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
1852
1853
1854
1855
1856
1857
1858
1859
1860
1861
1862
    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
1945
1946
1947
1948
1949
1950
1951
1952
1953
1954
1955
    // 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
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.