Examples of org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom

org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom
3.org/TR/owl2-syntax/#Individual_Inequality" >DifferentIndividuals axiom in the OWL 2 Specification. @author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.0.0

    }


    @Test
    public void shouldBuildDifferentIndividuals() {
        // given
        OWLDifferentIndividualsAxiom expected = df
                .getOWLDifferentIndividualsAxiom(i,
                        df.getOWLNamedIndividual(iri));
        BuilderDifferentIndividuals builder = new BuilderDifferentIndividuals(
                expected, df);
        // when

View Full Code Here

        manager.addAxiom(ont, childDefinition);
        // Different individuals //In OWL, we can say that individuals are
        // different from each other. To do this we use a different individuals
        // axiom. Since John, Mary, Bill and Susan are all different
        // individuals, we can express this using a different individuals axiom.
        OWLDifferentIndividualsAxiom diffInds = factory
                .getOWLDifferentIndividualsAxiom(john, mary, bill, susan);
        manager.addAxiom(ont, diffInds);
        // Male and Female are also different
        manager.addAxiom(ont,
                factory.getOWLDifferentIndividualsAxiom(male, female));

View Full Code Here

        OWLOntology ont = getOWLOntology("ont");
        OWLNamedIndividual indA = NamedIndividual(iri("indA"));
        OWLNamedIndividual indB = NamedIndividual(iri("indB"));
        OWLNamedIndividual indC = NamedIndividual(iri("indC"));
        OWLOntologyManager man = ont.getOWLOntologyManager();
        OWLDifferentIndividualsAxiom ax = DifferentIndividuals(indA, indB, indC);
        man.addAxiom(ont, ax);
        performAxiomTests(ont, ax);
        assertTrue(ont.getDifferentIndividualAxioms(indA).contains(ax));
        assertTrue(ont.getDifferentIndividualAxioms(indB).contains(ax));
        assertTrue(ont.getDifferentIndividualAxioms(indC).contains(ax));

View Full Code Here

TOP

Related Classes of org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom

org.semanticweb.owlapi.api.test.ontology.OWLOntologyAccessorsTestCase

org.semanticweb.owlapi.examples.Examples

org.semanticweb.owlapitools.builders.test.BuildersEqualTestCase

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.