Examples of OWL2DLProfile

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

494
495
496
497
498
499
500
501
502
503
        declare(o, OP);
        OWLClass otherfakeclass = Class(IRI("urn:test#otherfakeclass"));
        declare(o, CL);
        declare(o, otherfakeclass);
        m.addAxiom(o, DisjointUnion(CL, otherfakeclass));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { InsufficientOperands.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

509
510
511
512
513
514
515
516
517
518
            shouldCreateViolationForOWLEquivalentObjectPropertiesAxiomInOWL2DLProfile()
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        m.addAxiom(o, EquivalentObjectProperties());
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { InsufficientPropertyExpressions.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

524
525
526
527
528
529
530
531
532
533
            shouldCreateViolationForOWLDisjointDataPropertiesAxiomInOWL2DLProfile()
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        m.addAxiom(o, DisjointDataProperties());
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { InsufficientPropertyExpressions.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

539
540
541
542
543
544
545
546
547
548
            shouldCreateViolationForOWLEquivalentDataPropertiesAxiomInOWL2DLProfile()
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        m.addAxiom(o, EquivalentDataProperties());
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { InsufficientPropertyExpressions.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

553
554
555
556
557
558
559
560
561
562
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, CL);
        m.addAxiom(o, HasKey(CL));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { InsufficientPropertyExpressions.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

566
567
568
569
570
571
572
573
574
575
    public void shouldCreateViolationForOWLSameIndividualAxiomInOWL2DLProfile()
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        m.addAxiom(o, SameIndividual());
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { InsufficientIndividuals.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

581
582
583
584
585
586
587
588
589
590
            shouldCreateViolationForOWLDifferentIndividualsAxiomInOWL2DLProfile()
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        m.addAxiom(o, DifferentIndividuals());
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { InsufficientIndividuals.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

595
596
597
598
599
600
601
602
603
604
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        m.addAxiom(o,
                ClassAssertion(OWLThing(), NamedIndividual(IRI(START + 'i'))));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfReservedVocabularyForIndividualIRI.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

612
613
614
615
616
617
618
619
620
621
        OWLOntologyManager m = o.getOWLOntologyManager();
        m.addAxiom(
                o,
                SubDataPropertyOf(DF.getOWLTopDataProperty(),
                        DF.getOWLTopDataProperty()));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfTopDataPropertyAsSubPropertyInSubPropertyAxiom.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

628
629
630
631
632
633
634
635
636
637
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP, CL);
        m.addAxiom(o, TransitiveObjectProperty(OP));
        m.addAxiom(o, SubClassOf(CL, ObjectMinCardinality(1, OP, OWLThing())));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfNonSimplePropertyInCardinalityRestriction.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.