Examples of com.clarkparsia.pellint.model.LintFixer.apply()

Class com.clarkparsia.pellint.model.LintFixer

Examples of com.clarkparsia.pellint.model.LintFixer.apply()

com.clarkparsia.pellint.model.LintFixer.apply()
Replace the detected OWLAxioms with a new set of OWLAxioms, and apply the change to the given OWLOntology using the given OWLOntologyManager. @param manager the owl ontology manager @param ontology the ontology to fix @return true if:
1. All the OWLAxioms that are about to be removed, do exist in the given OWLOntology; and
2. All the changes were successfully applied.
Otherwise returns false. @throws org.semanticweb.owlapi.model.OWLOntologyChangeException if there is an error applying a fix

    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

    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

    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

    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

    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

    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

TOP

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.