Package com.clarkparsia.pellint.model

Examples of com.clarkparsia.pellint.model.LintFixer

75
76
77
78
79
80
81
82
83
84
    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
82
83
84
85
86
87
88
89
90
91
92
      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
75
76
77
78
79
80
81
82
83
84
    if (namedClass != null && all != null) {
      Lint lint = makeLint();
      lint.addParticipatingClass(namedClass);
      lint.addParticipatingAxiom(axiom);
      OWLAxiom newAxiom = OWL.subClassOf(namedClass, all);
      LintFixer fixer = new LintFixer(axiom, newAxiom);
      lint.setLintFixer(fixer);
      setLint(lint);
    }
  }
View Full Code Here
72
73
74
75
76
77
78
79
80
81
    if (namedClass != null && complementOf != null) {
      Lint lint = makeLint();
      lint.addParticipatingClass(namedClass);
      lint.addParticipatingAxiom(axiom);
      OWLAxiom newAxiom = OWL.subClassOf(namedClass, complementOf);
      LintFixer fixer = new LintFixer(axiom, newAxiom);
      lint.setLintFixer(fixer);
      setLint(lint);
    }
  }
View Full Code Here
55
56
57
58
59
60
61
62
63
64
  public void visit(OWLEquivalentClassesAxiom axiom) {
    if (axiom.getClassExpressions().contains(OWL.Thing)) {
      Lint lint = makeLint();
      lint.addParticipatingAxiom(axiom);
      LintFixer fixer = new LintFixer(Collections.singleton(axiom), new HashSet<OWLAxiom>());
      lint.setLintFixer(fixer);
      setLint(lint);
    }
  }
View Full Code Here
48
49
50
51
52
53
54
55
56
57
58
59
    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
62
63
64
65
66
67
68
69
70
71
72
73
  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
78
79
80
81
82
83
84
85
86
87
88
89
    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
66
67
68
69
70
71
72
73
74
75
76
77
78
   
    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
    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
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.