Class ReportOntologyLatticeStatus


  • public class ReportOntologyLatticeStatus
    extends java.lang.Object
    A static class that provides a method to display a message and highlight concepts in an ontology model based on whether the ontology is a lattice.
    Since:
    Ptolemy II 10.0
    Version:
    $Id$
    Author:
    Charles Shelton
    Pt.AcceptedRating:
    Red (cshelton)
    Pt.ProposedRating:
    Red (cshelton)
    • Constructor Detail

      • ReportOntologyLatticeStatus

        public ReportOntologyLatticeStatus()
    • Method Detail

      • showStatusAndHighlightCounterExample

        public static void showStatusAndHighlightCounterExample​(Ontology ontologyModel,
                                                                OntologyGraphController modelGraphController)
        Show a status message depending on whether the given ontology model is a valid lattice, and if the isAcceptable parameters form acceptance criteria. Also highlight the concepts in the ontology that demonstrate the counterexample if the ontology is not a lattice, or the non-acceptable concepts do not form acceptance criteria.
        Parameters:
        ontologyModel - The specified ontology model.
        modelGraphController - The graph controller for the ontology model.