Package com.clarkparsia.pellint.model

Examples of com.clarkparsia.pellint.model.Lint

209
210
211
212
213
214
215
216
217
218
219
  public static OntologyLints lint(List<AxiomLintPattern> axiomLintPatterns,
      List<OntologyLintPattern> ontologyLintPatterns, OWLOntology ontology) {
    OntologyLints ontologyLints = new OntologyLints( ontology );
    for( OWLAxiom axiom : ontology.getAxioms() ) {
      for( AxiomLintPattern pattern : axiomLintPatterns ) {
        Lint lint = pattern.match( ontology, axiom );
        if( lint != null ) {
          ontologyLints.addLint( pattern, lint );
        }
      }
    }
View Full Code Here
71
72
73
74
75
76
77
78
79
80
81
82
83
84
        cardinalityRestriction = owlDesc;
      }
    }
   
    if (namedClass != null && cardinalityRestriction != null) {
      Lint lint = makeLint();
      lint.addParticipatingClass(namedClass);
      lint.addParticipatingAxiom(axiom);
      OWLAxiom newAxiom = OWL.subClassOf(namedClass, cardinalityRestriction);
      LintFixer fixer = new LintFixer(axiom, newAxiom);
      lint.setLintFixer(fixer);
      setLint(lint);
    }
  }
View Full Code Here
84
85
86
87
88
89
90
91
92
93
94
  private void visitNaryClassAxiom(OWLClassAxiom axiom) {
    m_Visitor.reset();
    axiom.accept(m_Visitor);
    int disjunctionSize = m_Visitor.getDisjunctionSize();
    if (disjunctionSize > m_MaxAllowed) {
      Lint lint = makeLint();
      lint.addParticipatingAxiom(axiom);
      lint.setSeverity(new Severity(disjunctionSize));
      setLint(lint);
    }
  }
View Full Code Here
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
      }
     
      if (badEquivalents.isEmpty()) continue;
      if (badEquivalents.size() == 1 && subclasses.isEmpty()) continue;
     
      Lint lint = new Lint(this, ontology);
      lint.addParticipatingClass(owlClass);
      lint.addAllParticipatingAxioms(badEquivalents);
      lint.addAllParticipatingAxioms(subclasses);
      Set<OWLClassAxiom> fixedAxioms = fixEquivalentAxioms(owlClass, badEquivalents);
      LintFixer fixer = new LintFixer(badEquivalents, fixedAxioms);
      lint.setLintFixer(fixer);
      allLints.add(lint);
    }
   
    return allLints;
  }
View Full Code Here
219
220
221
222
223
224
225
226
227
228
229
230
      for (OWLClass owlClass : connectedSet) {
        estimatedTreeSize *= subgraph.outDegreeOf(owlClass);
      }
     
      if (estimatedTreeSize > m_MaxTreeSize) {
        Lint lint = m_LintFactory.make();
        lint.addAllParticipatingClasses(connectedSet);
        lint.setSeverity(new Severity(estimatedTreeSize));
        m_AccumulatedLints.add(lint);
      }
    }
  }
View Full Code Here
257
258
259
260
261
262
263
264
265
266
267
268
      }
     
      estimatedTreeSize *= totalInvolvedIndividuals;
     
      if (estimatedTreeSize > m_MaxTreeSize) {
        Lint lint = m_LintFactory.make();
        lint.addAllParticipatingClasses(connectedSet);
        lint.setSeverity(new Severity(estimatedTreeSize));
        m_AccumulatedLints.add(lint);
      }
    }
  }
View Full Code Here
330
331
332
333
334
335
336
337
338
339
340
        }
      }
    }

    if (estimatedTotalTreeSize > m_MaxTreeSize) {
      Lint lint = m_LintFactory.make();
      lint.addAllParticipatingClasses(participatingClasses);
      lint.setSeverity(new Severity(estimatedTotalTreeSize));
      m_AccumulatedLints.add(lint);
    }
  }
View Full Code Here
65
66
67
68
69
70
71
72
73
74
75
      totalEstimatedMemory += estimateMemoryConcumption(axiom.getIndividuals().size());
    }
   
    List<Lint> allLints = new ArrayList<Lint>();
    if (totalEstimatedMemory > estimateMemoryConcumption(m_MaxAllowed)) {
      Lint lint = new Lint(this, ontology);
      lint.setSeverity(new Severity(totalEstimatedMemory));
      allLints.add(lint); 
    }
    return allLints;
  }
View Full Code Here
57
58
59
60
61
62
63
64
65
66
        complexCount++;
      }
    }
   
    if (complexCount > 1) {
      Lint lint = makeLint();
      lint.addParticipatingAxiom(axiom);
      setLint(lint);
    }
  }
View Full Code Here
65
66
67
68
69
70
71
72
73
74
    }
  }
 
  public void visit(OWLSubClassOfAxiom axiom) {
    if (OWLUtil.isComplex(axiom.getSubClass())) {
      Lint lint = makeLint();
      lint.addParticipatingAxiom(axiom);
      setLint(lint);     
    }   
  }
View Full Code Here
TOP

Related Classes of com.clarkparsia.pellint.model.Lint

  • com.clarkparsia.pellint.format.SimpleLintFormat
  • com.clarkparsia.pellint.lintpattern.axiom.AxiomLintPattern
  • com.clarkparsia.pellint.lintpattern.axiom.EquivalentToAllValuePattern
  • com.clarkparsia.pellint.lintpattern.axiom.EquivalentToComplementPattern
  • com.clarkparsia.pellint.lintpattern.axiom.EquivalentToMaxCardinalityPattern
  • com.clarkparsia.pellint.lintpattern.axiom.EquivalentToTopPattern
  • com.clarkparsia.pellint.lintpattern.axiom.GCIPattern
  • com.clarkparsia.pellint.lintpattern.axiom.LargeCardinalityPattern
  • com.clarkparsia.pellint.lintpattern.axiom.LargeDisjunctionPattern
  • com.clarkparsia.pellint.lintpattern.ontology.EquivalentAndSubclassAxiomPattern
    • 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.