Examples of org.semanticweb.owlapi.model.OWLOntologyManager.addAxiom()

Class org.semanticweb.owlapi.model.OWLOntologyManager

Examples of org.semanticweb.owlapi.model.OWLOntologyManager.addAxiom()

org.semanticweb.owlapi.model.OWLOntologyManager.addAxiom()
A convenience method that adds a single axiom to an ontology. The appropriate AddAxiom change object is automatically generated. @param ont The ontology to add the axiom to. @param axiom The axiom to be added @return A list of ontology changes that represent the changes that actually took place. @throws OWLOntologyChangeException if there was a problem adding the axiom

                .getOWLClassAssertionAxiom(person, mary);
        // We need to add the class assertion to the ontology that we want
        // specify that :Mary is a :Person
        OWLOntology ontology = manager.createOntology(IRI.create(base));
        // Add the class assertion
        manager.addAxiom(ontology, classAssertion);
        // Dump the ontology to stdout
        manager.saveOntology(ontology, new StreamDocumentTarget(
                new ByteArrayOutputStream()));
    }

View Full Code Here

        OWLClassAssertionAxiom ax = dataFactory.getOWLClassAssertionAxiom(
                personClass, matthew);
        // Add this axiom to our ontology. We can use a short cut method -
        // instead of creating the AddAxiom change ourselves, it will be created
        // automatically and the change applied
        man.addAxiom(ont, ax);
        // Save our ontology
        man.saveOntology(ont, IRI.create("file:/tmp/example.owl"));
    }


    /**

View Full Code Here


    private void roundTrip(@Nonnull OWLDocumentFormat ontologyFormat)
            throws OWLOntologyCreationException, OWLOntologyStorageException {
        OWLOntologyManager man = OWLManager.createOWLOntologyManager();
        OWLOntology ont = man.createOntology();
        man.addAxiom(ont, rule);
        StringDocumentTarget documentTarget = new StringDocumentTarget();
        man.saveOntology(ont, ontologyFormat, documentTarget);
        OWLOntologyManager man2 = OWLManager.createOWLOntologyManager();
        OWLOntology ont2 = man2
                .loadOntologyFromOntologyDocument(new StringDocumentSource(

View Full Code Here

    public void shouldMergeOntologies() throws Exception {
        // Just load two arbitrary ontologies for the purposes of this example
        OWLOntologyManager man = OWLManager.createOWLOntologyManager();
        loadPizza(man);
        OWLOntology o = man.createOntology(IRI.create("urn:test"));
        man.addAxiom(
                o,
                man.getOWLDataFactory().getOWLDeclarationAxiom(
                        man.getOWLDataFactory().getOWLClass(
                                IRI.create("urn:testclass"))));
        // Create our ontology merger

View Full Code Here

        OWLClass clsE = getClsE();
        OWLClass clsF = getClsF();
        OWLClass clsG = getClsG();
        OWLClass clsK = getClsK();
        OWLOntologyManager man = o.getOWLOntologyManager();
        man.addAxiom(o, SubClassOf(clsG, OWLThing()));
        man.addAxiom(o, SubClassOf(OWLThing(), clsG));
        man.addAxiom(o, EquivalentClasses(clsA, clsB));
        man.addAxiom(o, SubClassOf(clsC, clsB));
        man.addAxiom(o, SubClassOf(clsD, clsA));
        man.addAxiom(o, SubClassOf(clsD, clsF));

View Full Code Here

        OWLClass clsF = getClsF();
        OWLClass clsG = getClsG();
        OWLClass clsK = getClsK();
        OWLOntologyManager man = o.getOWLOntologyManager();
        man.addAxiom(o, SubClassOf(clsG, OWLThing()));
        man.addAxiom(o, SubClassOf(OWLThing(), clsG));
        man.addAxiom(o, EquivalentClasses(clsA, clsB));
        man.addAxiom(o, SubClassOf(clsC, clsB));
        man.addAxiom(o, SubClassOf(clsD, clsA));
        man.addAxiom(o, SubClassOf(clsD, clsF));
        man.addAxiom(o, SubClassOf(clsF, clsD));

View Full Code Here

        OWLClass clsG = getClsG();
        OWLClass clsK = getClsK();
        OWLOntologyManager man = o.getOWLOntologyManager();
        man.addAxiom(o, SubClassOf(clsG, OWLThing()));
        man.addAxiom(o, SubClassOf(OWLThing(), clsG));
        man.addAxiom(o, EquivalentClasses(clsA, clsB));
        man.addAxiom(o, SubClassOf(clsC, clsB));
        man.addAxiom(o, SubClassOf(clsD, clsA));
        man.addAxiom(o, SubClassOf(clsD, clsF));
        man.addAxiom(o, SubClassOf(clsF, clsD));
        man.addAxiom(o, SubClassOf(clsE, clsC));

View Full Code Here

        OWLClass clsK = getClsK();
        OWLOntologyManager man = o.getOWLOntologyManager();
        man.addAxiom(o, SubClassOf(clsG, OWLThing()));
        man.addAxiom(o, SubClassOf(OWLThing(), clsG));
        man.addAxiom(o, EquivalentClasses(clsA, clsB));
        man.addAxiom(o, SubClassOf(clsC, clsB));
        man.addAxiom(o, SubClassOf(clsD, clsA));
        man.addAxiom(o, SubClassOf(clsD, clsF));
        man.addAxiom(o, SubClassOf(clsF, clsD));
        man.addAxiom(o, SubClassOf(clsE, clsC));
        man.addAxiom(o, SubClassOf(clsK, clsD));

View Full Code Here

        OWLOntologyManager man = o.getOWLOntologyManager();
        man.addAxiom(o, SubClassOf(clsG, OWLThing()));
        man.addAxiom(o, SubClassOf(OWLThing(), clsG));
        man.addAxiom(o, EquivalentClasses(clsA, clsB));
        man.addAxiom(o, SubClassOf(clsC, clsB));
        man.addAxiom(o, SubClassOf(clsD, clsA));
        man.addAxiom(o, SubClassOf(clsD, clsF));
        man.addAxiom(o, SubClassOf(clsF, clsD));
        man.addAxiom(o, SubClassOf(clsE, clsC));
        man.addAxiom(o, SubClassOf(clsK, clsD));
        man.addAxiom(o, EquivalentClasses(clsK, OWLNothing()));

View Full Code Here

        man.addAxiom(o, SubClassOf(clsG, OWLThing()));
        man.addAxiom(o, SubClassOf(OWLThing(), clsG));
        man.addAxiom(o, EquivalentClasses(clsA, clsB));
        man.addAxiom(o, SubClassOf(clsC, clsB));
        man.addAxiom(o, SubClassOf(clsD, clsA));
        man.addAxiom(o, SubClassOf(clsD, clsF));
        man.addAxiom(o, SubClassOf(clsF, clsD));
        man.addAxiom(o, SubClassOf(clsE, clsC));
        man.addAxiom(o, SubClassOf(clsK, clsD));
        man.addAxiom(o, EquivalentClasses(clsK, OWLNothing()));
        OWLObjectPropertyExpression propP = getPropP();

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

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.