Examples of org.semanticweb.owlapi.model.OWLDataProperty

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

        assertEquals(axA, axB);
    }


    @Test
    public void testEqualsNegativeDataPropertyDomain() {
        OWLDataProperty left = DP(IRI());
        OWLClass right = C(IRI());
        // Different left operand
        OWLAxiom axA = testSubject.getOWLDataPropertyDomainAxiom(DP(IRI()),
                right);
        OWLAxiom axB = testSubject.getOWLDataPropertyDomainAxiom(DP(IRI()),

View Full Code Here

        assertFalse(axiomC.equals(axiomD));
    }


    @Test
    public void testHashCodeDataPropertyDomain() {
        OWLDataProperty left = DP(IRI());
        OWLClass right = C(IRI());
        int hashCodeA = testSubject.getOWLDataPropertyDomainAxiom(left, right)
                .hashCode();
        int hashCodeB = testSubject.getOWLDataPropertyDomainAxiom(left, right)
                .hashCode();

View Full Code Here

                D(IRI())));
    }


    @Test
    public void testEqualsPositiveDataPropertyRange() {
        OWLDataProperty left = DP(IRI());
        OWLDatatype right = D(IRI());
        OWLAxiom axA = testSubject.getOWLDataPropertyRangeAxiom(left, right);
        OWLAxiom axB = testSubject.getOWLDataPropertyRangeAxiom(left, right);
        assertEquals(axA, axB);
    }

View Full Code Here

        assertEquals(axA, axB);
    }


    @Test
    public void testEqualsNegativeDataPropertyRange() {
        OWLDataProperty left = DP(IRI());
        OWLDatatype right = D(IRI());
        // Different left operand
        OWLAxiom axA = testSubject.getOWLDataPropertyRangeAxiom(DP(IRI()),
                right);
        OWLAxiom axB = testSubject.getOWLDataPropertyRangeAxiom(DP(IRI()),

View Full Code Here

        assertFalse(axiomC.equals(axiomD));
    }


    @Test
    public void testHashCodeDataPropertyRange() {
        OWLDataProperty left = DP(IRI());
        OWLDatatype right = D(IRI());
        int hashCodeA = testSubject.getOWLDataPropertyRangeAxiom(left, right)
                .hashCode();
        int hashCodeB = testSubject.getOWLDataPropertyRangeAxiom(left, right)
                .hashCode();

View Full Code Here

                DP(IRI())));
    }


    @Test
    public void testEqualsPositiveSubDataPropertyOf() {
        OWLDataProperty left = DP(IRI());
        OWLDataProperty right = DP(IRI());
        OWLAxiom axA = testSubject.getOWLSubDataPropertyOfAxiom(left, right);
        OWLAxiom axB = testSubject.getOWLSubDataPropertyOfAxiom(left, right);
        assertEquals(axA, axB);
    }

View Full Code Here

        assertEquals(axA, axB);
    }


    @Test
    public void testEqualsNegativeSubDataPropertyOf() {
        OWLDataProperty left = DP(IRI());
        OWLDataProperty right = DP(IRI());
        // Different left operand
        OWLAxiom axA = testSubject.getOWLSubDataPropertyOfAxiom(DP(IRI()),
                right);
        OWLAxiom axB = testSubject.getOWLSubDataPropertyOfAxiom(DP(IRI()),
                right);

View Full Code Here

        assertFalse(axiomC.equals(axiomD));
    }


    @Test
    public void testHashCodeSubDataPropertyOf() {
        OWLDataProperty left = DP(IRI());
        OWLDataProperty right = DP(IRI());
        int hashCodeA = testSubject.getOWLSubDataPropertyOfAxiom(left, right)
                .hashCode();
        int hashCodeB = testSubject.getOWLSubDataPropertyOfAxiom(left, right)
                .hashCode();
        assertEquals(hashCodeA, hashCodeB);

View Full Code Here

            void
            shouldCreateViolationForOWLDisjointDataPropertiesAxiomInOWL2ELProfile()
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        OWLDataProperty dp = DataProperty(IRI("urn:test#other"));
        declare(o, DATAP, dp);
        m.addAxiom(o, DisjointDataProperties(DATAP, dp));
        OWL2ELProfile profile = new OWL2ELProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalAxiom.class };

View Full Code Here

            void
            shouldCreateViolationForOWLDisjointDataPropertiesAxiomInOWL2RLProfile()
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        OWLDataProperty dp = DataProperty(IRI("urn:test#dproperty"));
        declare(o, DATAP, dp);
        m.addAxiom(o, DisjointDataProperties(DATAP, dp));
        OWL2RLProfile profile = new OWL2RLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalAxiom.class };

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

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

au.csiro.ontology.importer.owl.OWLImporter

com.clarkparsia.explanation.test.AbstractExplanationTest

com.clarkparsia.pellet.owlapiv3.AxiomConverter

com.clarkparsia.pellet.owlapiv3.EntailmentChecker

com.clarkparsia.pellet.test.owlapi.OWLAPIv3Tests

com.clarkparsia.pellint.test.util.OWL2DLProfileViolationsTest

edu.pitt.dbmi.nlp.noble.ontology.owl.OInstance

edu.pitt.ontology.owl.OInstance

edu.stanford.bmir.protege.web.client.ui.frame.DataPropertyFrameEditor

org.apache.stanbol.commons.owl.transformation.ConversionTester

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.