Package com.clarkparsia.pellint.model

Examples of com.clarkparsia.pellint.model.LintFixer

56
57
58
59
60
61
62
63
64
65
66
67
  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
60
61
62
63
64
65
66
67
68
69
70
71
72
   
    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
51
52
53
54
55
56
57
58
59
60
61
62
    addAxiom(m_Axioms[0]);
    addAxiom(m_Axioms[1]);
   
    Set<OWLAxiom> axiomsToRemove = CollectionUtil.asSet(m_Axioms[0], m_Axioms[1]);
    Set<OWLAxiom> axiomsToAdd = CollectionUtil.asSet(m_Axioms[2]);
    LintFixer fixer = new LintFixer(axiomsToRemove, axiomsToAdd);
    assertTrue(fixer.apply(m_Manager, m_Ontology));
   
    Set<OWLAxiom> axioms = m_Ontology.getAxioms();
    assertEquals(1, axioms.size());
    assertTrue(axioms.contains(m_Axioms[2]));
  }
View Full Code Here
65
66
67
68
69
70
71
72
73
74
75
76
  public void testOldAxiomsDontExist() throws OWLException {
    addAxiom(m_Axioms[0]);
   
    Set<OWLAxiom> axiomsToRemove = CollectionUtil.asSet(m_Axioms[0], m_Axioms[1]);
    Set<OWLAxiom> axiomsToAdd = CollectionUtil.asSet(m_Axioms[2]);
    LintFixer fixer = new LintFixer(axiomsToRemove, axiomsToAdd);
    assertFalse(fixer.apply(m_Manager, m_Ontology));
   
    Set<OWLAxiom> axioms = m_Ontology.getAxioms();
    assertEquals(1, axioms.size());
    assertTrue(axioms.contains(m_Axioms[0]));
  }
View Full Code Here
81
82
83
84
85
86
87
88
89
90
91
92
    addAxiom(m_Axioms[1]);
    addAxiom(m_Axioms[2]);
   
    Set<OWLAxiom> axiomsToRemove = CollectionUtil.asSet(m_Axioms[0], m_Axioms[1]);
    Set<OWLAxiom> axiomsToAdd = CollectionUtil.asSet(m_Axioms[2]);
    LintFixer fixer = new LintFixer(axiomsToRemove, axiomsToAdd);
    assertTrue(fixer.apply(m_Manager, m_Ontology));
   
    Set<OWLAxiom> axioms = m_Ontology.getAxioms();
    assertEquals(1, axioms.size());
    assertTrue(axioms.contains(m_Axioms[2]));
  }
View Full Code Here
70
71
72
73
74
75
76
77
78
79
80
81
82
   
    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
87
88
89
90
91
92
93
94
95
96
    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
97
98
99
100
101
102
103
104
105
106
107
108
109
    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));
   
View Full Code Here
122
123
124
125
126
127
128
129
130
131
132
133
134
    OWLAxiom fixedAxiom2 = OWL.subClassOf(m_Cls[0], OWL.and(restOf));
           
    List<Lint> lints = m_Pattern.match(m_Ontology);
    assertEquals(1, lints.size());
   
    LintFixer fixer = lints.get(0).getLintFixer();
    Set<? extends OWLAxiom> axiomsToRemove = fixer.getAxiomsToRemove();
    Set<? extends OWLAxiom> axiomsToAdd = fixer.getAxiomsToAdd();
    assertEquals(1, axiomsToRemove.size());
    assertTrue(axiomsToRemove.contains(badAxiom));
    assertEquals(2, axiomsToAdd.size());
    assertTrue(axiomsToAdd.contains(fixedAxiom1));
    assertTrue(axiomsToAdd.contains(fixedAxiom2));
View Full Code Here
160
161
162
163
164
165
166
167
168
169
170
171
172
    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));
    assertEquals(2, axiomsToAdd.size());
    assertTrue(axiomsToAdd.contains(fixedAxiom1));
View Full Code Here
TOP

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

  • 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.ontology.EquivalentAndSubclassAxiomPattern
  • com.clarkparsia.pellint.test.lintpattern.axiom.EquivalentToAllValuePatternTest
  • com.clarkparsia.pellint.test.lintpattern.axiom.EquivalentToComplementPatternTest
  • com.clarkparsia.pellint.test.lintpattern.axiom.EquivalentToTopPatternTest
  • com.clarkparsia.pellint.test.lintpattern.ontology.EquivalentAndSubclassAxiomPatternTest
  • com.clarkparsia.pellint.test.model.LintFixerTest
    • 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.