Examples of OWL2QLProfile

Examples of org.semanticweb.owlapi.profiles.OWL2QLProfile

1459
1460
1461
1462
1463
1464
1465
1466
1467
1468
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        OWLObjectProperty op1 = ObjectProperty(IRI("urn:test#op"));
        declare(o, OP, op1);
        m.addAxiom(o, SubPropertyChainOf(Arrays.asList(OP, op1), OP));
        OWL2QLProfile profile = new OWL2QLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalAxiom.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2QLProfile

1475
1476
1477
1478
1479
1480
1481
1482
1483
1484
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP);
        m.addAxiom(o, FunctionalObjectProperty(OP));
        OWL2QLProfile profile = new OWL2QLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalAxiom.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2QLProfile

1491
1492
1493
1494
1495
1496
1497
1498
1499
1500
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP);
        m.addAxiom(o, InverseFunctionalObjectProperty(OP));
        OWL2QLProfile profile = new OWL2QLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalAxiom.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2QLProfile

1507
1508
1509
1510
1511
1512
1513
1514
1515
1516
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP);
        m.addAxiom(o, TransitiveObjectProperty(OP));
        OWL2QLProfile profile = new OWL2QLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalAxiom.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2QLProfile

1523
1524
1525
1526
1527
1528
1529
1530
1531
1532
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, DATAP);
        m.addAxiom(o, FunctionalDataProperty(DATAP));
        OWL2QLProfile profile = new OWL2QLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalAxiom.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2QLProfile

1541
1542
1543
1544
1545
1546
1547
1548
1549
1550
        declare(o, DATAP, OP);
        m.addAxiom(
                o,
                DataPropertyDomain(DATAP,
                        ObjectMaxCardinality(1, OP, OWLNothing())));
        OWL2QLProfile profile = new OWL2QLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfNonSuperClassExpression.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2QLProfile

1556
1557
1558
1559
1560
1561
1562
1563
1564
1565
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        OWLNamedIndividual i = NamedIndividual(IRI("urn:test#i"));
        declare(o, OP, i);
        m.addAxiom(o, ClassAssertion(ObjectSomeValuesFrom(OP, OWLThing()), i));
        OWL2QLProfile profile = new OWL2QLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfNonAtomicClassExpression.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2QLProfile

1572
1573
1574
1575
1576
1577
1578
1579
1580
1581
        OWLOntologyManager m = o.getOWLOntologyManager();
        m.addAxiom(
                o,
                SameIndividual(NamedIndividual(IRI("urn:test#individual1")),
                        NamedIndividual(IRI("urn:test#individual2"))));
        OWL2QLProfile profile = new OWL2QLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalAxiom.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2QLProfile

1591
1592
1593
1594
1595
1596
1597
1598
1599
1600
        declare(o, OP);
        OWLNamedIndividual i = NamedIndividual(IRI("urn:test#i"));
        OWLNamedIndividual i1 = NamedIndividual(IRI("urn:test#i"));
        declare(o, i, i1);
        m.addAxiom(o, NegativeObjectPropertyAssertion(OP, i, i1));
        OWL2QLProfile profile = new OWL2QLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalAxiom.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2QLProfile

1609
1610
1611
1612
1613
1614
1615
1616
1617
1618
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, DATAP);
        OWLNamedIndividual i = NamedIndividual(IRI("urn:test#i"));
        declare(o, i);
        m.addAxiom(o, NegativeDataPropertyAssertion(DATAP, i, Literal(1)));
        OWL2QLProfile profile = new OWL2QLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalAxiom.class };
        runAssert(o, profile, expected, expectedViolations);
    }
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.