Examples of addIndividual()

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

1784
1785
1786
1787
1788
1789
1790
1791
1792
1793
1794
    kb.addClass( A );

    kb.addDatatypeProperty( p );

    kb.addIndividual( a );

    kb.addPropertyValue( p, a, oneInteger );
    assertTrue( kb.isConsistent() );

    assertTrue( kb.hasPropertyValue( a, p, oneDecimal ) );
View Full Code Here

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

1811
1812
1813
1814
1815
1816
1817
1818
1819
1820
1821
    ATermAppl zeroByte = literal( "0", Datatypes.BYTE );
    ATermAppl zeroFloat = literal( "0", Datatypes.FLOAT );

    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 );
View Full Code Here

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

1846
1847
1848
1849
1850
1851
1852
1853
1854
1855
1856
    kb.addClass( A );

    kb.addDatatypeProperty( p );
    kb.addDatatypeProperty( q );

    kb.addIndividual( a );

    kb.addType( a, A );

    kb.addSubClass( A, min( p, 1, TOP_LIT ) );
    kb.addRange( p, oneOf( lit1 ) );
View Full Code Here

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

1899
1900
1901
1902
1903
1904
1905
1906
1907
1908
1909
    kb.addObjectProperty( p1 );
    kb.addObjectProperty( p2 );
    kb.addDisjointProperty( p1, p2 );

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

    kb.addPropertyValue( p1, a, c );
    kb.addPropertyValue( p2, b, a );
View Full Code Here

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

1900
1901
1902
1903
1904
1905
1906
1907
1908
1909
1910
    kb.addObjectProperty( p1 );
    kb.addObjectProperty( p2 );
    kb.addDisjointProperty( p1, p2 );

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

    kb.addPropertyValue( p1, a, c );
    kb.addPropertyValue( p2, b, a );
View Full Code Here

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

1901
1902
1903
1904
1905
1906
1907
1908
1909
1910
1911
    kb.addObjectProperty( p2 );
    kb.addDisjointProperty( p1, p2 );

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

    kb.addPropertyValue( p1, a, c );
    kb.addPropertyValue( p2, b, a );

    ATermAppl notp1a = ATermUtils.makeNot( ATermUtils.makeHasValue( p1, a ) );
View Full Code Here

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

1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
1978
    ATermAppl a = term( "a" );
    ATermAppl b = term( "b" );

    kb.addObjectProperty( p );

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

    kb.addPropertyValue( p, a, b );

    kb.isConsistent();
View Full Code Here

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

1969
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
    ATermAppl b = term( "b" );

    kb.addObjectProperty( p );

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

    kb.addPropertyValue( p, a, b );

    kb.isConsistent();
View Full Code Here

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

473
474
475
476
477
478
479
480
481
482
483
    kb.addSubClass( C, card( p, COUNT + 1, ATermUtils.TOP_LIT ) );
    kb.addSubClass( D, card( p, COUNT, ATermUtils.TOP_LIT ) );
    kb.addSubClass( E, card( p, COUNT - 1, ATermUtils.TOP_LIT ) );

    kb.addIndividual( x );
    kb.addType( x, D );

    kb.addIndividual( y );
    kb.addType( y, E );
View Full Code Here

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

476
477
478
479
480
481
482
483
484
485
486
    kb.addSubClass( E, card( p, COUNT - 1, ATermUtils.TOP_LIT ) );

    kb.addIndividual( x );
    kb.addType( x, D );

    kb.addIndividual( y );
    kb.addType( y, E );

    assertFalse( kb.isSatisfiable( C ) );
    assertTrue( kb.isSatisfiable( D ) );
    assertTrue( kb.isSatisfiable( E ) );
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.