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.getOWLObjectMinCardinality(1, op)));
        m.addAxiom(
                o,
                DF.getOWLDataPropertyRangeAxiom(dp,
                        DF.getOWLDatatype(string, prefixmanager)));
        m.addAxiom(
                o,
                DF.getOWLDataPropertyAssertionAxiom(dp, ai,
                        DF.getOWLLiteral(string, owldatatype)));
        m.addAxiom(
                o,

View Full Code Here

                        DF.getOWLDatatype(string, prefixmanager)));
        m.addAxiom(
                o,
                DF.getOWLDataPropertyAssertionAxiom(dp, ai,
                        DF.getOWLLiteral(string, owldatatype)));
        m.addAxiom(
                o,
                DF.getOWLDataPropertyRangeAxiom(dp,
                        DF.getOWLDataOneOf(owlliteral)));
        m.addAxiom(o,
                DF.getOWLDataPropertyRangeAxiom(dp, DF.getOWLDataUnionOf(dr)));

View Full Code Here

        // To specify that :John is related to :Mary via the :hasWife property
        // we create an object property
        // assertion and add it to the ontology
        OWLObjectPropertyAssertionAxiom propertyAssertion = df
                .getOWLObjectPropertyAssertionAxiom(hasWife, john, mary);
        m.addAxiom(o, propertyAssertion);
        // Now let's specify that :John is aged 51.
        // Get hold of a data property called :hasAge
        OWLDataProperty hasAge = df.getOWLDataProperty(":hasAge", pm);
        // To specify that :John has an age of 51 we create a data property
        // assertion and add it to the ontology

View Full Code Here

                        DF.getOWLLiteral(string, owldatatype)));
        m.addAxiom(
                o,
                DF.getOWLDataPropertyRangeAxiom(dp,
                        DF.getOWLDataOneOf(owlliteral)));
        m.addAxiom(o,
                DF.getOWLDataPropertyRangeAxiom(dp, DF.getOWLDataUnionOf(dr)));
        m.addAxiom(
                o,
                DF.getOWLDataPropertyRangeAxiom(dp,
                        DF.getOWLDataIntersectionOf(dr)));

View Full Code Here

        OWLDataProperty hasAge = df.getOWLDataProperty(":hasAge", pm);
        // To specify that :John has an age of 51 we create a data property
        // assertion and add it to the ontology
        OWLDataPropertyAssertionAxiom dataPropertyAssertion = df
                .getOWLDataPropertyAssertionAxiom(hasAge, john, 51);
        m.addAxiom(o, dataPropertyAssertion);
    }


    /**
     * Print the class hierarchy for the given ontology from this class down,
     * assuming this class is at the given level. Makes no attempt to deal

View Full Code Here

                o,
                DF.getOWLDataPropertyRangeAxiom(dp,
                        DF.getOWLDataOneOf(owlliteral)));
        m.addAxiom(o,
                DF.getOWLDataPropertyRangeAxiom(dp, DF.getOWLDataUnionOf(dr)));
        m.addAxiom(
                o,
                DF.getOWLDataPropertyRangeAxiom(dp,
                        DF.getOWLDataIntersectionOf(dr)));
        m.addAxiom(o,
                DF.getOWLDataPropertyRangeAxiom(dp, DF

View Full Code Here

                DF.getOWLDataPropertyRangeAxiom(dp, DF.getOWLDataUnionOf(dr)));
        m.addAxiom(
                o,
                DF.getOWLDataPropertyRangeAxiom(dp,
                        DF.getOWLDataIntersectionOf(dr)));
        m.addAxiom(o,
                DF.getOWLDataPropertyRangeAxiom(dp, DF
                        .getOWLDatatypeRestriction(owldatatype, owlfacet,
                                owlliteral)));
        m.addAxiom(
                o,

View Full Code Here

                        DF.getOWLDataIntersectionOf(dr)));
        m.addAxiom(o,
                DF.getOWLDataPropertyRangeAxiom(dp, DF
                        .getOWLDatatypeRestriction(owldatatype, owlfacet,
                                owlliteral)));
        m.addAxiom(
                o,
                DF.getOWLDataPropertyRangeAxiom(
                        dp,
                        DF.getOWLDatatypeRestriction(owldatatype,
                                DF.getOWLFacetRestriction(owlfacet, 1))));

View Full Code Here

                o,
                DF.getOWLDataPropertyRangeAxiom(
                        dp,
                        DF.getOWLDatatypeRestriction(owldatatype,
                                DF.getOWLFacetRestriction(owlfacet, 1))));
        m.addAxiom(
                o,
                DF.getOWLSubClassOfAxiom(
                        c,
                        DF.getOWLObjectIntersectionOf(c,
                                DF.getOWLClass(string, prefixmanager))));

View Full Code Here

                o,
                DF.getOWLSubClassOfAxiom(
                        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,

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.