Examples of org.semanticweb.owlapi.model.OWLClassExpression

org.semanticweb.owlapi.model.OWLClassExpression
3.org/TR/owl2-syntax/#Class_Expressions">Class Expressions in the OWL 2 specification. This interface covers named and anonymous classes. @author Matthew Horridge The University Of Manchester Bio-Health InformaticsGroup @since 2.0.0

        assertEquals(notA, notB);
    }


    @Test
    public void testEqualsNegativeObjectComplementOf() {
        OWLClassExpression operandA = C(IRI());
        OWLObjectComplementOf notA = testSubject
                .getOWLObjectComplementOf(operandA);
        OWLClassExpression operandB = C(IRI());
        OWLObjectComplementOf notB = testSubject
                .getOWLObjectComplementOf(operandB);
        assertFalse(notA.equals(notB));
    }

View Full Code Here

        assertFalse(notA.equals(notB));
    }


    @Test
    public void testHashCodeObjectComplementOf() {
        OWLClassExpression operand = C(IRI());
        OWLObjectComplementOf notA = testSubject
                .getOWLObjectComplementOf(operand);
        OWLObjectComplementOf notB = testSubject
                .getOWLObjectComplementOf(operand);
        assertEquals(notA.hashCode(), notB.hashCode());

View Full Code Here

    }


    @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

                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

    }


    @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

    }


    @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

                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

    }


    @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

        int cardinality = 3;
        OWLObjectCardinalityRestriction restA = testSubject
                .getOWLObjectExactCardinality(cardinality, prop,
                        testSubject.getOWLThing());
        assertNotNull(restA);
        OWLClassExpression cls = C(IRI());
        OWLObjectCardinalityRestriction restB = testSubject
                .getOWLObjectExactCardinality(cardinality, prop, cls);
        assertNotNull(restB);
    }

View Full Code Here

                        testSubject.getOWLThing());
        OWLObjectCardinalityRestriction restB = testSubject
                .getOWLObjectExactCardinality(cardinality, prop,
                        testSubject.getOWLThing());
        assertEquals(restA, restB);
        OWLClassExpression cls = C(IRI());
        OWLObjectCardinalityRestriction restC = testSubject
                .getOWLObjectExactCardinality(cardinality, prop, cls);
        OWLObjectCardinalityRestriction restD = testSubject
                .getOWLObjectExactCardinality(cardinality, prop, cls);
        assertEquals(restC, restD);

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

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

au.csiro.ontology.importer.owl.OWLImporter

com.clarkparsia.explanation.test.ExplanationTester

com.clarkparsia.explanation.test.OWLAPIExplanationTest

com.clarkparsia.modularity.EntailmentChecker

com.clarkparsia.modularity.IncrementalClassifier$DisjointClassComparator

com.clarkparsia.modularity.io.TaxonomyPersistence

com.clarkparsia.owlapi.explanation.AxiomConverter

com.clarkparsia.owlapi.explanation.GlassBoxExplanation

com.clarkparsia.owlapi.explanation.PelletExplanation

com.clarkparsia.owlapi.explanation.SatisfiabilityConverter$AxiomConverter

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.