Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLIndividual

1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
                I(), Literal()));
    }

    @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(
View Full Code Here
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
                p, I(), o);
        OWLIndividualAxiom axB = testSubject.getOWLDataPropertyAssertionAxiom(
                p, I(), o);
        assertFalse(axA.equals(axB));
        // Different property
        OWLIndividual s = I();
        OWLIndividualAxiom axiomC = testSubject
                .getOWLDataPropertyAssertionAxiom(DP(IRI()), s, o);
        OWLIndividualAxiom axiomD = testSubject
                .getOWLDataPropertyAssertionAxiom(DP(IRI()), s, o);
        assertFalse(axiomC.equals(axiomD));
View Full Code Here
2023
2024
2025
2026
2027
2028
2029
2030
2031
2032
2033
        assertFalse(axiomE.equals(axiomF));
    }

    @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(
View Full Code Here
2041
2042
2043
2044
2045
2046
2047
2048
2049
2050
2051
2052
2053
                OP(IRI()), I(), I()));
    }

    @Test
    public void testEqualsPositiveNotObjectRel() {
        OWLIndividual s = I();
        OWLObjectProperty p = OP(IRI());
        OWLIndividual o = I();
        OWLIndividualAxiom axA = testSubject
                .getOWLNegativeObjectPropertyAssertionAxiom(p, s, o);
        OWLIndividualAxiom axB = testSubject
                .getOWLNegativeObjectPropertyAssertionAxiom(p, s, o);
        assertEquals(axA, axB);
View Full Code Here
2055
2056
2057
2058
2059
2060
2061
2062
2063
2064
2065
2066
2067
2068
2069
2070
2071
2072
    @Test
    public void testEqualsNegativeNotObjectRel() {
        // Different subject
        OWLObjectProperty p = OP(IRI());
        OWLIndividual o = I();
        OWLIndividualAxiom axA = testSubject
                .getOWLNegativeObjectPropertyAssertionAxiom(p, I(), o);
        OWLIndividualAxiom axB = testSubject
                .getOWLNegativeObjectPropertyAssertionAxiom(p, I(), o);
        assertFalse(axA.equals(axB));
        // Different property
        OWLIndividual s = I();
        OWLIndividualAxiom axiomC = testSubject
                .getOWLNegativeObjectPropertyAssertionAxiom(OP(IRI()), s, o);
        OWLIndividualAxiom axiomD = testSubject
                .getOWLNegativeObjectPropertyAssertionAxiom(OP(IRI()), s, o);
        assertFalse(axiomC.equals(axiomD));
View Full Code Here
2078
2079
2080
2081
2082
2083
2084
2085
2086
2087
2088
2089
2090
        assertFalse(axiomE.equals(axiomF));
    }

    @Test
    public void testHashCodeNotObjectRel() {
        OWLIndividual s = I();
        OWLObjectProperty p = OP(IRI());
        OWLIndividual o = I();
        OWLIndividualAxiom axA = testSubject
                .getOWLNegativeObjectPropertyAssertionAxiom(p, s, o);
        OWLIndividualAxiom axB = testSubject
                .getOWLNegativeObjectPropertyAssertionAxiom(p, s, o);
        assertEquals(axA.hashCode(), axB.hashCode());
View Full Code Here
2096
2097
2098
2099
2100
2101
2102
2103
2104
2105
2106
2107
2108
                I(), I()));
    }

    @Test
    public void testEqualsPositiveObjectRel() {
        OWLIndividual s = I();
        OWLObjectProperty p = OP(IRI());
        OWLIndividual o = I();
        OWLIndividualAxiom axA = testSubject
                .getOWLObjectPropertyAssertionAxiom(p, s, o);
        OWLIndividualAxiom axB = testSubject
                .getOWLObjectPropertyAssertionAxiom(p, s, o);
        assertEquals(axA, axB);
View Full Code Here
2110
2111
2112
2113
2114
2115
2116
2117
2118
2119
2120
2121
2122
2123
2124
2125
2126
2127
    @Test
    public void testEqualsNegativeObjectRel() {
        // Different subject
        OWLObjectProperty p = OP(IRI());
        OWLIndividual o = I();
        OWLIndividualAxiom axA = testSubject
                .getOWLObjectPropertyAssertionAxiom(p, I(), o);
        OWLIndividualAxiom axB = testSubject
                .getOWLObjectPropertyAssertionAxiom(p, I(), o);
        assertFalse(axA.equals(axB));
        // Different property
        OWLIndividual s = I();
        OWLIndividualAxiom axiomC = testSubject
                .getOWLObjectPropertyAssertionAxiom(OP(IRI()), s, o);
        OWLIndividualAxiom axiomD = testSubject
                .getOWLObjectPropertyAssertionAxiom(OP(IRI()), s, o);
        assertFalse(axiomC.equals(axiomD));
View Full Code Here
2133
2134
2135
2136
2137
2138
2139
2140
2141
2142
2143
2144
2145
        assertFalse(axiomE.equals(axiomF));
    }

    @Test
    public void testHashCodeObjectRel() {
        OWLIndividual s = I();
        OWLObjectProperty p = OP(IRI());
        OWLIndividual o = I();
        OWLIndividualAxiom axA = testSubject
                .getOWLObjectPropertyAssertionAxiom(p, s, o);
        OWLIndividualAxiom axB = testSubject
                .getOWLObjectPropertyAssertionAxiom(p, s, o);
        assertEquals(axA.hashCode(), axB.hashCode());
View Full Code Here
2282
2283
2284
2285
2286
2287
2288
2289
2290
2291
2292
        assertNotNull(testSubject.getOWLClassAssertionAxiom(C(IRI()), I()));
    }

    @Test
    public void testEqualsPositiveClassAssertion() {
        OWLIndividual left = I();
        OWLClass right = C(IRI());
        OWLAxiom axA = testSubject.getOWLClassAssertionAxiom(right, left);
        OWLAxiom axB = testSubject.getOWLClassAssertionAxiom(right, left);
        assertEquals(axA, axB);
    }
View Full Code Here
TOP

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

  • com.clarkparsia.explanation.test.MiscExplanationTests
  • com.clarkparsia.modularity.EntailmentChecker
  • com.clarkparsia.modularity.io.TaxonomyPersistence
  • com.clarkparsia.owlapi.explanation.AxiomConverter
  • com.clarkparsia.owlapi.explanation.SatisfiabilityConverter$AxiomConverter
  • com.clarkparsia.owlwg.testrun.TestRunResultAdapter
  • com.clarkparsia.pellet.owlapiv3.AxiomConverter
  • com.clarkparsia.pellet.owlapiv3.ConceptConverter
  • com.clarkparsia.pellet.owlapiv3.EntailmentChecker
  • com.clarkparsia.pellet.owlapiv3.Reasoner
    • 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.