Package org.semanticweb.owlapi.profiles

Examples of org.semanticweb.owlapi.profiles.OWL2QLProfile$OWL2QLObjectVisitor

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
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
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
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
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
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
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
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
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
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

Related Classes of org.semanticweb.owlapi.profiles.OWL2QLProfile$OWL2QLObjectVisitor

  • org.semanticweb.owlapi.profiles.test.OWLProfileTestCase
  • org.semanticweb.owlapi.profiles.test.ProfileBase
  • org.semanticweb.owlapi.profiles.test.ProfileValidationTestCase
  • org.semanticweb.owlapi.profiles.violations.UseOfAnonymousIndividual
  • org.semanticweb.owlapi.profiles.violations.UseOfIllegalAxiom
  • org.semanticweb.owlapi.profiles.violations.UseOfIllegalDataRange
  • org.semanticweb.owlapi.profiles.violations.UseOfNonAtomicClassExpression
  • org.semanticweb.owlapi.profiles.violations.UseOfNonSubClassExpression
  • org.semanticweb.owlapi.profiles.violations.UseOfNonSuperClassExpression
  • org.semanticweb.owlapi.util.OWLOntologyWalker
    • 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.