Package com.clarkparsia.pellint.model

Examples of com.clarkparsia.pellint.model.Lint

60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
 
  @Test
  public void testOne() throws OWLException {
    OWLAxiom axiom = OWL.equivalentClasses(m_Cls[0], m_P0AllC0);
   
    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
57
58
59
60
61
62
63
64
65
66
67
68
69
  public void testOneMax() throws OWLException {
    m_Pattern.setMaxAllowed(2);

    OWLClassExpression maxCard = OWL.max(m_Pro[0], 3);
    OWLAxiom axiom = OWL.disjointClasses(m_Cls[0], maxCard);
    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.