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

                        c,
                        DF.getOWLObjectIntersectionOf(c,
                                DF.getOWLClass(string, prefixmanager))));
        m.addAxiom(o, DF.getOWLSubClassOfAxiom(c,
                DF.getOWLDataSomeValuesFrom(dp, dr)));
        m.addAxiom(o,
                DF.getOWLSubClassOfAxiom(c, DF.getOWLDataAllValuesFrom(dp, dr)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLDataHasValue(dp, owlliteral)));

View Full Code Here

                                DF.getOWLClass(string, prefixmanager))));
        m.addAxiom(o, DF.getOWLSubClassOfAxiom(c,
                DF.getOWLDataSomeValuesFrom(dp, dr)));
        m.addAxiom(o,
                DF.getOWLSubClassOfAxiom(c, DF.getOWLDataAllValuesFrom(dp, dr)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLDataHasValue(dp, owlliteral)));
        m.addAxiom(
                o,

View Full Code Here

                DF.getOWLSubClassOfAxiom(c, DF.getOWLDataAllValuesFrom(dp, dr)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLDataHasValue(dp, owlliteral)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLObjectComplementOf(DF.getOWLClass(iri))));
        m.addAxiom(
                o,

View Full Code Here

                        DF.getOWLDataHasValue(dp, owlliteral)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLObjectComplementOf(DF.getOWLClass(iri))));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLObjectOneOf(DF.getOWLNamedIndividual(iri))));
        m.addAxiom(o, DF.getOWLSubClassOfAxiom(c,
                DF.getOWLObjectAllValuesFrom(op, c)));

View Full Code Here

                        DF.getOWLObjectComplementOf(DF.getOWLClass(iri))));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLObjectOneOf(DF.getOWLNamedIndividual(iri))));
        m.addAxiom(o, DF.getOWLSubClassOfAxiom(c,
                DF.getOWLObjectAllValuesFrom(op, c)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLObjectSomeValuesFrom(op, c)));

View Full Code Here

                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLObjectOneOf(DF.getOWLNamedIndividual(iri))));
        m.addAxiom(o, DF.getOWLSubClassOfAxiom(c,
                DF.getOWLObjectAllValuesFrom(op, c)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLObjectSomeValuesFrom(op, c)));
        m.addAxiom(o,
                DF.getOWLSubClassOfAxiom(c, DF.getOWLObjectHasValue(op, ai)));

View Full Code Here

                DF.getOWLObjectAllValuesFrom(op, c)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLObjectSomeValuesFrom(op, c)));
        m.addAxiom(o,
                DF.getOWLSubClassOfAxiom(c, DF.getOWLObjectHasValue(op, ai)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLObjectUnionOf(DF.getOWLClass(iri))));

View Full Code Here

                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLObjectSomeValuesFrom(op, c)));
        m.addAxiom(o,
                DF.getOWLSubClassOfAxiom(c, DF.getOWLObjectHasValue(op, ai)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLObjectUnionOf(DF.getOWLClass(iri))));
        m.addAxiom(
                o,

View Full Code Here

                DF.getOWLSubClassOfAxiom(c, DF.getOWLObjectHasValue(op, ai)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLObjectUnionOf(DF.getOWLClass(iri))));
        m.addAxiom(
                o,
                DF.getOWLAnnotationAssertionAxiom(iri,
                        DF.getOWLAnnotation(ap, owlannotationvalue)));
        m.addAxiom(o, DF.getOWLAnnotationAssertionAxiom(DF
                .getOWLNamedIndividual(iri).getIRI(), DF.getOWLAnnotation(ap,

View Full Code Here

                        DF.getOWLObjectUnionOf(DF.getOWLClass(iri))));
        m.addAxiom(
                o,
                DF.getOWLAnnotationAssertionAxiom(iri,
                        DF.getOWLAnnotation(ap, owlannotationvalue)));
        m.addAxiom(o, DF.getOWLAnnotationAssertionAxiom(DF
                .getOWLNamedIndividual(iri).getIRI(), DF.getOWLAnnotation(ap,
                owlannotationvalue)));
        ByteArrayOutputStream out = new ByteArrayOutputStream();
        ObjectOutputStream stream = new ObjectOutputStream(out);
        stream.writeObject(m);

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.