Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLDataProperty

1406
1407
1408
1409
1410
1411
1412
1413
1414
1415
1416
        assertFalse(restC.equals(restD));
    }

    @Test
    public void testHashCodeDataAll() {
        OWLDataProperty prop = DP(IRI());
        OWLDataRange filler = D(IRI());
        OWLRestriction restA = testSubject
                .getOWLDataAllValuesFrom(prop, filler);
        OWLRestriction restB = testSubject
                .getOWLDataAllValuesFrom(prop, filler);
View Full Code Here
1676
1677
1678
1679
1680
1681
1682
1683
1684
1685
1686
        assertNotNull(axiom);
    }

    @Test
    public void testEqualsPositiveDataFunctionalData() {
        OWLDataProperty prop = DP(IRI());
        OWLPropertyAxiom axA = testSubject
                .getOWLFunctionalDataPropertyAxiom(prop);
        OWLPropertyAxiom axB = testSubject
                .getOWLFunctionalDataPropertyAxiom(prop);
        assertEquals(axA, axB);
View Full Code Here
1695
1696
1697
1698
1699
1700
1701
1702
1703
1704
1705
        assertFalse(axA.equals(axB));
    }

    @Test
    public void testHashCodeDataFunctionalData() {
        OWLDataProperty prop = DP(IRI());
        OWLPropertyAxiom axA = testSubject
                .getOWLFunctionalDataPropertyAxiom(prop);
        OWLPropertyAxiom axB = testSubject
                .getOWLFunctionalDataPropertyAxiom(prop);
        assertEquals(axA.hashCode(), axB.hashCode());
View Full Code Here
1932
1933
1934
1935
1936
1937
1938
1939
1940
1941
1942
    }

    @Test
    public void testEqualsPositiveNotDataRel() {
        OWLIndividual s = I();
        OWLDataProperty p = DP(IRI());
        OWLLiteral o = Literal();
        OWLIndividualAxiom axA = testSubject
                .getOWLNegativeDataPropertyAssertionAxiom(p, s, o);
        OWLIndividualAxiom axB = testSubject
                .getOWLNegativeDataPropertyAssertionAxiom(p, s, o);
View Full Code Here
1944
1945
1946
1947
1948
1949
1950
1951
1952
1953
1954
    }

    @Test
    public void testEqualsNegativeNotDataRel() {
        // Different subject
        OWLDataProperty p = DP(IRI());
        OWLLiteral o = Literal();
        OWLIndividualAxiom axA = testSubject
                .getOWLNegativeDataPropertyAssertionAxiom(p, I(), o);
        OWLIndividualAxiom axB = testSubject
                .getOWLNegativeDataPropertyAssertionAxiom(p, I(), o);
View Full Code Here
1969
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
    }

    @Test
    public void testHashCodeNotDataRel() {
        OWLIndividual s = I();
        OWLDataProperty p = DP(IRI());
        OWLLiteral o = Literal();
        OWLIndividualAxiom axA = testSubject
                .getOWLNegativeDataPropertyAssertionAxiom(p, s, o);
        OWLIndividualAxiom axB = testSubject
                .getOWLNegativeDataPropertyAssertionAxiom(p, s, o);
View Full Code Here
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
    }

    @Test
    public void testEqualsPositiveDataRel() {
        OWLIndividual s = I();
        OWLDataProperty p = DP(IRI());
        OWLLiteral o = Literal();
        OWLIndividualAxiom axA = testSubject.getOWLDataPropertyAssertionAxiom(
                p, s, o);
        OWLIndividualAxiom axB = testSubject.getOWLDataPropertyAssertionAxiom(
                p, s, o);
View Full Code Here
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
    }

    @Test
    public void testEqualsNegativeDataRel() {
        // Different subject
        OWLDataProperty p = DP(IRI());
        OWLLiteral o = Literal();
        OWLIndividualAxiom axA = testSubject.getOWLDataPropertyAssertionAxiom(
                p, I(), o);
        OWLIndividualAxiom axB = testSubject.getOWLDataPropertyAssertionAxiom(
                p, I(), o);
View Full Code Here
2024
2025
2026
2027
2028
2029
2030
2031
2032
2033
2034
    }

    @Test
    public void testHashCodeDataRel() {
        OWLIndividual s = I();
        OWLDataProperty p = DP(IRI());
        OWLLiteral o = Literal();
        OWLIndividualAxiom axA = testSubject.getOWLDataPropertyAssertionAxiom(
                p, s, o);
        OWLIndividualAxiom axB = testSubject.getOWLDataPropertyAssertionAxiom(
                p, s, o);
View Full Code Here
2151
2152
2153
2154
2155
2156
2157
2158
2159
2160
2161
                C(IRI())));
    }

    @Test
    public void testEqualsPositiveDataPropertyDomain() {
        OWLDataProperty left = DP(IRI());
        OWLClass right = C(IRI());
        OWLAxiom axA = testSubject.getOWLDataPropertyDomainAxiom(left, right);
        OWLAxiom axB = testSubject.getOWLDataPropertyDomainAxiom(left, right);
        assertEquals(axA, axB);
    }
View Full Code Here
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
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.