Examples of walkStructure()


Examples of org.semanticweb.owl.util.OWLOntologyWalker.walkStructure()

      dataCell += "data.setCell("+rowCnt+", "+(++colCnt)+", "+ontology.getClassAxioms().size()+", '"+ontology.getClassAxioms().size()+"');\n";
     
      OWLOntologyWalker walker = new OWLOntologyWalker(Collections.singleton(ontology));
      ExistentialAxiomVisitor<OWLObject> myVisitor = new ExistentialAxiomVisitor<OWLObject>();
     
      walker.walkStructure(myVisitor);
     
      this.logger.info("\tsubClass = " + myVisitor.subClassCnt);
      this.logger.info("\tclassAssertAxiom = " + myVisitor.classAssertAxiomCnt);
      this.logger.info("\tentityAnnAxiom = " + myVisitor.entityAnnAxiomCnt);
     
View Full Code Here

Examples of org.semanticweb.owlapi.util.OWLOntologyWalker.walkStructure()

                return "";
            }
        };
        // Now ask the walker to walk over the ontology structure using our
        // visitor instance.
        walker.walkStructure(visitor);
    }

    @Test
    public void testMargherita() throws OWLException {
        OWLOntologyManager m = create();
View Full Code Here

Examples of org.semanticweb.owlapi.util.OWLOntologyWalker.walkStructure()

                return "";
            }
        };
        // Now ask the walker to walk over the ontology structure using our
        // visitor instance.
        walker.walkStructure(visitor);
    }

    /**
     * @throws Exception
     *         exception
View Full Code Here

Examples of org.semanticweb.owlapi.util.OWLOntologyWalker.walkStructure()

        Set<OWLProfileViolation> violations = new HashSet<OWLProfileViolation>();
        violations.addAll(report.getViolations());

        OWLOntologyWalker walker = new OWLOntologyWalker(ontology.getImportsClosure());
        OWL2RLObjectVisitor visitor = new OWL2RLObjectVisitor(walker);
        walker.walkStructure(visitor);
        violations.addAll(visitor.getProfileViolations());
        return new OWLProfileReport(this, violations);
    }

View Full Code Here

Examples of org.semanticweb.owlapi.util.OWLOntologyWalker.walkStructure()

        Set<OWLProfileViolation> violations = new HashSet<OWLProfileViolation>();
        violations.addAll(report.getViolations());

        OWLOntologyWalker walker = new OWLOntologyWalker(ontology.getImportsClosure());
        OWL2QLObjectVisitor visitor = new OWL2QLObjectVisitor(walker);
        walker.walkStructure(visitor);
        violations.addAll(visitor.getProfileViolations());
        return new OWLProfileReport(this, violations);
    }

    private class OWL2QLObjectVisitor extends OWLOntologyWalkerVisitor {
View Full Code Here

Examples of org.semanticweb.owlapi.util.OWLOntologyWalker.walkStructure()

     *         ontology is within this profile.
     */
    public OWLProfileReport checkOntology(OWLOntology ontology) {
        OWLOntologyWalker walker = new OWLOntologyWalker(ontology.getImportsClosure());
        OWL2ProfileObjectWalker visitor = new OWL2ProfileObjectWalker(walker, ontology.getOWLOntologyManager());
        walker.walkStructure(visitor);
        Set<OWLProfileViolation> pv = visitor.getProfileViolations();
        return new OWLProfileReport(this, pv);
    }

    private class OWL2ProfileObjectWalker extends OWLOntologyWalkerVisitor {
View Full Code Here

Examples of org.semanticweb.owlapi.util.OWLOntologyWalker.walkStructure()

        Set<OWLProfileViolation> violations = new HashSet<OWLProfileViolation>();
        violations.addAll(report.getViolations());

        OWLOntologyWalker walker = new OWLOntologyWalker(ontology.getImportsClosure());
        OWL2RLObjectVisitor visitor = new OWL2RLObjectVisitor(walker);
        walker.walkStructure(visitor);
        violations.addAll(visitor.getProfileViolations());
        return new OWLProfileReport(this, violations);
    }

View Full Code Here

Examples of org.semanticweb.owlapi.util.OWLOntologyWalker.walkStructure()

        Set<OWLProfileViolation> violations = new HashSet<OWLProfileViolation>();
        violations.addAll(report.getViolations());

        OWLOntologyWalker walker = new OWLOntologyWalker(ontology.getImportsClosure());
        OWL2QLObjectVisitor visitor = new OWL2QLObjectVisitor(walker);
        walker.walkStructure(visitor);
        violations.addAll(visitor.getProfileViolations());
        return new OWLProfileReport(this, violations);
    }
   
    private class OWL2QLObjectVisitor extends OWLOntologyWalkerVisitor<Object> {
View Full Code Here

Examples of org.semanticweb.owlapi.util.OWLOntologyWalker.walkStructure()

     *         ontology is within this profile.
     */
    public OWLProfileReport checkOntology(OWLOntology ontology) {
        OWLOntologyWalker walker = new OWLOntologyWalker(ontology.getImportsClosure());
        OWL2ProfileObjectWalker visitor = new OWL2ProfileObjectWalker(walker, ontology.getOWLOntologyManager());
        walker.walkStructure(visitor);
        Set<OWLProfileViolation> pv = visitor.getProfileViolations();
        return new OWLProfileReport(this, pv);
    }

    private static class OWL2ProfileObjectWalker extends OWLOntologyWalkerVisitor<Object> {
View Full Code Here

Examples of org.semanticweb.owlapi.util.OWLOntologyWalker.walkStructure()

        OWLProfileReport report = profile.checkOntology(ontology);
        Set<OWLProfileViolation> violations = new HashSet<OWLProfileViolation>();
        violations.addAll(report.getViolations());
        OWLOntologyWalker ontologyWalker = new OWLOntologyWalker(ontology.getImportsClosure());
        OWL2ELProfileObjectVisitor visitor = new OWL2ELProfileObjectVisitor(ontologyWalker, ontology.getOWLOntologyManager());
        ontologyWalker.walkStructure(visitor);
        violations.addAll(visitor.getProfileViolations());
        return new OWLProfileReport(this, violations);
    }

    protected class OWL2ELProfileObjectVisitor extends OWLOntologyWalkerVisitor<Object> {
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.