Examples of OWLRestriction

org.semanticweb.owlapi.model.OWLRestriction
3.org/TR/owl2-syntax/#Object_Property_Restrictions" >Object Property Restriction or Data Property Restriction) in the OWL 2 specification. @author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.0.0

Examples of org.semanticweb.owlapi.model.OWLRestriction


    @Test
    public void testEqualsNegativeObjectHas() {
        // Different filler
        OWLObjectProperty prop = OP(IRI());
        OWLRestriction restA = testSubject.getOWLObjectHasValue(prop, I());
        OWLRestriction restB = testSubject.getOWLObjectHasValue(prop, I());
        assertFalse(restA.equals(restB));
        // Different property
        OWLIndividual filler = I();
        OWLRestriction restC = testSubject.getOWLObjectHasValue(OP(IRI()),
                filler);
        OWLRestriction restD = testSubject.getOWLObjectHasValue(OP(IRI()),
                filler);
        assertFalse(restC.equals(restD));
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLRestriction


    @Test
    public void testHashCodeObjectHas() {
        OWLObjectProperty prop = OP(IRI());
        OWLIndividual filler = I();
        OWLRestriction restA = testSubject.getOWLObjectHasValue(prop, filler);
        OWLRestriction restB = testSubject.getOWLObjectHasValue(prop, filler);
        assertEquals(restA.hashCode(), restB.hashCode());
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLRestriction


    @Test
    public void testEqualsPositiveObjectSome() {
        OWLObjectProperty prop = OP(IRI());
        OWLClassExpression filler = C(IRI());
        OWLRestriction restA = testSubject.getOWLObjectSomeValuesFrom(prop,
                filler);
        OWLRestriction restB = testSubject.getOWLObjectSomeValuesFrom(prop,
                filler);
        assertEquals(restA, restB);
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLRestriction


    @Test
    public void testEqualsNegativeObjectSome() {
        // Different filler
        OWLObjectProperty prop = OP(IRI());
        OWLRestriction restA = testSubject.getOWLObjectSomeValuesFrom(prop,
                C(IRI()));
        OWLRestriction restB = testSubject.getOWLObjectSomeValuesFrom(prop,
                C(IRI()));
        assertFalse(restA.equals(restB));
        // Different property
        OWLClassExpression filler = C(IRI());
        OWLRestriction restC = testSubject.getOWLObjectSomeValuesFrom(
                OP(IRI()), filler);
        OWLRestriction restD = testSubject.getOWLObjectSomeValuesFrom(
                OP(IRI()), filler);
        assertFalse(restC.equals(restD));
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLRestriction


    @Test
    public void testHashCodeObjectSome() {
        OWLObjectProperty prop = OP(IRI());
        OWLClassExpression filler = C(IRI());
        OWLRestriction restA = testSubject.getOWLObjectSomeValuesFrom(prop,
                filler);
        OWLRestriction restB = testSubject.getOWLObjectSomeValuesFrom(prop,
                filler);
        assertEquals(restA.hashCode(), restB.hashCode());
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLRestriction


    @Test
    public void testEqualsPositiveObjectAll() {
        OWLObjectProperty prop = OP(IRI());
        OWLClassExpression filler = C(IRI());
        OWLRestriction restA = testSubject.getOWLObjectAllValuesFrom(prop,
                filler);
        OWLRestriction restB = testSubject.getOWLObjectAllValuesFrom(prop,
                filler);
        assertEquals(restA, restB);
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLRestriction


    @Test
    public void testEqualsNegativeObjectAll() {
        // Different filler
        OWLObjectProperty prop = OP(IRI());
        OWLRestriction restA = testSubject.getOWLObjectAllValuesFrom(prop,
                C(IRI()));
        OWLRestriction restB = testSubject.getOWLObjectAllValuesFrom(prop,
                C(IRI()));
        assertFalse(restA.equals(restB));
        // Different property
        OWLClassExpression filler = C(IRI());
        OWLRestriction restC = testSubject.getOWLObjectAllValuesFrom(OP(IRI()),
                filler);
        OWLRestriction restD = testSubject.getOWLObjectAllValuesFrom(OP(IRI()),
                filler);
        assertFalse(restC.equals(restD));
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLRestriction


    @Test
    public void testHashCodeObjectAll() {
        OWLObjectProperty prop = OP(IRI());
        OWLClassExpression filler = C(IRI());
        OWLRestriction restA = testSubject.getOWLObjectAllValuesFrom(prop,
                filler);
        OWLRestriction restB = testSubject.getOWLObjectAllValuesFrom(prop,
                filler);
        assertEquals(restA.hashCode(), restB.hashCode());
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLRestriction


    @Test
    public void testEqualsPositiveDataHas() {
        OWLDataProperty prop = DP(IRI());
        OWLLiteral filler = Literal();
        OWLRestriction restA = testSubject.getOWLDataHasValue(prop, filler);
        OWLRestriction restB = testSubject.getOWLDataHasValue(prop, filler);
        assertEquals(restA, restB);
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLRestriction


    @Test
    public void testEqualsNegativeDataHas() {
        // Different filler
        OWLDataProperty prop = DP(IRI());
        OWLRestriction restA = testSubject.getOWLDataHasValue(prop, Literal());
        OWLRestriction restB = testSubject.getOWLDataHasValue(prop, Literal());
        assertFalse(restA.equals(restB));
        // Different property
        OWLLiteral filler = Literal();
        OWLRestriction restC = testSubject
                .getOWLDataHasValue(DP(IRI()), filler);
        OWLRestriction restD = testSubject
                .getOWLDataHasValue(DP(IRI()), filler);
        assertFalse(restC.equals(restD));
    }

View Full Code Here

0 1 2

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.