Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLDataProperty

1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
        assertEquals(restA.getProperty(), prop);
    }

    @Test
    public void testHashCodeDataMax() {
        OWLDataProperty prop = DP(IRI());
        int cardinality = 3;
        OWLDataRange dataRange = D(IRI());
        OWLDataCardinalityRestriction restA = testSubject
                .getOWLDataMaxCardinality(cardinality, prop, dataRange);
        OWLDataCardinalityRestriction restB = testSubject
View Full Code Here
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
        assertEquals(restA.hashCode(), restB.hashCode());
    }

    @Test
    public void testEqualsPositiveDataHas() {
        OWLDataProperty prop = DP(IRI());
        OWLLiteral filler = Literal();
        OWLRestriction restA = testSubject.getOWLDataHasValue(prop, filler);
        OWLRestriction restB = testSubject.getOWLDataHasValue(prop, filler);
        assertEquals(restA, restB);
    }
View Full Code Here
1313
1314
1315
1316
1317
1318
1319
1320
1321
1322
1323
    }

    @Test
    public void testEqualsNegativeDataHas() {
        // Different filler
        OWLDataProperty prop = DP(IRI());
        OWLRestriction restA = testSubject.getOWLDataHasValue(prop, Literal());
        OWLRestriction restB = testSubject.getOWLDataHasValue(prop, Literal());
        assertFalse(restA.equals(restB));
        // Different property
        OWLLiteral filler = Literal();
View Full Code Here
787
788
789
790
791
792
793
794
795
796
797
            int level, boolean showBottomNode) {
        if (!showBottomNode && cls.isBottomNode()) {
            return;
        }
        printIndent(level);
        OWLDataProperty representative = cls.getRepresentativeElement();
        System.out.println(getEquivalentDataProperties(representative));
        for (Node<OWLDataProperty> subProp : getSubDataProperties(
                representative, true)) {
            assert subProp != null;
            dumpDataPropertyHierarchy(subProp, level + 1, showBottomNode);
View Full Code Here
1328
1329
1330
1331
1332
1333
1334
1335
1336
1337
1338
        assertFalse(restC.equals(restD));
    }

    @Test
    public void testHashCodeDataHas() {
        OWLDataProperty prop = DP(IRI());
        OWLLiteral filler = Literal();
        OWLRestriction restA = testSubject.getOWLDataHasValue(prop, filler);
        OWLRestriction restB = testSubject.getOWLDataHasValue(prop, filler);
        assertEquals(restA.hashCode(), restB.hashCode());
    }
View Full Code Here
1337
1338
1339
1340
1341
1342
1343
1344
1345
1346
1347
        assertEquals(restA.hashCode(), restB.hashCode());
    }

    @Test
    public void testEqualsPositiveDataSome() {
        OWLDataProperty prop = DP(IRI());
        OWLDataRange filler = D(IRI());
        OWLRestriction restA = testSubject.getOWLDataSomeValuesFrom(prop,
                filler);
        OWLRestriction restB = testSubject.getOWLDataSomeValuesFrom(prop,
                filler);
View Full Code Here
1349
1350
1351
1352
1353
1354
1355
1356
1357
1358
1359
    }

    @Test
    public void testEqualsNegativeDataSome() {
        // Different filler
        OWLDataProperty prop = DP(IRI());
        OWLRestriction restA = testSubject.getOWLDataSomeValuesFrom(prop,
                D(IRI()));
        OWLRestriction restB = testSubject.getOWLDataSomeValuesFrom(prop,
                D(IRI()));
        assertFalse(restA.equals(restB));
View Full Code Here
1366
1367
1368
1369
1370
1371
1372
1373
1374
1375
1376
        assertFalse(restC.equals(restD));
    }

    @Test
    public void testHashCodeDataSome() {
        OWLDataProperty prop = DP(IRI());
        OWLDataRange filler = D(IRI());
        OWLRestriction restA = testSubject.getOWLDataSomeValuesFrom(prop,
                filler);
        OWLRestriction restB = testSubject.getOWLDataSomeValuesFrom(prop,
                filler);
View Full Code Here
1377
1378
1379
1380
1381
1382
1383
1384
1385
1386
1387
        assertEquals(restA.hashCode(), restB.hashCode());
    }

    @Test
    public void testEqualsPositiveDataAll() {
        OWLDataProperty prop = DP(IRI());
        OWLDataRange filler = D(IRI());
        OWLRestriction restA = testSubject
                .getOWLDataAllValuesFrom(prop, filler);
        OWLRestriction restB = testSubject
                .getOWLDataAllValuesFrom(prop, filler);
View Full Code Here
1389
1390
1391
1392
1393
1394
1395
1396
1397
1398
1399
    }

    @Test
    public void testEqualsNegativeDataAll() {
        // Different filler
        OWLDataProperty prop = DP(IRI());
        OWLRestriction restA = testSubject.getOWLDataAllValuesFrom(prop,
                D(IRI()));
        OWLRestriction restB = testSubject.getOWLDataAllValuesFrom(prop,
                D(IRI()));
        assertFalse(restA.equals(restB));
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.