Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLObjectCardinalityRestriction

2068
2069
2070
2071
2072
2073
2074
2075
2076
2077
2078
2079
2080
2081
2082
2083
2084
2085
2086
2087
2088
2089
2090
2091
2092
2093
2094
2095
2096
2097
2098
2099
2100
2101
2102
2103
2104
2105
2106
2107
2108
2109
2110
2111
2112
2113
2114
2115
2116
2117
2118
2119
2120
2121
2122
2123
2124
2125
2126
2127
                addQualifiers(c, ax.getAnnotations());
            } else if (sup instanceof OWLObjectCardinalityRestriction) {
                // OWLObjectExactCardinality
                // OWLObjectMinCardinality
                // OWLObjectMaxCardinality
                OWLObjectCardinalityRestriction cardinality = (OWLObjectCardinalityRestriction) sup;
                OWLClassExpression filler = cardinality.getFiller();
                if (filler.isBottomEntity() || filler.isTopEntity()) {
                    error(TOP_BOTTOM_NONTRANSLATEABLE, ax, false);
                    return;
                }
                String fillerId = getIdentifier(filler);
                if (fillerId == null) {
                    error(ax, true);
                    return;
                }
                f.addClause(createRelationshipClauseWithCardinality(
                        cardinality, fillerId, qvs, ax));
            } else if (sup instanceof OWLQuantifiedObjectRestriction) {
                // OWLObjectSomeValuesFrom
                // OWLObjectAllValuesFrom
                OWLQuantifiedObjectRestriction r = (OWLQuantifiedObjectRestriction) sup;
                OWLClassExpression filler = r.getFiller();
                if (filler.isBottomEntity() || filler.isTopEntity()) {
                    error(TOP_BOTTOM_NONTRANSLATEABLE, ax, false);
                    return;
                }
                String fillerId = getIdentifier(filler);
                if (fillerId == null) {
                    error(ax, true);
                    return;
                }
                f.addClause(createRelationshipClauseWithRestrictions(r,
                        fillerId, qvs, ax));
            } else if (sup instanceof OWLObjectIntersectionOf) {
                OWLObjectIntersectionOf i = (OWLObjectIntersectionOf) sup;
                List<Clause> clauses = new ArrayList<>();
                for (OWLClassExpression operand : i.getOperands()) {
                    if (operand instanceof OWLObjectCardinalityRestriction) {
                        OWLObjectCardinalityRestriction restriction = (OWLObjectCardinalityRestriction) operand;
                        OWLClassExpression filler = restriction.getFiller();
                        if (filler.isBottomEntity() || filler.isTopEntity()) {
                            error(TOP_BOTTOM_NONTRANSLATEABLE, ax, false);
                            return;
                        }
                        String fillerId = getIdentifier(filler);
                        if (fillerId == null) {
                            error(ax, true);
                            return;
                        }
                        clauses.add(createRelationshipClauseWithCardinality(
                                restriction, fillerId, new HashSet<>(qvs), ax));
                    } else if (operand instanceof OWLQuantifiedObjectRestriction) {
                        OWLQuantifiedObjectRestriction restriction = (OWLQuantifiedObjectRestriction) operand;
                        OWLClassExpression filler = restriction.getFiller();
                        if (filler.isBottomEntity() || filler.isTopEntity()) {
                            error(TOP_BOTTOM_NONTRANSLATEABLE, ax, false);
                            return;
                        }
                        String fillerId = getIdentifier(filler);
View Full Code Here
1707
1708
1709
1710
1711
1712
1713
1714
1715
1716
1717
1718
1719
1720
    @Test
    public void testCreationExactCard() {
        OWLObjectProperty prop = OP(IRI());
        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
1721
1722
1723
1724
1725
1726
1727
1728
1729
1730
1731
1732
1733
1734
1735
1736
1737
1738
1739
    @Test
    public void testEqualsPositiveExactCard() {
        OWLObjectProperty prop = OP(IRI());
        int cardinality = 3;
        OWLObjectCardinalityRestriction restA = testSubject
                .getOWLObjectExactCardinality(cardinality, prop,
                        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
1740
1741
1742
1743
1744
1745
1746
1747
1748
1749
1750
1751
1752
1753
1754
1755
1756
1757
1758
1759
1760
1761
1762
1763
1764
1765
1766
    @Test
    public void testEqualsNegativeExactCard() {
        OWLObjectProperty prop = OP(IRI());
        // Different cardinality
        OWLObjectCardinalityRestriction restA = testSubject
                .getOWLObjectExactCardinality(3, prop,
                        testSubject.getOWLThing());
        OWLObjectCardinalityRestriction restB = testSubject
                .getOWLObjectExactCardinality(4, prop,
                        testSubject.getOWLThing());
        assertFalse(restA.equals(restB));
        // Different property
        OWLObjectCardinalityRestriction restC = testSubject
                .getOWLObjectExactCardinality(3, OP(IRI()),
                        testSubject.getOWLThing());
        OWLObjectCardinalityRestriction restD = testSubject
                .getOWLObjectExactCardinality(3, OP(IRI()),
                        testSubject.getOWLThing());
        assertFalse(restC.equals(restD));
        // Different filler
        OWLObjectCardinalityRestriction restE = testSubject
                .getOWLObjectExactCardinality(3, prop, C(IRI()));
        OWLObjectCardinalityRestriction restF = testSubject
                .getOWLObjectExactCardinality(3, prop, C(IRI()));
        assertFalse(restE.equals(restF));
    }
View Full Code Here
1768
1769
1770
1771
1772
1773
1774
1775
1776
1777
1778
    @Test
    public void testHashCodeExactCard() {
        OWLObjectProperty prop = OP(IRI());
        int cardinality = 3;
        OWLClassExpression cls = C(IRI());
        OWLObjectCardinalityRestriction restA = testSubject
                .getOWLObjectExactCardinality(cardinality, prop, cls);
        OWLObjectCardinalityRestriction restB = testSubject
                .getOWLObjectExactCardinality(cardinality, prop, cls);
        assertEquals(restA.hashCode(), restB.hashCode());
    }
View Full Code Here
1779
1780
1781
1782
1783
1784
1785
1786
1787
1788
1789
1790
1791
1792
    @Test
    public void testCreationMaxCard() {
        OWLObjectProperty prop = OP(IRI());
        int cardinality = 3;
        OWLObjectCardinalityRestriction restA = testSubject
                .getOWLObjectMaxCardinality(cardinality, prop,
                        testSubject.getOWLThing());
        assertNotNull(restA);
        OWLClassExpression cls = C(IRI());
        OWLObjectCardinalityRestriction restB = testSubject
                .getOWLObjectMaxCardinality(cardinality, prop, cls);
        assertNotNull(restB);
    }
View Full Code Here
1793
1794
1795
1796
1797
1798
1799
1800
1801
1802
1803
1804
1805
1806
1807
1808
1809
1810
1811
    @Test
    public void testEqualsPositiveMaxCard() {
        OWLObjectProperty prop = OP(IRI());
        int cardinality = 3;
        OWLObjectCardinalityRestriction restA = testSubject
                .getOWLObjectMaxCardinality(cardinality, prop,
                        testSubject.getOWLThing());
        OWLObjectCardinalityRestriction restB = testSubject
                .getOWLObjectMaxCardinality(cardinality, prop,
                        testSubject.getOWLThing());
        assertEquals(restA, restB);
        OWLClassExpression cls = C(IRI());
        OWLObjectCardinalityRestriction restC = testSubject
                .getOWLObjectMaxCardinality(cardinality, prop, cls);
        OWLObjectCardinalityRestriction restD = testSubject
                .getOWLObjectMaxCardinality(cardinality, prop, cls);
        assertEquals(restC, restD);
    }
View Full Code Here
1812
1813
1814
1815
1816
1817
1818
1819
1820
1821
1822
1823
1824
1825
1826
1827
1828
1829
1830
1831
1832
1833
1834
1835
1836
    @Test
    public void testEqualsNegativeMaxCard() {
        OWLObjectProperty prop = OP(IRI());
        // Different cardinality
        OWLObjectCardinalityRestriction restA = testSubject
                .getOWLObjectMaxCardinality(3, prop, testSubject.getOWLThing());
        OWLObjectCardinalityRestriction restB = testSubject
                .getOWLObjectMaxCardinality(4, prop, testSubject.getOWLThing());
        assertFalse(restA.equals(restB));
        // Different property
        OWLObjectCardinalityRestriction restC = testSubject
                .getOWLObjectMaxCardinality(3, OP(IRI()),
                        testSubject.getOWLThing());
        OWLObjectCardinalityRestriction restD = testSubject
                .getOWLObjectMaxCardinality(3, OP(IRI()),
                        testSubject.getOWLThing());
        assertFalse(restC.equals(restD));
        // Different filler
        OWLObjectCardinalityRestriction restE = testSubject
                .getOWLObjectMaxCardinality(3, prop, C(IRI()));
        OWLObjectCardinalityRestriction restF = testSubject
                .getOWLObjectMaxCardinality(3, prop, C(IRI()));
        assertFalse(restE.equals(restF));
    }
View Full Code Here
1838
1839
1840
1841
1842
1843
1844
1845
1846
1847
1848
    @Test
    public void testHashCodeMaxCard() {
        OWLObjectProperty prop = OP(IRI());
        int cardinality = 3;
        OWLClassExpression cls = C(IRI());
        OWLObjectCardinalityRestriction restA = testSubject
                .getOWLObjectMaxCardinality(cardinality, prop, cls);
        OWLObjectCardinalityRestriction restB = testSubject
                .getOWLObjectMaxCardinality(cardinality, prop, cls);
        assertEquals(restA.hashCode(), restB.hashCode());
    }
View Full Code Here
1849
1850
1851
1852
1853
1854
1855
1856
1857
1858
1859
1860
1861
1862
    @Test
    public void testCreationMinCard() {
        OWLObjectProperty prop = OP(IRI());
        int cardinality = 3;
        OWLObjectCardinalityRestriction restA = testSubject
                .getOWLObjectMinCardinality(cardinality, prop,
                        testSubject.getOWLThing());
        assertNotNull(restA);
        OWLClassExpression cls = C(IRI());
        OWLObjectCardinalityRestriction restB = testSubject
                .getOWLObjectMinCardinality(cardinality, prop, cls);
        assertNotNull(restB);
    }
View Full Code Here
TOP

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

  • org.obolibrary.obo2owl.OWLAPIOwl2Obo
  • org.semanticweb.HermiT.structural.ObjectPropertyInclusionManager
  • org.semanticweb.owlapi.datafactory.OWLDataFactoryTestCase
  • uk.ac.manchester.cs.owl.owlapi.OWLObjectCardinalityRestrictionImpl
    • 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.