Package org.mindswap.pellet

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

1602
1603
1604
1605
1606
1607
1608
1609
1610
1611
1612
    kb.addClass( C );

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

    kb.addDomain( p, C );

    kb.addRange( q, XSDInteger.getInstance().getName() );

    kb.addSubClass( C, some( q, TOP_LIT ) );
View Full Code Here
1944
1945
1946
1947
1948
1949
1950
1951
1952
1953
1954
    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 ) );

    kb.classify();
View Full Code Here
1601
1602
1603
1604
1605
1606
1607
1608
1609
1610
1611
    kb.addClass( C );
   
    kb.addDatatypeProperty( p );
    kb.addDatatypeProperty( q );
   
    kb.addDomain( p, C );
   
    kb.addRange( q, XSDInteger.getInstance().getName() );
   
    kb.addSubClass( C, some( q, TOP_LIT ) );
   
View Full Code Here
1943
1944
1945
1946
1947
1948
1949
1950
1951
1952
1953
    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 ) );
   
    kb.classify();
   
View Full Code Here
302
303
304
305
306
307
308
309
310
311
312
    kb.addIndividual( z );
    kb.addDifferent( x, y );
    kb.addDifferent( x, z );
   
    kb.addSubClass( c, oneOf( x, y ) );
    kb.addDomain( TOP_OBJECT_PROPERTY, c );
   
    assertTrue( kb.isSameAs( y, z ) );
  }
 
  @Test
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.