Package org.semanticweb.owlapi.profiles

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

342
343
344
345
346
347
348
349
350
351
352
    public void shouldCreateViolationForOWLOntologyInOWL2DLProfile()
            throws Exception {
        OWLOntology o = OWLManager.createOWLOntologyManager().createOntology(
                new OWLOntologyID(Optional.of(IRI(START + "test")), Optional
                        .of(IRI(START + "test1"))));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 2;
        Class[] expectedViolations = {
                UseOfReservedVocabularyForOntologyIRI.class,
                UseOfReservedVocabularyForVersionIRI.class };
        runAssert(o, profile, expected, expectedViolations);
View Full Code Here
361
362
363
364
365
366
367
368
369
370
371
        declare(o, Class(IRI(START + "test")), FAKEDATATYPE);
        m.addAxiom(
                o,
                ClassAssertion(Class(FAKEDATATYPE.getIRI()),
                        AnonymousIndividual()));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 2;
        Class[] expectedViolations = { UseOfUndeclaredClass.class,
                DatatypeIRIAlsoUsedAsClassIRI.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
376
377
378
379
380
381
382
383
384
385
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, DATAP);
        m.addAxiom(o, DataPropertyRange(DATAP, DataOneOf()));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { EmptyOneOfAxiom.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
390
391
392
393
394
395
396
397
398
399
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, DATAP);
        m.addAxiom(o, DataPropertyRange(DATAP, DataUnionOf()));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { InsufficientOperands.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
404
405
406
407
408
409
410
411
412
413
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, DATAP);
        m.addAxiom(o, DataPropertyRange(DATAP, DataIntersectionOf()));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { InsufficientOperands.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
419
420
421
422
423
424
425
426
427
428
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP);
        m.addAxiom(o, ObjectPropertyRange(OP, ObjectIntersectionOf()));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { InsufficientOperands.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
433
434
435
436
437
438
439
440
441
442
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP);
        m.addAxiom(o, ObjectPropertyRange(OP, ObjectOneOf()));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { EmptyOneOfAxiom.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
447
448
449
450
451
452
453
454
455
456
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP);
        m.addAxiom(o, ObjectPropertyRange(OP, ObjectUnionOf()));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { InsufficientOperands.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
462
463
464
465
466
467
468
469
470
471
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP);
        m.addAxiom(o, EquivalentClasses());
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { InsufficientOperands.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
477
478
479
480
481
482
483
484
485
486
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP);
        m.addAxiom(o, DisjointClasses());
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { InsufficientOperands.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
TOP

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

  • com.clarkparsia.pellint.test.util.OWL2DLProfileViolationsTest
  • org.semanticweb.owlapi.model.IRI
  • org.semanticweb.owlapi.model.OWLObjectPropertyExpression
  • org.semanticweb.owlapi.model.OWLOntologyID
  • org.semanticweb.owlapi.profiles.test.ForbiddenVocabularyTestCase
  • org.semanticweb.owlapi.profiles.test.OWLProfileTestCase
  • org.semanticweb.owlapi.profiles.test.ProfileBase
  • org.semanticweb.owlapi.profiles.test.ProfileValidationTestCase
  • org.semanticweb.owlapi.profiles.violations.CycleInDatatypeDefinition
  • org.semanticweb.owlapi.profiles.violations.DatatypeIRIAlsoUsedAsClassIRI
    • 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.