Package org.mindswap.pellet

Examples of org.mindswap.pellet.KnowledgeBase

490
491
492
493
494
495
496
      kb.addObjectProperty( p );
    }
  }
 
  public void reset() {
    kb = new KnowledgeBase();
  }
View Full Code Here
98
99
100
101
102
103
104
  public PelletInfGraph(KnowledgeBase kb, PelletReasoner pellet, GraphLoader loader) {
    this( kb, Factory.createDefaultGraph(), pellet, loader );
  }
 
  public PelletInfGraph(Graph graph, PelletReasoner pellet, GraphLoader loader) {
    this( new KnowledgeBase(), graph, pellet, loader );
  }
View Full Code Here
417
418
419
420
421
422
423
424
425
426
427
  private Set<ATermAppl> pruneExplanation(Triple pattern, Set<ATermAppl> explanation) {
    Set<ATermAppl> prunedExplanation = new HashSet<ATermAppl>( explanation );
   
    OntBuilder builder = new OntBuilder( kb );
    KnowledgeBase copyKB;
    PelletInfGraph copyGraph;

    GraphLoader loader = new DefaultGraphLoader();
    for( ATermAppl axiom : explanation ) {
      prunedExplanation.remove( axiom );
View Full Code Here
323
324
325
326
327
328
329
330
331
332
333
    this.ontology = ontology;
    monitor = config.getProgressMonitor();
   

    kb = new KnowledgeBase();
    kb.setTaxonomyBuilderProgressMonitor( new ProgressAdapter( monitor ) );
    if( config.getTimeOut() > 0 ) {
      kb.timers.mainTimer.setTimeout( config.getTimeOut() );
    }
   
View Full Code Here
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
    // load the model to the reasoner
    model.prepare();

    // Get the KnolwedgeBase object
    KnowledgeBase kb = ((PelletInfGraph) model.getGraph()).getKB();

    // perform initial consistency check
    long s = System.currentTimeMillis();
    boolean consistent = kb.isConsistent();
    long e = System.currentTimeMillis();
    System.out.println( "Consistent? " + consistent + " (" + (e - s) + "ms)" );

    // peform ABox addition which results in a consistent KB
    ATermAppl concept = ATermUtils.makeTermAppl( mindswap + "GraduateStudent" );
    ATermAppl individual = ATermUtils.makeTermAppl( mindswappers + "JohnDoe" );
    kb.addIndividual( individual );
    kb.addType( individual, concept );

    // perform incremental consistency check
    s = System.currentTimeMillis();
    consistent = kb.isConsistent();
    e = System.currentTimeMillis();
    System.out.println( "Consistent? " + consistent + " (" + (e - s) + "ms)" );

    // peform ABox addition which results in an inconsistent KB
    ATermAppl role = ATermUtils.makeTermAppl( foaf + "mbox" );
    individual = ATermUtils.makeTermAppl( mindswappers + "Christian.Halaschek" );
    ATermAppl mbox = ATermUtils.makeTermAppl( "mailto:kolovski@cs.umd.edu" );
    kb.addPropertyValue( role, individual, mbox );

    // perform incremental consistency check
    s = System.currentTimeMillis();
    consistent = kb.isConsistent();
    e = System.currentTimeMillis();
    System.out.println( "Consistent? " + consistent + " (" + (e - s) + "ms)" );
  }
View Full Code Here
143
144
145
146
147
148
149
150
151
152
153
   * {@inheritDoc}
   */
  public boolean isParsable() {
    try {
      QueryEngine.getParser().parse( new FileInputStream( queryURI.substring( 5 ) ),
          new KnowledgeBase() );

      return true;
    } catch( Exception e ) {
      log.log( Level.INFO, e.getMessage(), e );
      return false;
View Full Code Here
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
          }
      };

    expGen = new HSTExplanationGenerator( singleExpGen );
   
    KnowledgeBase kb = reasoner.getKB();
   
    if( classify ) {
      kb.setDoExplanation( true );
      kb.ensureConsistency();
      kb.setDoExplanation( false );
     
      kb.realize();
    }
  }
View Full Code Here
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
   * An axiom like B = B or (not B) cause problems in classification process
   * because B was marked disjoint with itself.
   */
  @Test
  public void testTopClass3() {
    KnowledgeBase kb = new KnowledgeBase();

    ATermAppl A = term( "A" );
    ATermAppl B = term( "B" );
    ATermAppl C = term( "C" );

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

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

    assertTrue( kb.isConsistent() );

    kb.classify();

    assertTrue( kb.isEquivalentClass( A, TOP ) );
    assertTrue( kb.isEquivalentClass( B, TOP ) );
    assertFalse( kb.isEquivalentClass( C, TOP ) );
  }
View Full Code Here
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
    assertTrue( kb.isSatisfiable( C ) );
  }

  @Test
  public void testCyclicTBox2() {
    KnowledgeBase kb = new KnowledgeBase();

    ATermAppl B = term( "B" );
    ATermAppl C = term( "C" );
    ATermAppl D = term( "D" );

    kb.addClass( B );
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, B );
    kb.addSubClass( D, C );
    kb.addEquivalentClass( D, B );

    kb.classify();

    assertTrue( kb.isEquivalentClass( B, C ) );
    assertTrue( kb.isEquivalentClass( B, D ) );
    assertTrue( kb.isEquivalentClass( D, C ) );
  }
View Full Code Here
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
    assertTrue( top.getEquivalents().containsAll( classes ) );
  }

  @Test
  public void testComplexTypes() {
    KnowledgeBase kb = new KnowledgeBase();

    ATermAppl a = term( "a" );
    ATermAppl p = term( "p" );
    ATermAppl q = term( "q" );

    kb.addIndividual( a );

    kb.addType( a, min( p, 3, TOP ) );
    kb.addType( a, max( q, 2, TOP ) );
    kb.addType( a, min( q, 1, TOP ) );
    kb.addType( a, min( q, 1, TOP ) );

    kb.addObjectProperty( p );
    kb.addObjectProperty( q );

    assertTrue( kb.isConsistent() );
  }
View Full Code Here
TOP

Related Classes of org.mindswap.pellet.KnowledgeBase

  • aterm.ATermAppl
  • aterm.ATermList
  • com.clarkparsia.explanation.test.JenaExplanationTest
  • com.clarkparsia.explanation.test.OWLAPIExplanationTest
  • com.clarkparsia.pellet.datatypes.test.DatatypeReasonerTests
  • com.clarkparsia.pellet.el.ReteBasedELClassifier
  • com.clarkparsia.pellet.el.SimplifiedELClassifier
  • com.clarkparsia.pellet.expressivity.Expressivity
  • com.clarkparsia.pellet.expressivity.ExpressivityChecker
  • com.clarkparsia.pellet.owlapiv3.PelletReasoner
    • Copyright © 2018 www.massapicom. 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.