Package com.clarkparsia.pellint.model

Examples of com.clarkparsia.pellint.model.Lint

64
65
66
67
68
69
70
71
72
73
    assertEquals(0, lints.size());
   
    addAxiom(OWL.differentFrom(m_Ind[3], m_Ind[4]));
    lints = m_Pattern.match(m_Ontology);
    assertEquals(1, lints.size());
    Lint lint = lints.get(0);
    assertNull(lint.getLintFixer());
    assertEquals(6 + 2, lint.getSeverity().doubleValue(), DOUBLE_DELTA);
    assertSame(m_Ontology, lint.getParticipatingOntology());
  }
View Full Code Here
91
92
93
94
95
96
97
98
99
100
    assertEquals(0, lints.size());
   
    m_Pattern.setMaxTreeSize(EXPECTED_SIZE - 1);
    lints = m_Pattern.match(m_Ontology);
    assertEquals(1, lints.size());
    Lint lint = lints.get(0);
    assertEquals(EXPECTED_SIZE, lint.getSeverity().doubleValue(), DOUBLE_DELTA);
    assertEquals(5, lint.getParticipatingClasses().size());
    assertSame(m_Ontology, lint.getParticipatingOntology());
  }
View Full Code Here
148
149
150
151
152
153
154
155
156
   
    final int EXPECTED_SIZE = 1 * 5;
    m_Pattern.setMaxTreeSize(EXPECTED_SIZE - 1);
    List<Lint> lints = m_Pattern.match(m_Ontology);
    assertEquals(1, lints.size());
    Lint lint = lints.get(0);
    assertEquals(EXPECTED_SIZE, lint.getSeverity().doubleValue(), DOUBLE_DELTA);
    assertEquals(3, lint.getParticipatingClasses().size());
  }
View Full Code Here
168
169
170
171
172
173
174
175
176
   
    final int EXPECTED_SIZE = 3 + 3 + 4;
    m_Pattern.setMaxTreeSize(EXPECTED_SIZE - 1);
    List<Lint> lints = m_Pattern.match(m_Ontology);
    assertEquals(1, lints.size());
    Lint lint = lints.get(0);
    assertEquals(EXPECTED_SIZE, lint.getSeverity().doubleValue(), DOUBLE_DELTA);
    assertEquals(3, lint.getParticipatingClasses().size());
  }
View Full Code Here
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
    addAxiom(OWL.equivalentClasses(CollectionUtil.<OWLClassExpression>asSet(m_Cls[0], m_Cls[3], m_Cls[4])));
   
    List<Lint> lints = m_Pattern.match(m_Ontology);
    assertEquals(1, lints.size());
   
    Lint lint = lints.get(0);
    Set<OWLClass> participatingClasses = lint.getParticipatingClasses();
    assertEquals(1, participatingClasses.size());
    assertTrue(participatingClasses.contains(m_Cls[0]));
   
    LintFixer fixer = lint.getLintFixer();
    Set<? extends OWLAxiom> axiomsToRemove = fixer.getAxiomsToRemove();
    Set<? extends OWLAxiom> axiomsToAdd = fixer.getAxiomsToAdd();
    assertEquals(1, axiomsToRemove.size());
    assertTrue(axiomsToRemove.contains(badAxiom));
    assertEquals(1, axiomsToAdd.size());
    assertTrue(axiomsToAdd.contains(fixedAxiom));
   
    assertNull(lint.getSeverity());
    assertSame(m_Ontology, lint.getParticipatingOntology());
  }
View Full Code Here
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
    addAxiom(badAxiom2);
   
    List<Lint> lints = m_Pattern.match(m_Ontology);
    assertEquals(1, lints.size());
   
    Lint lint = lints.get(0);
    Set<OWLClass> participatingClasses = lint.getParticipatingClasses();
    assertEquals(1, participatingClasses.size());
    assertTrue(participatingClasses.contains(m_Cls[0]));
   
    LintFixer fixer = lint.getLintFixer();
    Set<? extends OWLAxiom> axiomsToRemove = fixer.getAxiomsToRemove();
    Set<? extends OWLAxiom> axiomsToAdd = fixer.getAxiomsToAdd();
    assertEquals(2, axiomsToRemove.size());
    assertTrue(axiomsToRemove.contains(badAxiom1));
    assertTrue(axiomsToRemove.contains(badAxiom2));
View Full Code Here
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
  }
 
  @Test
  public void testSimple() throws OWLException {
    OWLAxiom axiom = OWL.equivalentClasses(CollectionUtil.<OWLClassExpression>asSet(OWL.Thing, m_Cls[0], m_Cls[1]));
    Lint lint = m_Pattern.match(m_Ontology, axiom);
    assertNotNull(lint);
   
    LintFixer fixer = lint.getLintFixer();
    assertTrue(fixer.getAxiomsToRemove().contains(axiom));
    assertTrue(fixer.getAxiomsToAdd().isEmpty());
   
    assertNull(lint.getSeverity());
    assertSame(m_Ontology, lint.getParticipatingOntology());
  }
View Full Code Here
61
62
63
64
65
66
67
68
69
70
71
72
73
 
  @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
82
83
84
85
86
87
88
89
90
91
 
  @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
57
58
59
60
61
62
63
64
65
66
67
68
69
  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
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.