Package org.semanticweb.owlapi.util

Examples of org.semanticweb.owlapi.util.DLExpressivityChecker


        super(o);
    }

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


        super(owlOntologyManager);
    }


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

   * @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

   * @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

    }


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

      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

Related Classes of org.semanticweb.owlapi.util.DLExpressivityChecker

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.