Package com.clarkparsia.pellint.model

Examples of com.clarkparsia.pellint.model.Lint

56
57
58
59
60
61
62
63
64
65
66
67
68
 
  @Test
  public void testComplexEquivalence() throws OWLException {
    OWLAxiom axiom = OWL.equivalentClasses(CollectionUtil.<OWLClassExpression>asSet(m_Cls[0], m_P0AllC0, m_P0SomeC1));
   
    Lint lint = m_Pattern.match(m_Ontology, axiom);
    assertNotNull(lint);
    assertTrue(lint.getParticipatingClasses().isEmpty());
    assertTrue(lint.getParticipatingAxioms().contains(axiom));
   
    assertNull(lint.getSeverity());
    assertSame(m_Ontology, lint.getParticipatingOntology());
  }
View Full Code Here
77
78
79
80
81
82
83
84
85
86
 
  @Test
  public void testGCI() throws OWLException {
    OWLAxiom axiom = OWL.subClassOf(m_P0AllC0, m_Cls[1]);
   
    Lint lint = m_Pattern.match(m_Ontology, axiom);
    assertNotNull(lint);
    assertTrue(lint.getParticipatingClasses().isEmpty());
    assertTrue(lint.getParticipatingAxioms().contains(axiom));
  }
View Full Code Here
52
53
54
55
56
57
58
59
60
61
62
63
64
  public void testSimple() throws OWLException {
    m_Pattern.setMaxAllowed(2);

    OWLClassExpression union = OWL.or(m_Cls[1], m_Cls[2], m_Cls[3]);
    OWLAxiom axiom = OWL.subClassOf(m_Cls[0], union);
    Lint lint = m_Pattern.match(m_Ontology, axiom);
    assertNotNull(lint);
    assertSame(m_Pattern, lint.getPattern());
    assertEquals(1, lint.getParticipatingAxioms().size());
    assertNull(lint.getLintFixer());
    assertEquals(3.0, lint.getSeverity().doubleValue(), DOUBLE_DELTA);
    assertSame(m_Ontology, lint.getParticipatingOntology());
  }
View Full Code Here
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
 
  @Test
  public void testOne() throws OWLException {
    OWLAxiom axiom = OWL.equivalentClasses(m_Cls[0], m_P0AllC0);
   
    Lint lint = m_Pattern.match(m_Ontology, axiom);
    assertNotNull(lint);
    assertTrue(lint.getParticipatingClasses().contains(m_Cls[0]));
   
    LintFixer fixer = lint.getLintFixer();
    assertTrue(fixer.getAxiomsToRemove().contains(axiom));
    OWLAxiom expectedAxiom = OWL.subClassOf(m_Cls[0], m_P0AllC0);
    assertTrue(fixer.getAxiomsToAdd().contains(expectedAxiom));
   
    assertNull(lint.getSeverity());
    assertSame(m_Ontology, lint.getParticipatingOntology());
  }
View Full Code Here
52
53
54
55
56
57
58
59
60
61
62
63
64
  public void testOneMax() throws OWLException {
    m_Pattern.setMaxAllowed(2);

    OWLClassExpression maxCard = OWL.max(m_Pro[0], 3);
    OWLAxiom axiom = OWL.disjointClasses(m_Cls[0], maxCard);
    Lint lint = m_Pattern.match(m_Ontology, axiom);
    assertNotNull(lint);
    assertSame(m_Pattern, lint.getPattern());
    assertEquals(1, lint.getParticipatingAxioms().size());
    assertNull(lint.getLintFixer());
    assertEquals(3.0, lint.getSeverity().doubleValue(), DOUBLE_DELTA);
    assertSame(m_Ontology, lint.getParticipatingOntology());
  }
View Full Code Here
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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
  @Test
  public void testComplementOfItself() throws OWLException {
    OWLClassExpression comp = OWL.not(m_Cls[0]);
    OWLAxiom axiom = OWL.equivalentClasses(m_Cls[0], comp);
   
    Lint lint = m_Pattern.match(m_Ontology, axiom);
    assertNotNull(lint);
    assertTrue(lint.getParticipatingClasses().contains(m_Cls[0]));
   
    LintFixer fixer = lint.getLintFixer();
    assertTrue(fixer.getAxiomsToRemove().contains(axiom));
    OWLAxiom expectedAxiom = OWL.subClassOf(m_Cls[0], comp);
    assertTrue(fixer.getAxiomsToAdd().contains(expectedAxiom));

    assertNull(lint.getSeverity());
    assertSame(m_Ontology, lint.getParticipatingOntology());
  }
View Full Code Here
83
84
85
86
87
88
89
90
91
92
93
94
95
96
 
  @Test
  public void testComplementOfOthers() throws OWLException {
    OWLClassExpression comp = OWL.not(OWL.or(m_Cls[1], m_Cls[2]));
    OWLAxiom axiom = OWL.equivalentClasses(m_Cls[0], comp);
    Lint lint = m_Pattern.match(m_Ontology, axiom);
    assertNotNull(lint);
    assertTrue(lint.getParticipatingClasses().contains(m_Cls[0]));
   
    LintFixer fixer = lint.getLintFixer();
    assertTrue(fixer.getAxiomsToRemove().contains(axiom));
    OWLAxiom expectedAxiom = OWL.subClassOf(m_Cls[0], comp);
    assertTrue(fixer.getAxiomsToAdd().contains(expectedAxiom));
  }
View Full Code Here
39
40
41
42
43
44
45
46
47
48
    m_MockPattern = new MockLintPattern();
  }
 
  @Test
  public void testWithoutFixer() throws OWLOntologyChangeException {
    Lint lint = new Lint(m_MockPattern, m_Ontology);
    assertSame(m_MockPattern, lint.getPattern());
    assertSame(m_Ontology, lint.getParticipatingOntology());
    assertFalse(lint.applyFix(m_Manager));
  }
View Full Code Here
47
48
49
50
51
52
53
54
55
56
57
    assertFalse(lint.applyFix(m_Manager));
  }

  @Test
  public void testWithFixer() throws OWLOntologyChangeException {
    Lint lint = new Lint(m_MockPattern, m_Ontology);
    MockLintFixer fixer = new MockLintFixer();
    lint.setLintFixer(fixer);
    assertTrue(lint.applyFix(m_Manager));
    assertTrue(fixer.applyCalled);
  }
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.