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

        // assertion axiom.
        OWLClassAssertionAxiom classAssertionAx = factory
                .getOWLClassAssertionAxiom(person, john);
        // Add the axiom directly using the addAxiom convenience method on
        // OWLOntologyManager
        manager.addAxiom(ont, classAssertionAx);
        // Inverse property axioms //We can specify the inverse property of
        // hasWife as hasHusband We first need a reference to the hasHusband
        // property.
        OWLObjectProperty hasHusband = factory.getOWLObjectProperty(IRI
                .create(ont.getOntologyID().getOntologyIRI().get()

View Full Code Here

        man.addAxiom(o, SubClassOf(OWLThing(), clsG));
        man.addAxiom(o, EquivalentClasses(clsA, clsB));
        man.addAxiom(o, SubClassOf(clsC, clsB));
        man.addAxiom(o, SubClassOf(clsD, clsA));
        man.addAxiom(o, SubClassOf(clsD, clsF));
        man.addAxiom(o, SubClassOf(clsF, clsD));
        man.addAxiom(o, SubClassOf(clsE, clsC));
        man.addAxiom(o, SubClassOf(clsK, clsD));
        man.addAxiom(o, EquivalentClasses(clsK, OWLNothing()));
        OWLObjectPropertyExpression propP = getPropP();
        OWLObjectPropertyExpression propQ = getPropQ();

View Full Code Here

        OWLClass clsA = Class(iri("A"));
        OWLClass clsAp = Class(iri("Ap"));
        OWLClass clsB = Class(iri("B"));
        OWLOntology ont = getOWLOntology("ont");
        OWLOntologyManager man = ont.getOWLOntologyManager();
        man.addAxiom(ont, EquivalentClasses(OWLThing(), clsX));
        man.addAxiom(ont, SubClassOf(clsB, clsA));
        man.addAxiom(ont, EquivalentClasses(clsA, clsAp));
        StructuralReasoner reasoner = new StructuralReasoner(ont,
                new SimpleConfiguration(), BufferingMode.NON_BUFFERING);
        testClassHierarchy(reasoner);

View Full Code Here

        OWLClass clsAp = Class(iri("Ap"));
        OWLClass clsB = Class(iri("B"));
        OWLOntology ont = getOWLOntology("ont");
        OWLOntologyManager man = ont.getOWLOntologyManager();
        man.addAxiom(ont, EquivalentClasses(OWLThing(), clsX));
        man.addAxiom(ont, SubClassOf(clsB, clsA));
        man.addAxiom(ont, EquivalentClasses(clsA, clsAp));
        StructuralReasoner reasoner = new StructuralReasoner(ont,
                new SimpleConfiguration(), BufferingMode.NON_BUFFERING);
        testClassHierarchy(reasoner);
        man.addAxiom(ont, SubClassOf(clsA, OWLThing()));

View Full Code Here

                        + "#hasHusband"));
        // The full URI of the hasHusband property will be
        // http://example.com/owlapi/families#hasHusband since the URI of our
        // ontology is http://example.com/owlapi/families Create the inverse
        // object properties axiom and add it
        manager.addAxiom(ont,
                factory.getOWLInverseObjectPropertiesAxiom(hasWife, hasHusband));
        // Sub property axioms //OWL allows a property hierarchy to be
        // specified. Here, hasSon and hasDaughter will be specified as
        // hasChild.
        OWLObjectProperty hasChild = factory.getOWLObjectProperty(IRI

View Full Code Here

        man.addAxiom(o, EquivalentClasses(clsA, clsB));
        man.addAxiom(o, SubClassOf(clsC, clsB));
        man.addAxiom(o, SubClassOf(clsD, clsA));
        man.addAxiom(o, SubClassOf(clsD, clsF));
        man.addAxiom(o, SubClassOf(clsF, clsD));
        man.addAxiom(o, SubClassOf(clsE, clsC));
        man.addAxiom(o, SubClassOf(clsK, clsD));
        man.addAxiom(o, EquivalentClasses(clsK, OWLNothing()));
        OWLObjectPropertyExpression propP = getPropP();
        OWLObjectPropertyExpression propQ = getPropQ();
        OWLObjectPropertyExpression propR = getPropR();

View Full Code Here

        man.addAxiom(o, SubClassOf(clsC, clsB));
        man.addAxiom(o, SubClassOf(clsD, clsA));
        man.addAxiom(o, SubClassOf(clsD, clsF));
        man.addAxiom(o, SubClassOf(clsF, clsD));
        man.addAxiom(o, SubClassOf(clsE, clsC));
        man.addAxiom(o, SubClassOf(clsK, clsD));
        man.addAxiom(o, EquivalentClasses(clsK, OWLNothing()));
        OWLObjectPropertyExpression propP = getPropP();
        OWLObjectPropertyExpression propQ = getPropQ();
        OWLObjectPropertyExpression propR = getPropR();
        OWLObjectPropertyExpression propS = getPropS();

View Full Code Here

        OWLClass clsB = Class(iri("B"));
        OWLOntology ont = getOWLOntology("ont");
        OWLOntologyManager man = ont.getOWLOntologyManager();
        man.addAxiom(ont, EquivalentClasses(OWLThing(), clsX));
        man.addAxiom(ont, SubClassOf(clsB, clsA));
        man.addAxiom(ont, EquivalentClasses(clsA, clsAp));
        StructuralReasoner reasoner = new StructuralReasoner(ont,
                new SimpleConfiguration(), BufferingMode.NON_BUFFERING);
        testClassHierarchy(reasoner);
        man.addAxiom(ont, SubClassOf(clsA, OWLThing()));
        testClassHierarchy(reasoner);

View Full Code Here

        man.addAxiom(o, SubClassOf(clsD, clsA));
        man.addAxiom(o, SubClassOf(clsD, clsF));
        man.addAxiom(o, SubClassOf(clsF, clsD));
        man.addAxiom(o, SubClassOf(clsE, clsC));
        man.addAxiom(o, SubClassOf(clsK, clsD));
        man.addAxiom(o, EquivalentClasses(clsK, OWLNothing()));
        OWLObjectPropertyExpression propP = getPropP();
        OWLObjectPropertyExpression propQ = getPropQ();
        OWLObjectPropertyExpression propR = getPropR();
        OWLObjectPropertyExpression propS = getPropS();
        man.addAxiom(o, EquivalentObjectProperties(propP, propQ));

View Full Code Here

                .create(ont.getOntologyID().getOntologyIRI().get()
                        + "#hasChild"));
        OWLSubObjectPropertyOfAxiom hasSonSubHasChildAx = factory
                .getOWLSubObjectPropertyOfAxiom(hasSon, hasChild);
        // Add the axiom
        manager.addAxiom(ont, hasSonSubHasChildAx);
        // And hasDaughter, which is also a sub property of hasChild
        manager.addAxiom(ont,
                factory.getOWLSubObjectPropertyOfAxiom(hasDaughter, hasChild));
        // Property characteristics //Next, we want to say that the hasAge
        // property is Functional. This means that something can have at most

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.