Examples of org.semanticweb.owlapi.model.OWLObjectHasSelf

org.semanticweb.owlapi.model.OWLObjectHasSelf
3.org/TR/owl2-syntax/#Self-Restriction">ObjectHasSelf class expression in the OWL 2 Specification. @author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.0.0

    }


    @Test
    public void shouldBuildObjectHasSelf() {
        // given
        OWLObjectHasSelf expected = df.getOWLObjectHasSelf(op);
        BuilderObjectHasSelf builder = new BuilderObjectHasSelf(expected, df);
        // when
        OWLObject built = builder.buildObject();
        // then
        assertEquals(expected, built);

View Full Code Here

    }


    @Test
    public void testCreationObjectHasSelf() {
        OWLObjectProperty prop = OP(IRI());
        OWLObjectHasSelf restA = testSubject.getOWLObjectHasSelf(prop);
        assertNotNull(restA);
    }

View Full Code Here

    }


    @Test
    public void testEqualsPositiveObjectHasSelf() {
        OWLObjectProperty prop = OP(IRI());
        OWLObjectHasSelf restA = testSubject.getOWLObjectHasSelf(prop);
        OWLObjectHasSelf restB = testSubject.getOWLObjectHasSelf(prop);
        assertEquals(restA, restB);
    }

View Full Code Here

        assertEquals(restA, restB);
    }


    @Test
    public void testEqualsNegativeObjectHasSelf() {
        OWLObjectHasSelf restA = testSubject.getOWLObjectHasSelf(OP(IRI()));
        OWLObjectHasSelf restB = testSubject.getOWLObjectHasSelf(OP(IRI()));
        assertFalse(restA.equals(restB));
    }

View Full Code Here

    }


    @Test
    public void testHashCodeObjectHasSelf() {
        OWLObjectProperty prop = OP(IRI());
        OWLObjectHasSelf restA = testSubject.getOWLObjectHasSelf(prop);
        OWLObjectHasSelf restB = testSubject.getOWLObjectHasSelf(prop);
        assertEquals(restA.hashCode(), restB.hashCode());
    }

View Full Code Here

            else if (description instanceof OWLObjectComplementOf && ((OWLObjectComplementOf)description).getOperand() instanceof OWLClass) {
                AtomicConcept atomicConcept=AtomicConcept.create(((OWLClass)((OWLObjectComplementOf)description).getOperand()).getIRI().toString());
                m_negativeFacts.add(Atom.create(atomicConcept,getIndividual(object.getIndividual())));
            }
            else if (description instanceof OWLObjectHasSelf) {
                OWLObjectHasSelf self=(OWLObjectHasSelf)description;
                m_positiveFacts.add(getRoleAtom(self.getProperty(),getIndividual(object.getIndividual()),getIndividual(object.getIndividual())));
            }
            else if (description instanceof OWLObjectComplementOf && ((OWLObjectComplementOf)description).getOperand() instanceof OWLObjectHasSelf) {
                OWLObjectHasSelf self=(OWLObjectHasSelf)(((OWLObjectComplementOf)description).getOperand());
                m_negativeFacts.add(getRoleAtom(self.getProperty(),getIndividual(object.getIndividual()),getIndividual(object.getIndividual())));
            }
            else
                throw new IllegalStateException("Internal error: invalid normal form.");
        }

View Full Code Here

TOP

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

org.semanticweb.HermiT.structural.OWLClausification$FactClausifier

org.semanticweb.owlapi.datafactory.OWLDataFactoryTestCase

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.