Package org.semanticweb.owlapi.profiles

Examples of org.semanticweb.owlapi.profiles.OWL2ELProfile

1282
1283
1284
1285
1286
1287
1288
1289
1290
1291
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, P);
        m.addAxiom(o, SymmetricObjectProperty(P));
        OWL2ELProfile profile = new OWL2ELProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalAxiom.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        m.addAxiom(o, DF.getSWRLRule(new HashSet<SWRLAtom>(),
                new HashSet<SWRLAtom>()));
        OWL2ELProfile profile = new OWL2ELProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalAxiom.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
1309
1310
1311
1312
1313
1314
1315
1316
1317
1318
1319
    public void
            shouldCreateViolationForOWLSubPropertyChainOfAxiomInOWL2ELProfile()
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        OWL2ELProfile profile = new OWL2ELProfile();
        OWLObjectProperty op1 = ObjectProperty(IRI("urn:test#op1"));
        OWLObjectProperty op2 = ObjectProperty(IRI("urn:test#op"));
        declare(o, op1, OP, op2, CL);
        m.addAxiom(o, ObjectPropertyRange(OP, CL));
        List<OWLObjectProperty> asList = Arrays.asList(op2, op1);
View Full Code Here
TOP

Related Classes of org.semanticweb.owlapi.profiles.OWL2ELProfile

  • org.semanticweb.owlapi.model.OWLClassExpression
  • org.semanticweb.owlapi.model.OWLObjectPropertyExpression
  • org.semanticweb.owlapi.profiles.test.OWLProfileTestCase
  • org.semanticweb.owlapi.profiles.test.ProfileBase
  • org.semanticweb.owlapi.profiles.test.ProfileValidationTestCase
  • org.semanticweb.owlapi.profiles.violations.LastPropertyInChainNotInImposedRange
  • org.semanticweb.owlapi.profiles.violations.UseOfAnonymousIndividual
  • org.semanticweb.owlapi.profiles.violations.UseOfDataOneOfWithMultipleLiterals
  • org.semanticweb.owlapi.profiles.violations.UseOfIllegalAxiom
  • org.semanticweb.owlapi.profiles.violations.UseOfIllegalClassExpression
    • 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.