Examples of DLExpressivityChecker

Examples of org.semanticweb.owl.util.DLExpressivityChecker

42
43
44
45
46
47
48
49
        super(owlOntologyManager);
    }


    public String recomputeMetric() {
        DLExpressivityChecker checker = new DLExpressivityChecker(getOntologies());
        return checker.getDescriptionLogicName();
    }
View Full Code Here

Examples of org.semanticweb.owlapi.util.DLExpressivityChecker

37
38
39
40
41
42
43
44
45
        super(o);
    }

    @Override
    public String recomputeMetric() {
        DLExpressivityChecker checker = new DLExpressivityChecker(
                getOntologies());
        return checker.getDescriptionLogicName();
    }
View Full Code Here

Examples of org.semanticweb.owlapi.util.DLExpressivityChecker

42
43
44
45
46
47
48
49
        super(owlOntologyManager);
    }


    public String recomputeMetric() {
        DLExpressivityChecker checker = new DLExpressivityChecker(getOntologies());
        return checker.getDescriptionLogicName();
    }
View Full Code Here

Examples of org.semanticweb.owlapi.util.DLExpressivityChecker

87
88
89
90
91
92
93
94
95
96
   * @return the DL Expressivity
   */
  private String getDLExpressivity(){
    HashSet<OWLOntology> set = new HashSet<OWLOntology>();
    set.add(ontology);
    DLExpressivityChecker checker = new DLExpressivityChecker(set);
    return FeaturePara.combineFeatureAndValue(
        FeaturePara.FEATURE_NAMES[FeaturePara.DL_EXPRESSIVITY],
        checker.getDescriptionLogicName());
  }
View Full Code Here

Examples of org.semanticweb.owlapi.util.DLExpressivityChecker

86
87
88
89
90
91
92
93
94
95
   * @return the DL Expressivity
   */
  private String getDLExpressivity(){
    HashSet<OWLOntology> set = new HashSet<OWLOntology>();
    set.add(ontology);
    DLExpressivityChecker checker = new DLExpressivityChecker(set);
    return FeaturePara.combineFeatureAndValue(
        FeaturePara.FEATURE_NAMES[FeaturePara.DL_EXPRESSIVITY],
        checker.getDescriptionLogicName());
  }
View Full Code Here

Examples of org.semanticweb.owlapi.util.DLExpressivityChecker

60
61
62
63
64
65
66
67
    }


    @Override
  public String recomputeMetric() {
        DLExpressivityChecker checker = new DLExpressivityChecker(getOntologies());
        return checker.getDescriptionLogicName();
    }
View Full Code Here

Examples of org.semanticweb.owlapi.util.DLExpressivityChecker

183
184
185
186
187
188
189
190
191
192
193
194
195
      String ontologyLocation = manager.getOntologyDocumentIRI(ontology) != null ? manager.getOntologyDocumentIRI(ontology).toString(): "ontology";
      String ontologyBaseURI = ontology.getOntologyID().getOntologyIRI() != null? ontology.getOntologyID().getOntologyIRI().toQuotedString() : "";
      output("Information about "+ontologyLocation+" ("+ontologyBaseURI+")");
      if(verbose)
        printOntologyHeader(ontology);
      DLExpressivityChecker expressivityChecker = new DLExpressivityChecker(Collections.singleton(ontology));
      output("OWL Profile = "+getProfile(ontology));
      output("DL Expressivity = "+expressivityChecker.getDescriptionLogicName());
      output("Axioms = "+ontology.getAxiomCount());
      output("Logical Axioms = "+ontology.getLogicalAxiomCount());
      output("GCI Axioms = "+ontology.getGeneralClassAxioms().size());
      output("Individuals = "+ontology.getIndividualsInSignature().size());
      output("Classes = "+ontology.getClassesInSignature().size());
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.