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

        m.addAxiom(o, DF.getOWLAnnotationPropertyRangeAxiom(ap, iri));
        m.addAxiom(o, DF.getOWLSubAnnotationPropertyOfAxiom(ap, ap));
        m.addAxiom(o, DF.getOWLInverseFunctionalObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLReflexiveObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLIrreflexiveObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLSymmetricObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLAsymmetricObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLTransitiveObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLSubDataPropertyOfAxiom(dp, dp));
        m.addAxiom(o, DF.getOWLEquivalentDataPropertiesAxiom(setdp));
        m.addAxiom(o, DF.getOWLDisjointDataPropertiesAxiom(setdp));

View Full Code Here

        m.addAxiom(o, DF.getOWLSubAnnotationPropertyOfAxiom(ap, ap));
        m.addAxiom(o, DF.getOWLInverseFunctionalObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLReflexiveObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLIrreflexiveObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLSymmetricObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLAsymmetricObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLTransitiveObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLSubDataPropertyOfAxiom(dp, dp));
        m.addAxiom(o, DF.getOWLEquivalentDataPropertiesAxiom(setdp));
        m.addAxiom(o, DF.getOWLDisjointDataPropertiesAxiom(setdp));
        m.addAxiom(o, DF.getOWLDataPropertyDomainAxiom(dp, c));

View Full Code Here

        m.addAxiom(o, DF.getOWLInverseFunctionalObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLReflexiveObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLIrreflexiveObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLSymmetricObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLAsymmetricObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLTransitiveObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLSubDataPropertyOfAxiom(dp, dp));
        m.addAxiom(o, DF.getOWLEquivalentDataPropertiesAxiom(setdp));
        m.addAxiom(o, DF.getOWLDisjointDataPropertiesAxiom(setdp));
        m.addAxiom(o, DF.getOWLDataPropertyDomainAxiom(dp, c));
        m.addAxiom(o, DF.getOWLDataPropertyRangeAxiom(dp, dr));

View Full Code Here

        m.addAxiom(o, DF.getOWLReflexiveObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLIrreflexiveObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLSymmetricObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLAsymmetricObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLTransitiveObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLSubDataPropertyOfAxiom(dp, dp));
        m.addAxiom(o, DF.getOWLEquivalentDataPropertiesAxiom(setdp));
        m.addAxiom(o, DF.getOWLDisjointDataPropertiesAxiom(setdp));
        m.addAxiom(o, DF.getOWLDataPropertyDomainAxiom(dp, c));
        m.addAxiom(o, DF.getOWLDataPropertyRangeAxiom(dp, dr));
        m.addAxiom(o, DF.getOWLFunctionalDataPropertyAxiom(dp));

View Full Code Here

        m.addAxiom(o, DF.getOWLIrreflexiveObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLSymmetricObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLAsymmetricObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLTransitiveObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLSubDataPropertyOfAxiom(dp, dp));
        m.addAxiom(o, DF.getOWLEquivalentDataPropertiesAxiom(setdp));
        m.addAxiom(o, DF.getOWLDisjointDataPropertiesAxiom(setdp));
        m.addAxiom(o, DF.getOWLDataPropertyDomainAxiom(dp, c));
        m.addAxiom(o, DF.getOWLDataPropertyRangeAxiom(dp, dr));
        m.addAxiom(o, DF.getOWLFunctionalDataPropertyAxiom(dp));
        m.addAxiom(o, DF.getOWLHasKeyAxiom(c, setowlpropertyexpression));

View Full Code Here

        m.addAxiom(o, DF.getOWLSymmetricObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLAsymmetricObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLTransitiveObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLSubDataPropertyOfAxiom(dp, dp));
        m.addAxiom(o, DF.getOWLEquivalentDataPropertiesAxiom(setdp));
        m.addAxiom(o, DF.getOWLDisjointDataPropertiesAxiom(setdp));
        m.addAxiom(o, DF.getOWLDataPropertyDomainAxiom(dp, c));
        m.addAxiom(o, DF.getOWLDataPropertyRangeAxiom(dp, dr));
        m.addAxiom(o, DF.getOWLFunctionalDataPropertyAxiom(dp));
        m.addAxiom(o, DF.getOWLHasKeyAxiom(c, setowlpropertyexpression));
        m.addAxiom(o, DF.getOWLDatatypeDefinitionAxiom(owldatatype, dr));

