Examples of ensureConsistency()

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

128
129
130
131
132
133
134
135
136
137
138
   
    KnowledgeBase kb = reasoner.getKB();
   
    if( classify ) {
      kb.setDoExplanation( true );
      kb.ensureConsistency();
      kb.setDoExplanation( false );
     
      kb.realize();
    }
  }
View Full Code Here

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

1829
1830
1831
1832
1833
1834
1835
1836
1837
1838
1839
    kb.addDatatypeProperty( q );
   
    kb.addPropertyValue( p, a, b );
    kb.addType( a, some( q, value( lit ) ) );
   
    kb.ensureConsistency();
   
    assertTrue( kb.getABox().getLiteral( lit ).hasType( Datatypes.LITERAL ) );
   
    kb.removePropertyValue( p, a, b );
   
View Full Code Here

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

1835
1836
1837
1838
1839
1840
1841
1842
1843
1844
1845
   
    assertTrue( kb.getABox().getLiteral( lit ).hasType( Datatypes.LITERAL ) );
   
    kb.removePropertyValue( p, a, b );
   
    kb.ensureConsistency();
   
    assertTrue( kb.getABox().getLiteral( lit ).hasType( Datatypes.LITERAL ) );
  }
 
  @Test
View Full Code Here

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

593
594
595
596
597
598
599
600
601
602
603
    // }

    boolean querySatisfied;

    final KnowledgeBase kb = query.getKB();
    kb.ensureConsistency();

    // unless proven otherwise all (ground) triples are satisfied
    Bool allTriplesSatisfied = Bool.TRUE;

    for( final QueryAtom atom : query.getAtoms() ) {
View Full Code Here

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

134
135
136
137
138
139
140
141
142
143
144
   
    KnowledgeBase kb = reasoner.getKB();
   
    if( classify ) {
      kb.setDoExplanation( true );
      kb.ensureConsistency();
      kb.setDoExplanation( false );
     
      kb.realize();
    }
  }
View Full Code Here

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

1829
1830
1831
1832
1833
1834
1835
1836
1837
1838
1839
    kb.addDatatypeProperty( q );
   
    kb.addPropertyValue( p, a, b );
    kb.addType( a, some( q, value( lit ) ) );
   
    kb.ensureConsistency();
   
    assertTrue( kb.getABox().getLiteral( lit ).hasType( Datatypes.LITERAL ) );
   
    kb.removePropertyValue( p, a, b );
   
View Full Code Here

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

1835
1836
1837
1838
1839
1840
1841
1842
1843
1844
1845
   
    assertTrue( kb.getABox().getLiteral( lit ).hasType( Datatypes.LITERAL ) );
   
    kb.removePropertyValue( p, a, b );
   
    kb.ensureConsistency();
   
    assertTrue( kb.getABox().getLiteral( lit ).hasType( Datatypes.LITERAL ) );
  }
 
  @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.