Package com.clarkparsia.pellet.owlapiv3

Examples of com.clarkparsia.pellet.owlapiv3.PelletReasoner.term()

158
159
160
161
162
163
164
165
166
167
168
    Pair<OWLClass,OWLClass> pair = getSubClassAxiom( unsatClass );

    if( pair != null ) {
      Set<Set<ATermAppl>> exps = TaxonomyUtils.getSuperExplanations(
          pellet.getKB().getTaxonomy(),
          pellet.term( pair.first ),
          pellet.term( pair.second ) );

      if( exps != null ) {
        Set<OWLAxiom> result = convertExplanation( exps.iterator().next() );
        if( log.isLoggable( Level.FINE ) )
View Full Code Here
159
160
161
162
163
164
165
166
167
168
169
    if( pair != null ) {
      Set<Set<ATermAppl>> exps = TaxonomyUtils.getSuperExplanations(
          pellet.getKB().getTaxonomy(),
          pellet.term( pair.first ),
          pellet.term( pair.second ) );

      if( exps != null ) {
        Set<OWLAxiom> result = convertExplanation( exps.iterator().next() );
        if( log.isLoggable( Level.FINE ) )
          log.fine( "Cached explanation: " + result );
View Full Code Here
140
141
142
143
144
145
146
147
148
149
   
    KnowledgeBase kb = reasoner.getKB();
    assertTrue(kb.isClass(term("http://example#c")));
   
    // check for complex class that refers to a user-defined datatype
    ATermAppl term = reasoner.term( dataSomeRestriction );
    term = ATermUtils.normalize( term );
    assertTrue( kb.isClass( term ) );   
  }
}
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.