Examples of org.semanticweb.owlapi.model.OWLAxiomVisitor

org.semanticweb.owlapi.model.OWLAxiomVisitor
kipedia.org/wiki/Visitor_pattern">Visitor Patterns) @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


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




        public void visit(RemoveAxiom change) {
            OWLAxiom axiom = change.getAxiom();
            if (containsAxiom(axiom)) {
              OWLAxiomVisitor changeVisitor = getAxiomVisitor(false);
                
                axiom.accept(changeVisitor);
                appliedChanges.add(change);
                handleAxiomRemoved(axiom);
            }

View Full Code Here




        public void visit(AddAxiom change) {
            OWLAxiom axiom = change.getAxiom();
            if (!containsAxiom(axiom)) {
              OWLAxiomVisitor changeVisitor = getAxiomVisitor(true);
                axiom.accept(changeVisitor);
                appliedChanges.add(change);
                handleAxiomAdded(axiom);
            }
        }

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.model.OWLAxiomVisitor

com.clarkparsia.owlapi.explanation.BlackBoxExplanation

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

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

uk.ac.manchester.cs.owl.owlapi.OWLOntologyImpl$OWLOntologyChangeFilter

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.