Examples of org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
@author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.0.0

        LOGGER.info("Total number of satisfiability tests performed: {}",
                totalSatTests);
    }


    private void removeDeclarations() {
        OWLAxiomVisitor declarationRemover = new OWLAxiomVisitorAdapter() {


            @Override
            public void visit(OWLDeclarationAxiom axiom) {
                checkNotNull(axiom, "axiom cannot be null");
                debuggingAxioms.remove(axiom);

View Full Code Here

            log.fine("Total number of satisfiability tests performed: " + totalSatTests);
        }
    }


    private void removeDeclarations() {
        OWLAxiomVisitor declarationRemover = new OWLAxiomVisitorAdapter() {
            public void visit(OWLDeclarationAxiom axiom) {
                debuggingAxioms.remove(axiom);
            }
        };
        for (OWLAxiom axiom : debuggingAxioms.toArray(new OWLAxiom[0])) {

View Full Code Here


        /*
         * Scans class assertions and object property values and tries to determine the type of each
         * individual it finds.
         */
        OWLAxiomVisitor scanner = new OWLAxiomVisitorAdapter() {


            /*
             * For a given identifier, returns the array of integers whose value determine the likelihood if
             * the corresponding entity being a library or an ontology. If no such array exists, it is
             * created.

View Full Code Here


        // 0 is for library, 1 is for ontology (more in the future?)
        final int[] pointsFor = new int[] {0, 0};
        final int[] pointsAgainst = new int[] {0, 0};


        OWLAxiomVisitor v = new OWLAxiomVisitorAdapter() {


            @Override
            public void visit(OWLClassAssertionAxiom axiom) {
                if (ind.equals(axiom.getIndividual())) {
                    OWLClassExpression type = axiom.getClassExpression();

View Full Code Here

            log.fine("Total number of satisfiability tests performed: " + totalSatTests);
        }
    }


    private void removeDeclarations() {
        OWLAxiomVisitor declarationRemover = new OWLAxiomVisitorAdapter() {
            @Override
      public void visit(OWLDeclarationAxiom axiom) {
                debuggingAxioms.remove(axiom);
            }
        };

View Full Code Here


    @Override
    protected Set<OWLPropertyDomainAxiom<?>> getAxiomsInOntology(OWLClass subject, OWLOntology ontology) {
        final Set<OWLPropertyDomainAxiom<?>> result = Sets.newHashSet();
        for(OWLAxiom ax : ontology.getReferencingAxioms(subject)) {
            ax.accept(new OWLAxiomVisitorAdapter() {
                @Override
                public void visit(OWLDataPropertyDomainAxiom axiom) {
                    result.add(axiom);
                }

View Full Code Here

            for (OWLOntologyChange chg : changes) {


                final Set<OWLEntity> entities = chg.getSignature();
                Set<OWLEntity> processed = new HashSet<OWLEntity>(entities.size());
                if(chg.isAxiomChange()) {
                    chg.getAxiom().accept(new OWLAxiomVisitorAdapter() {
                        @Override
                        public void visit(OWLAnnotationAssertionAxiom axiom) {
                            if(axiom.getSubject() instanceof IRI) {
                                entities.addAll(project.getRootOntology().getEntitiesInSignature((IRI) axiom.getSubject(), true));
                            }

View Full Code Here

            // Show domains and ranges as well?  (I find this a bit yucky and I don't think we should do this)


            OWLOntology rootOntology = getRootOntology();
            Set<OWLAxiom> references = rootOntology.getReferencingAxioms(entity);
            for(OWLAxiom ref : references) {
                ref.accept(new OWLAxiomVisitorAdapter() {
                    @Override
                    public void visit(OWLDataPropertyDomainAxiom axiom) {
                    }


                    @Override

View Full Code Here


        /*
         * Scans class assertions and object property values and tries to determine the type of each
         * individual it finds.
         */
        OWLAxiomVisitor scanner = new OWLAxiomVisitorAdapter() {


            /*
             * For a given identifier, returns the array of integers whose value determine the likelihood if
             * the corresponding entity being a library or an ontology. If no such array exists, it is
             * created.

View Full Code Here

TOP

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

com.clarkparsia.owlapi.explanation.BlackBoxExplanation

edu.stanford.bmir.protege.web.server.owlapi.GetRelatedPropertiesStrategy

edu.stanford.bmir.protege.web.server.owlapi.WebProtegeBidirectionalShortFormProvider

edu.stanford.bmir.protege.web.server.render.ClassDomainOfSectionRenderer

org.apache.stanbol.ontologymanager.registry.impl.RegistryManagerImpl

org.apache.stanbol.ontologymanager.registry.impl.util.RegistryUtils

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.