View Full Code Here

        m.addAxiom(o, DF.getOWLAsymmetricObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLTransitiveObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLSubDataPropertyOfAxiom(dp, dp));
        m.addAxiom(o, DF.getOWLEquivalentDataPropertiesAxiom(setdp));
        m.addAxiom(o, DF.getOWLDisjointDataPropertiesAxiom(setdp));
        m.addAxiom(o, DF.getOWLDataPropertyDomainAxiom(dp, c));
        m.addAxiom(o, DF.getOWLDataPropertyRangeAxiom(dp, dr));
        m.addAxiom(o, DF.getOWLFunctionalDataPropertyAxiom(dp));
        m.addAxiom(o, DF.getOWLHasKeyAxiom(c, setowlpropertyexpression));
        m.addAxiom(o, DF.getOWLDatatypeDefinitionAxiom(owldatatype, dr));
        m.addAxiom(o, DF.getOWLSameIndividualAxiom(setowlindividual));

View Full Code Here

        m.addAxiom(o, DF.getOWLTransitiveObjectPropertyAxiom(op));
        m.addAxiom(o, DF.getOWLSubDataPropertyOfAxiom(dp, dp));
        m.addAxiom(o, DF.getOWLEquivalentDataPropertiesAxiom(setdp));
        m.addAxiom(o, DF.getOWLDisjointDataPropertiesAxiom(setdp));
        m.addAxiom(o, DF.getOWLDataPropertyDomainAxiom(dp, c));
        m.addAxiom(o, DF.getOWLDataPropertyRangeAxiom(dp, dr));
        m.addAxiom(o, DF.getOWLFunctionalDataPropertyAxiom(dp));
        m.addAxiom(o, DF.getOWLHasKeyAxiom(c, setowlpropertyexpression));
        m.addAxiom(o, DF.getOWLDatatypeDefinitionAxiom(owldatatype, dr));
        m.addAxiom(o, DF.getOWLSameIndividualAxiom(setowlindividual));
        m.addAxiom(o, DF.getOWLDifferentIndividualsAxiom(setowlindividual));

View Full Code Here

        m.addAxiom(o, DF.getOWLSubDataPropertyOfAxiom(dp, dp));
        m.addAxiom(o, DF.getOWLEquivalentDataPropertiesAxiom(setdp));
        m.addAxiom(o, DF.getOWLDisjointDataPropertiesAxiom(setdp));
        m.addAxiom(o, DF.getOWLDataPropertyDomainAxiom(dp, c));
        m.addAxiom(o, DF.getOWLDataPropertyRangeAxiom(dp, dr));
        m.addAxiom(o, DF.getOWLFunctionalDataPropertyAxiom(dp));
        m.addAxiom(o, DF.getOWLHasKeyAxiom(c, setowlpropertyexpression));
        m.addAxiom(o, DF.getOWLDatatypeDefinitionAxiom(owldatatype, dr));
        m.addAxiom(o, DF.getOWLSameIndividualAxiom(setowlindividual));
        m.addAxiom(o, DF.getOWLDifferentIndividualsAxiom(setowlindividual));
        m.addAxiom(o, DF.getOWLClassAssertionAxiom(c, ai));

View Full Code Here

        m.addAxiom(o, DF.getOWLEquivalentDataPropertiesAxiom(setdp));
        m.addAxiom(o, DF.getOWLDisjointDataPropertiesAxiom(setdp));
        m.addAxiom(o, DF.getOWLDataPropertyDomainAxiom(dp, c));
        m.addAxiom(o, DF.getOWLDataPropertyRangeAxiom(dp, dr));
        m.addAxiom(o, DF.getOWLFunctionalDataPropertyAxiom(dp));
        m.addAxiom(o, DF.getOWLHasKeyAxiom(c, setowlpropertyexpression));
        m.addAxiom(o, DF.getOWLDatatypeDefinitionAxiom(owldatatype, dr));
        m.addAxiom(o, DF.getOWLSameIndividualAxiom(setowlindividual));
        m.addAxiom(o, DF.getOWLDifferentIndividualsAxiom(setowlindividual));
        m.addAxiom(o, DF.getOWLClassAssertionAxiom(c, ai));
        m.addAxiom(o, DF.getOWLObjectPropertyAssertionAxiom(op, ai, ai));

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.