Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLDataCardinalityRestriction

827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
    @Test
    public void testCreationDataExact() {
        OWLDataProperty prop = DP(IRI());
        int cardinality = 3;
        OWLDataCardinalityRestriction restA = testSubject
                .getOWLDataExactCardinality(cardinality, prop,
                        testSubject.getTopDatatype());
        assertNotNull(restA);
        OWLDataRange dataRange = D(IRI());
        OWLDataCardinalityRestriction restB = testSubject
                .getOWLDataExactCardinality(cardinality, prop, dataRange);
        assertNotNull(restB);
        assertEquals(restA.getProperty(), prop);
    }
View Full Code Here
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
    @Test
    public void testEqualsPositiveDataExact() {
        OWLDataProperty prop = DP(IRI());
        int cardinality = 3;
        OWLDataCardinalityRestriction restA = testSubject
                .getOWLDataExactCardinality(cardinality, prop,
                        testSubject.getTopDatatype());
        OWLDataCardinalityRestriction restB = testSubject
                .getOWLDataExactCardinality(cardinality, prop,
                        testSubject.getTopDatatype());
        assertEquals(restA, restB);
        OWLDataRange dataRange = D(IRI());
        OWLDataCardinalityRestriction restC = testSubject
                .getOWLDataExactCardinality(cardinality, prop, dataRange);
        OWLDataCardinalityRestriction restD = testSubject
                .getOWLDataExactCardinality(cardinality, prop, dataRange);
        assertEquals(restC, restD);
        assertEquals(restA.getProperty(), prop);
    }
View Full Code Here
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
    @Test
    public void testEqualsNegativeDataExact() {
        OWLDataProperty prop = DP(IRI());
        // Different cardinality
        OWLDataCardinalityRestriction restA = testSubject
                .getOWLDataExactCardinality(3, prop,
                        testSubject.getTopDatatype());
        OWLDataCardinalityRestriction restB = testSubject
                .getOWLDataExactCardinality(4, prop,
                        testSubject.getTopDatatype());
        assertFalse(restA.equals(restB));
        // Different property
        OWLDataCardinalityRestriction restC = testSubject
                .getOWLDataExactCardinality(3, DP(IRI()),
                        testSubject.getTopDatatype());
        OWLDataCardinalityRestriction restD = testSubject
                .getOWLDataExactCardinality(3, DP(IRI()),
                        testSubject.getTopDatatype());
        assertFalse(restC.equals(restD));
        // Different filler
        OWLDataCardinalityRestriction restE = testSubject
                .getOWLDataExactCardinality(3, prop, D(IRI()));
        OWLDataCardinalityRestriction restF = testSubject
                .getOWLDataExactCardinality(3, prop, D(IRI()));
        assertFalse(restE.equals(restF));
        assertEquals(restA.getProperty(), prop);
    }
View Full Code Here
891
892
893
894
895
896
897
898
899
900
901
902
    @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
                .getOWLDataExactCardinality(cardinality, prop, dataRange);
        assertEquals(restA, restB);
        assertEquals(restA.getProperty(), prop);
    }
View Full Code Here
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
    @Test
    public void testCreationDataMin() {
        OWLDataProperty prop = DP(IRI());
        int cardinality = 3;
        OWLDataCardinalityRestriction restA = testSubject
                .getOWLDataMinCardinality(cardinality, prop,
                        testSubject.getTopDatatype());
        assertNotNull(restA);
        OWLDataRange dataRange = D(IRI());
        OWLDataCardinalityRestriction restB = testSubject
                .getOWLDataMinCardinality(cardinality, prop, dataRange);
        assertNotNull(restB);
        assertEquals(restA.getProperty(), prop);
    }
View Full Code Here
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
    @Test
    public void testEqualsPositiveDataMin() {
        OWLDataProperty prop = DP(IRI());
        int cardinality = 3;
        OWLDataCardinalityRestriction restA = testSubject
                .getOWLDataMinCardinality(cardinality, prop,
                        testSubject.getTopDatatype());
        OWLDataCardinalityRestriction restB = testSubject
                .getOWLDataMinCardinality(cardinality, prop,
                        testSubject.getTopDatatype());
        assertEquals(restA, restB);
        OWLDataRange dataRange = D(IRI());
        OWLDataCardinalityRestriction restC = testSubject
                .getOWLDataMinCardinality(cardinality, prop, dataRange);
        OWLDataCardinalityRestriction restD = testSubject
                .getOWLDataMinCardinality(cardinality, prop, dataRange);
        assertEquals(restC, restD);
        assertEquals(restA.getProperty(), prop);
    }
View Full Code Here
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
    @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());
        assertFalse(restA.equals(restB));
        // Different property
        OWLDataCardinalityRestriction restC = testSubject
                .getOWLDataMinCardinality(3, DP(IRI()),
                        testSubject.getTopDatatype());
        OWLDataCardinalityRestriction restD = testSubject
                .getOWLDataMinCardinality(3, DP(IRI()),
                        testSubject.getTopDatatype());
        assertFalse(restC.equals(restD));
        // Different filler
        OWLDataCardinalityRestriction restE = testSubject
                .getOWLDataMinCardinality(3, prop, D(IRI()));
        OWLDataCardinalityRestriction restF = testSubject
                .getOWLDataMinCardinality(3, prop, D(IRI()));
        assertFalse(restE.equals(restF));
        assertEquals(restA.getProperty(), prop);
    }
View Full Code Here
965
966
967
968
969
970
971
972
973
974
975
976
    @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
                .getOWLDataMinCardinality(cardinality, prop, dataRange);
        assertEquals(restA, restB);
        assertEquals(restA.getProperty(), prop);
    }
View Full Code Here
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
    @Test
    public void testCreationDataMax() {
        OWLDataProperty prop = DP(IRI());
        int cardinality = 3;
        OWLDataCardinalityRestriction restA = testSubject
                .getOWLDataMaxCardinality(cardinality, prop,
                        testSubject.getTopDatatype());
        assertNotNull(restA);
        OWLDataRange dataRange = D(IRI());
        OWLDataCardinalityRestriction restB = testSubject
                .getOWLDataMaxCardinality(cardinality, prop, dataRange);
        assertNotNull(restB);
        assertEquals(restA.getProperty(), prop);
    }
View Full Code Here
992
993
994
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
    @Test
    public void testEqualsPositiveDataMax() {
        OWLDataProperty prop = DP(IRI());
        int cardinality = 3;
        OWLDataCardinalityRestriction restA = testSubject
                .getOWLDataMaxCardinality(cardinality, prop,
                        testSubject.getTopDatatype());
        OWLDataCardinalityRestriction restB = testSubject
                .getOWLDataMaxCardinality(cardinality, prop,
                        testSubject.getTopDatatype());
        assertEquals(restA, restB);
        OWLDataRange dataRange = D(IRI());
        OWLDataCardinalityRestriction restC = testSubject
                .getOWLDataMaxCardinality(cardinality, prop, dataRange);
        OWLDataCardinalityRestriction restD = testSubject
                .getOWLDataMaxCardinality(cardinality, prop, dataRange);
        assertEquals(restC, restD);
        assertEquals(restA.getProperty(), prop);
    }
View Full Code Here
TOP

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

  • org.semanticweb.owlapi.datafactory.OWLDataFactoryTestCase
  • uk.ac.manchester.cs.owl.owlapi.OWLDataCardinalityRestrictionImpl
    • 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.