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

                DF.getOWLNegativeDataPropertyAssertionAxiom(dp, ai, owlliteral));
        m.addAxiom(
                o,
                DF.getOWLInverseObjectPropertiesAxiom(op,
                        DF.getOWLObjectInverseOf(op)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLDataExactCardinality(1, dp)));
        m.addAxiom(o,
                DF.getOWLSubClassOfAxiom(c, DF.getOWLDataMaxCardinality(1, dp)));

View Full Code Here

                        DF.getOWLObjectInverseOf(op)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLDataExactCardinality(1, dp)));
        m.addAxiom(o,
                DF.getOWLSubClassOfAxiom(c, DF.getOWLDataMaxCardinality(1, dp)));
        m.addAxiom(o,
                DF.getOWLSubClassOfAxiom(c, DF.getOWLDataMinCardinality(1, dp)));
        m.addAxiom(
                o,

View Full Code Here

                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLDataExactCardinality(1, dp)));
        m.addAxiom(o,
                DF.getOWLSubClassOfAxiom(c, DF.getOWLDataMaxCardinality(1, dp)));
        m.addAxiom(o,
                DF.getOWLSubClassOfAxiom(c, DF.getOWLDataMinCardinality(1, dp)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLObjectExactCardinality(1, op)));

View Full Code Here

                        DF.getOWLDataExactCardinality(1, dp)));
        m.addAxiom(o,
                DF.getOWLSubClassOfAxiom(c, DF.getOWLDataMaxCardinality(1, dp)));
        m.addAxiom(o,
                DF.getOWLSubClassOfAxiom(c, DF.getOWLDataMinCardinality(1, dp)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLObjectExactCardinality(1, op)));
        m.addAxiom(
                o,

View Full Code Here

        // :Person
        OWLClassAssertionAxiom classAssertion = df.getOWLClassAssertionAxiom(
                person, mary);
        OWLOntology o = m.createOntology(IRI.create(base));
        // Add the class assertion
        m.addAxiom(o, classAssertion);
        // Dump the ontology
        StreamDocumentTarget target = new StreamDocumentTarget(
                new ByteArrayOutputStream());
        m.saveOntology(o, target);
    }

View Full Code Here

                DF.getOWLSubClassOfAxiom(c, DF.getOWLDataMinCardinality(1, dp)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLObjectExactCardinality(1, op)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLObjectMaxCardinality(1, op)));
        m.addAxiom(
                o,

View Full Code Here

                        DF.getOWLObjectExactCardinality(1, op)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLObjectMaxCardinality(1, op)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLObjectMinCardinality(1, op)));
        m.addAxiom(
                o,

View Full Code Here

                        DF.getOWLObjectMaxCardinality(1, op)));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(c,
                        DF.getOWLObjectMinCardinality(1, op)));
        m.addAxiom(
                o,
                DF.getOWLDataPropertyRangeAxiom(dp,
                        DF.getOWLDatatype(string, prefixmanager)));
        m.addAxiom(
                o,

View Full Code Here

        OWLDataPropertyRangeAxiom rangeAxiom = df.getOWLDataPropertyRangeAxiom(
                hasAge, integerGE18);
        OWLOntology o = m.createOntology(IRI
                .create("http://www.semanticweb.org/ontologies/dataranges"));
        // Add the range axiom to our ontology
        m.addAxiom(o, rangeAxiom);
        // Now create a datatype definition axiom
        OWLDatatypeDefinitionAxiom datatypeDef = df
                .getOWLDatatypeDefinitionAxiom(
                        df.getOWLDatatype(IRI
                                .create("http://www.semanticweb.org/ontologies/dataranges#age")),

View Full Code Here

                .getOWLDatatypeDefinitionAxiom(
                        df.getOWLDatatype(IRI
                                .create("http://www.semanticweb.org/ontologies/dataranges#age")),
                        integerGE18);
        // Add the definition to our ontology
        m.addAxiom(o, datatypeDef);
        // Dump our ontology
        StreamDocumentTarget target = new StreamDocumentTarget(
                new ByteArrayOutputStream());
        m.saveOntology(o, target);
    }

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.