Examples of OWLDifferentIndividualsAxiom

org.semanticweb.owl.model.OWLDifferentIndividualsAxiom
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
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

Examples of org.semanticweb.owl.model.OWLDifferentIndividualsAxiom

    }




    public void handleTriple(URI subject, URI predicate, URI object) throws OWLException {
        Set<OWLIndividual> inds = getConsumer().translateToIndividualSet(object);
        final OWLDifferentIndividualsAxiom axiom = getDataFactory().getOWLDifferentIndividualsAxiom(inds);
        addAxiom(axiom);
        getConsumer().addReifiedAxiom(subject, axiom);
        consumeTriple(subject, predicate, object);
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom

    }


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

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom

        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

Examples of org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom

        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

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.