Package org.semanticweb.owlapi.model

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
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
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
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
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
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
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
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
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
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
        assertEquals(restA.getProperty(), prop);
    }

    @Test
    public void testEqualsNegativeDataMax() {
        OWLDataProperty prop = DP(IRI());
        // Different cardinality
        OWLDataCardinalityRestriction restA = testSubject
                .getOWLDataMaxCardinality(3, prop, testSubject.getTopDatatype());
        OWLDataCardinalityRestriction restB = testSubject
                .getOWLDataMaxCardinality(4, prop, testSubject.getTopDatatype());
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.