Package com.clarkparsia.pellint.model

Examples of com.clarkparsia.pellint.model.LintFixer

60
61
62
63
64
65
66
67
68
69
70
71
  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
64
65
66
67
68
69
70
71
72
73
74
75
76
   
    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
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.