Examples of org.semanticweb.owlapi.model.RemoveAxiom

org.semanticweb.owlapi.model.RemoveAxiom
Represents an ontology change were an axiom will be removed from an ontology if the change is applied to an ontology. @author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.0.0


      // first remove a random axiom
      List<OWLAxiom> axiomsToRemove = new ArrayList<OWLAxiom>( TestUtils.selectRandomAxioms( ontology, 1 ) );


      for( OWLAxiom axiomToRemove : axiomsToRemove ) {
        OWL.manager.applyChange( new RemoveAxiom( modular.getRootOntology(), axiomToRemove) );
      }


      modular.classify();


      PelletReasoner expected = PelletReasonerFactory.getInstance().createReasoner( modular.getRootOntology() );

View Full Code Here


      // first remove a random axiom
      List<OWLAxiom> axiomsToRemove = new ArrayList<OWLAxiom>( TestUtils.selectRandomAxioms( ontology, 1 ) );


      for( OWLAxiom axiomToRemove : axiomsToRemove ) {
        OWL.manager.applyChange( new RemoveAxiom(ontology, axiomToRemove ) );
      }


      modular.classify();


      PelletReasoner expected = PelletReasonerFactory.getInstance().createReasoner( ontology );

View Full Code Here

      // perform changes while the classifier is stored on disk
      // first remove a random axiom
      List<OWLAxiom> axiomsToRemove = new ArrayList<OWLAxiom>( TestUtils.selectRandomAxioms( ontology, 1 ) );


      for( OWLAxiom axiomToRemove : axiomsToRemove ) {
        OWL.manager.applyChange( new RemoveAxiom(ontology, axiomToRemove ) );
      }


      FileInputStream fis = new FileInputStream( testFile );


      modular = IncrementalClassifierPersistence.load( fis, ontology );

View Full Code Here

0 1 2 3 4 5 6

TOP

Related Classes of org.semanticweb.owlapi.model.RemoveAxiom

com.clarkparsia.modularity.OntologyDiff

com.clarkparsia.modularity.test.PersistenceUpdatesTest

com.clarkparsia.modularity.test.TestUtils

com.clarkparsia.owlapi.explanation.util.OntologyUtils

com.clarkparsia.owlapiv3.OntologyUtils

com.clarkparsia.pellet.test.owlapi.AbstractOWLAPITests

com.clarkparsia.pellint.model.LintFixer

edu.stanford.bmir.protege.web.server.mansyntax.OntologyAxiomPairChangeGenerator

org.coode.owlapi.rdfxml.parser.TypeAxiomHandler

org.mindswap.pellet.examples.IncrementalClassifierExample

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.