Package org.mindswap.pellet

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

682
683
684
685
686
687
688
689
690
691
692
    ATermAppl B = term( "B" );

    kb.addClass( A );
    kb.addClass( B );

    kb.addEquivalentClass( A, or( B, not( B ) ) );

    assertTrue( kb.isConsistent() );

    kb.classify();
View Full Code Here
1640
1641
1642
1643
1644
1645
1646
1647
1648
1649
1650
    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
1641
1642
1643
1644
1645
1646
1647
1648
1649
1650
1651
    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
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( 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
1752
1753
1754
1755
1756
1757
1758
1759
1760
1761
1762
    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
1941
1942
1943
1944
1945
1946
1947
1948
1949
1950
1951
    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
949
950
951
952
953
954
955
956
957
958
959
    kb.addObjectProperty( p );

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

    kb.addEquivalentClass( C, some( p, TOP ) );
   
    AtomIVariable x = new AtomIVariable( "x" );
    AtomIVariable y = new AtomIVariable( "y" );
    List<RuleAtom> body = new ArrayList<RuleAtom>();
    body.add( new ClassAtom( C, x ) );
View Full Code Here
1406
1407
1408
1409
1410
1411
1412
1413
1414
1415
1416
    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
1407
1408
1409
1410
1411
1412
1413
1414
1415
1416
1417
    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
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.