Examples of OWLDataProperty

Examples of org.semanticweb.owlapi.model.OWLDataProperty

825
826
827
828
829
830
831
832
833
834
835
        assertEquals(restA.hashCode(), restB.hashCode());
    }

    @Test
    public void testCreationDataExact() {
        OWLDataProperty prop = DP(IRI());
        int cardinality = 3;
        OWLDataCardinalityRestriction restA = testSubject
                .getOWLDataExactCardinality(cardinality, prop,
                        testSubject.getTopDatatype());
        assertNotNull(restA);
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataProperty

840
841
842
843
844
845
846
847
848
849
850
        assertEquals(restA.getProperty(), prop);
    }

    @Test
    public void testEqualsPositiveDataExact() {
        OWLDataProperty prop = DP(IRI());
        int cardinality = 3;
        OWLDataCardinalityRestriction restA = testSubject
                .getOWLDataExactCardinality(cardinality, prop,
                        testSubject.getTopDatatype());
        OWLDataCardinalityRestriction restB = testSubject
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataProperty

860
861
862
863
864
865
866
867
868
869
870
        assertEquals(restA.getProperty(), prop);
    }

    @Test
    public void testEqualsNegativeDataExact() {
        OWLDataProperty prop = DP(IRI());
        // Different cardinality
        OWLDataCardinalityRestriction restA = testSubject
                .getOWLDataExactCardinality(3, prop,
                        testSubject.getTopDatatype());
        OWLDataCardinalityRestriction restB = testSubject
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataProperty

888
889
890
891
892
893
894
895
896
897
898
        assertEquals(restA.getProperty(), prop);
    }

    @Test
    public void testHashCodeDataExact() {
        OWLDataProperty prop = DP(IRI());
        int cardinality = 3;
        OWLDataRange dataRange = D(IRI());
        OWLDataCardinalityRestriction restA = testSubject
                .getOWLDataExactCardinality(cardinality, prop, dataRange);
        OWLDataCardinalityRestriction restB = testSubject
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataProperty

901
902
903
904
905
906
907
908
909
910
911
        assertEquals(restA.getProperty(), prop);
    }

    @Test
    public void testCreationDataMin() {
        OWLDataProperty prop = DP(IRI());
        int cardinality = 3;
        OWLDataCardinalityRestriction restA = testSubject
                .getOWLDataMinCardinality(cardinality, prop,
                        testSubject.getTopDatatype());
        assertNotNull(restA);
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataProperty

916
917
918
919
920
921
922
923
924
925
926
        assertEquals(restA.getProperty(), prop);
    }

    @Test
    public void testEqualsPositiveDataMin() {
        OWLDataProperty prop = DP(IRI());
        int cardinality = 3;
        OWLDataCardinalityRestriction restA = testSubject
                .getOWLDataMinCardinality(cardinality, prop,
                        testSubject.getTopDatatype());
        OWLDataCardinalityRestriction restB = testSubject
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataProperty

936
937
938
939
940
941
942
943
944
945
946
        assertEquals(restA.getProperty(), prop);
    }

    @Test
    public void testEqualsNegativeDataMin() {
        OWLDataProperty prop = DP(IRI());
        // Different cardinality
        OWLDataCardinalityRestriction restA = testSubject
                .getOWLDataMinCardinality(3, prop, testSubject.getTopDatatype());
        OWLDataCardinalityRestriction restB = testSubject
                .getOWLDataMinCardinality(4, prop, testSubject.getTopDatatype());
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataProperty

962
963
964
965
966
967
968
969
970
971
972
        assertEquals(restA.getProperty(), prop);
    }

    @Test
    public void testHashCodeDataMin() {
        OWLDataProperty prop = DP(IRI());
        int cardinality = 3;
        OWLDataRange dataRange = D(IRI());
        OWLDataCardinalityRestriction restA = testSubject
                .getOWLDataMinCardinality(cardinality, prop, dataRange);
        OWLDataCardinalityRestriction restB = testSubject
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataProperty

975
976
977
978
979
980
981
982
983
984
985
        assertEquals(restA.getProperty(), prop);
    }

    @Test
    public void testCreationDataMax() {
        OWLDataProperty prop = DP(IRI());
        int cardinality = 3;
        OWLDataCardinalityRestriction restA = testSubject
                .getOWLDataMaxCardinality(cardinality, prop,
                        testSubject.getTopDatatype());
        assertNotNull(restA);
View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLDataProperty

990
991
992
993
994
995
996
997
998
999
1000
        assertEquals(restA.getProperty(), prop);
    }

    @Test
    public void testEqualsPositiveDataMax() {
        OWLDataProperty prop = DP(IRI());
        int cardinality = 3;
        OWLDataCardinalityRestriction restA = testSubject
                .getOWLDataMaxCardinality(cardinality, prop,
                        testSubject.getTopDatatype());
        OWLDataCardinalityRestriction restB = testSubject
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.