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

    public void testrun() throws Exception {
        OWLOntologyManager m = OWLManager.createOWLOntologyManager();
        m.getIRIMappers().add(new AutoIRIMapper(new File("."), false));
        OWLOntology o = m.loadOntologyFromOntologyDocument(getClass()
                .getResourceAsStream("/pizza.owl"));
        m.addAxiom(o, DF.getOWLDeclarationAxiom(DF.getOWLClass(iri)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLClass(string, prefixmanager)));
        m.addAxiom(o, DF.getOWLEquivalentClassesAxiom(DF.getOWLClass(iri), c));

View Full Code Here

        OWLOntologyManager m = OWLManager.createOWLOntologyManager();
        m.getIRIMappers().add(new AutoIRIMapper(new File("."), false));
        OWLOntology o = m.loadOntologyFromOntologyDocument(getClass()
                .getResourceAsStream("/pizza.owl"));
        m.addAxiom(o, DF.getOWLDeclarationAxiom(DF.getOWLClass(iri)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLClass(string, prefixmanager)));
        m.addAxiom(o, DF.getOWLEquivalentClassesAxiom(DF.getOWLClass(iri), c));
        m.addAxiom(o, DF.getOWLDisjointClassesAxiom(DF.getOWLClass(iri), c));

View Full Code Here

        m.addAxiom(o, DF.getOWLDeclarationAxiom(DF.getOWLClass(iri)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLClass(string, prefixmanager)));
        m.addAxiom(o, DF.getOWLEquivalentClassesAxiom(DF.getOWLClass(iri), c));
        m.addAxiom(o, DF.getOWLDisjointClassesAxiom(DF.getOWLClass(iri), c));
        m.addAxiom(o, DF.getOWLSubObjectPropertyOfAxiom(op, op));
        m.addAxiom(o, DF.getOWLSubPropertyChainOfAxiom(
                listowlobjectpropertyexpression, op));
        m.addAxiom(o, DF.getOWLEquivalentObjectPropertiesAxiom(setop));

View Full Code Here

        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLClass(string, prefixmanager)));
        m.addAxiom(o, DF.getOWLEquivalentClassesAxiom(DF.getOWLClass(iri), c));
        m.addAxiom(o, DF.getOWLDisjointClassesAxiom(DF.getOWLClass(iri), c));
        m.addAxiom(o, DF.getOWLSubObjectPropertyOfAxiom(op, op));
        m.addAxiom(o, DF.getOWLSubPropertyChainOfAxiom(
                listowlobjectpropertyexpression, op));
        m.addAxiom(o, DF.getOWLEquivalentObjectPropertiesAxiom(setop));
        m.addAxiom(o, DF.getOWLDisjointObjectPropertiesAxiom(setop));

View Full Code Here

                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLClass(string, prefixmanager)));
        m.addAxiom(o, DF.getOWLEquivalentClassesAxiom(DF.getOWLClass(iri), c));
        m.addAxiom(o, DF.getOWLDisjointClassesAxiom(DF.getOWLClass(iri), c));
        m.addAxiom(o, DF.getOWLSubObjectPropertyOfAxiom(op, op));
        m.addAxiom(o, DF.getOWLSubPropertyChainOfAxiom(
                listowlobjectpropertyexpression, op));
        m.addAxiom(o, DF.getOWLEquivalentObjectPropertiesAxiom(setop));
        m.addAxiom(o, DF.getOWLDisjointObjectPropertiesAxiom(setop));
        m.addAxiom(o, DF.getOWLInverseObjectPropertiesAxiom(op, op));

View Full Code Here

                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLClass(string, prefixmanager)));
        m.addAxiom(o, DF.getOWLEquivalentClassesAxiom(DF.getOWLClass(iri), c));
        m.addAxiom(o, DF.getOWLDisjointClassesAxiom(DF.getOWLClass(iri), c));
        m.addAxiom(o, DF.getOWLSubObjectPropertyOfAxiom(op, op));
        m.addAxiom(o, DF.getOWLSubPropertyChainOfAxiom(
                listowlobjectpropertyexpression, op));
        m.addAxiom(o, DF.getOWLEquivalentObjectPropertiesAxiom(setop));
        m.addAxiom(o, DF.getOWLDisjointObjectPropertiesAxiom(setop));
        m.addAxiom(o, DF.getOWLInverseObjectPropertiesAxiom(op, op));
        m.addAxiom(o, DF.getOWLObjectPropertyDomainAxiom(op, c));

