Examples of OWL2DLProfile

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

644
645
646
647
648
649
650
651
652
653
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP, CL);
        m.addAxiom(o, TransitiveObjectProperty(OP));
        m.addAxiom(o, SubClassOf(CL, ObjectMaxCardinality(1, OP, OWLThing())));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfNonSimplePropertyInCardinalityRestriction.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

660
661
662
663
664
665
666
667
668
669
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP, CL);
        m.addAxiom(o, TransitiveObjectProperty(OP));
        m.addAxiom(o, SubClassOf(CL, ObjectExactCardinality(1, OP, OWLThing())));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfNonSimplePropertyInCardinalityRestriction.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

675
676
677
678
679
680
681
682
683
684
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP);
        m.addAxiom(o, TransitiveObjectProperty(OP));
        m.addAxiom(o, ObjectPropertyRange(OP, ObjectHasSelf(OP)));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfNonSimplePropertyInObjectHasSelf.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

692
693
694
695
696
697
698
699
700
701
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP);
        m.addAxiom(o, TransitiveObjectProperty(OP));
        m.addAxiom(o, FunctionalObjectProperty(OP));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfNonSimplePropertyInFunctionalPropertyAxiom.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

709
710
711
712
713
714
715
716
717
718
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP);
        m.addAxiom(o, TransitiveObjectProperty(OP));
        m.addAxiom(o, InverseFunctionalObjectProperty(OP));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfNonSimplePropertyInInverseFunctionalObjectPropertyAxiom.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

726
727
728
729
730
731
732
733
734
735
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP);
        m.addAxiom(o, TransitiveObjectProperty(OP));
        m.addAxiom(o, IrreflexiveObjectProperty(OP));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfNonSimplePropertyInIrreflexivePropertyAxiom.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

743
744
745
746
747
748
749
750
751
752
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP);
        m.addAxiom(o, TransitiveObjectProperty(OP));
        m.addAxiom(o, AsymmetricObjectProperty(OP));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfNonSimplePropertyInAsymmetricObjectPropertyAxiom.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

760
761
762
763
764
765
766
767
768
769
770
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP);
        m.addAxiom(o, TransitiveObjectProperty(OP));
        m.addAxiom(o, DisjointObjectProperties(OP));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 2;
        Class[] expectedViolations = { InsufficientPropertyExpressions.class,
                UseOfNonSimplePropertyInDisjointPropertiesAxiom.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

780
781
782
783
784
785
786
787
788
789
790
        declare(o, OP, op1);
        m.addAxiom(o, SubPropertyChainOf(Arrays.asList(op1), OP));
        m.addAxiom(o, SubPropertyChainOf(Arrays.asList(OP, op1, OP), OP));
        m.addAxiom(o, SubPropertyChainOf(Arrays.asList(OP, op1), OP));
        m.addAxiom(o, SubPropertyChainOf(Arrays.asList(op1, OP, op1, OP), OP));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 4;
        Class[] expectedViolations = { InsufficientPropertyExpressions.class,
                UseOfPropertyInChainCausesCycle.class,
                UseOfPropertyInChainCausesCycle.class,
                UseOfPropertyInChainCausesCycle.class };
View Full Code Here

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

103
104
105
106
107
108
109
110
111
112
113
114
115
116
            if (negativeFinder.contains(full)) {
                checkProfile(ontology, new OWL2Profile(), false);
            }
            // DL?
            if (finder.contains(dl)) {
                checkProfile(ontology, new OWL2DLProfile(), true);
            }
            if (negativeFinder.contains(dl)) {
                checkProfile(ontology, new OWL2DLProfile(), false);
            }
            // EL?
            if (finder.contains(el)) {
                checkProfile(ontology, new OWL2ELProfile(), true);
            }
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.