View Full Code Here

        m.addAxiom(o, DF.getOWLEquivalentClassesAxiom(DF.getOWLClass(iri), c));
        m.addAxiom(o, DF.getOWLDisjointClassesAxiom(DF.getOWLClass(iri), c));
        m.addAxiom(o, DF.getOWLSubObjectPropertyOfAxiom(op, op));
        m.addAxiom(o, DF.getOWLSubPropertyChainOfAxiom(
                listowlobjectpropertyexpression, op));
        m.addAxiom(o, DF.getOWLEquivalentObjectPropertiesAxiom(setop));
        m.addAxiom(o, DF.getOWLDisjointObjectPropertiesAxiom(setop));
        m.addAxiom(o, DF.getOWLInverseObjectPropertiesAxiom(op, op));
        m.addAxiom(o, DF.getOWLObjectPropertyDomainAxiom(op, c));
        m.addAxiom(o, DF.getOWLObjectPropertyRangeAxiom(op, c));
        m.addAxiom(o, DF.getOWLFunctionalObjectPropertyAxiom(op));

View Full Code Here

        m.addAxiom(o, DF.getOWLDisjointClassesAxiom(DF.getOWLClass(iri), c));
        m.addAxiom(o, DF.getOWLSubObjectPropertyOfAxiom(op, op));
        m.addAxiom(o, DF.getOWLSubPropertyChainOfAxiom(
                listowlobjectpropertyexpression, op));
        m.addAxiom(o, DF.getOWLEquivalentObjectPropertiesAxiom(setop));
        m.addAxiom(o, DF.getOWLDisjointObjectPropertiesAxiom(setop));
        m.addAxiom(o, DF.getOWLInverseObjectPropertiesAxiom(op, op));
        m.addAxiom(o, DF.getOWLObjectPropertyDomainAxiom(op, c));
        m.addAxiom(o, DF.getOWLObjectPropertyRangeAxiom(op, c));
        m.addAxiom(o, DF.getOWLFunctionalObjectPropertyAxiom(op));
        m.addAxiom(o,

View Full Code Here

        m.addAxiom(o, DF.getOWLSubObjectPropertyOfAxiom(op, op));
        m.addAxiom(o, DF.getOWLSubPropertyChainOfAxiom(
                listowlobjectpropertyexpression, op));
        m.addAxiom(o, DF.getOWLEquivalentObjectPropertiesAxiom(setop));
        m.addAxiom(o, DF.getOWLDisjointObjectPropertiesAxiom(setop));
        m.addAxiom(o, DF.getOWLInverseObjectPropertiesAxiom(op, op));
        m.addAxiom(o, DF.getOWLObjectPropertyDomainAxiom(op, c));
        m.addAxiom(o, DF.getOWLObjectPropertyRangeAxiom(op, c));
        m.addAxiom(o, DF.getOWLFunctionalObjectPropertyAxiom(op));
        m.addAxiom(o,
                DF.getOWLAnnotationAssertionAxiom(ap, as, owlannotationvalue));

View Full Code Here

        m.addAxiom(o, DF.getOWLSubPropertyChainOfAxiom(
                listowlobjectpropertyexpression, op));
        m.addAxiom(o, DF.getOWLEquivalentObjectPropertiesAxiom(setop));
        m.addAxiom(o, DF.getOWLDisjointObjectPropertiesAxiom(setop));
        m.addAxiom(o, DF.getOWLInverseObjectPropertiesAxiom(op, op));
        m.addAxiom(o, DF.getOWLObjectPropertyDomainAxiom(op, c));
        m.addAxiom(o, DF.getOWLObjectPropertyRangeAxiom(op, c));
        m.addAxiom(o, DF.getOWLFunctionalObjectPropertyAxiom(op));
        m.addAxiom(o,
                DF.getOWLAnnotationAssertionAxiom(ap, as, owlannotationvalue));
        m.applyChange(new AddImport(o, DF.getOWLImportsDeclaration(iri)));

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.