Package org.semanticweb.owlapi.profiles

Examples of org.semanticweb.owlapi.profiles.OWL2ELProfile

968
969
970
971
972
973
974
975
976
977
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP, CL);
        m.addAxiom(o, SubClassOf(CL, ObjectAllValuesFrom(OP, OWLThing())));
        OWL2ELProfile profile = new OWL2ELProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalClassExpression.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
982
983
984
985
986
987
988
989
990
991
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP);
        m.addAxiom(o, ObjectPropertyRange(OP, ObjectComplementOf(OWLNothing())));
        OWL2ELProfile profile = new OWL2ELProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalClassExpression.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
997
998
999
1000
1001
1002
1003
1004
1005
1006
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP, CL);
        m.addAxiom(o, SubClassOf(CL, ObjectExactCardinality(1, OP, OWLThing())));
        OWL2ELProfile profile = new OWL2ELProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalClassExpression.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP, CL);
        m.addAxiom(o, SubClassOf(CL, ObjectMaxCardinality(1, OP, OWLThing())));
        OWL2ELProfile profile = new OWL2ELProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalClassExpression.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP, CL);
        m.addAxiom(o, SubClassOf(CL, ObjectMinCardinality(1, OP, OWLThing())));
        OWL2ELProfile profile = new OWL2ELProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalClassExpression.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
                o,
                ObjectPropertyRange(
                        OP,
                        ObjectOneOf(NamedIndividual(IRI("urn:test#i1")),
                                NamedIndividual(IRI("urn:test#i2")))));
        OWL2ELProfile profile = new OWL2ELProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfObjectOneOfWithMultipleIndividuals.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP);
        m.addAxiom(
                o,
                ObjectPropertyRange(OP, ObjectUnionOf(OWLThing(), OWLNothing())));
        OWL2ELProfile profile = new OWL2ELProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalClassExpression.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, DATAP);
        m.addAxiom(o, DataPropertyRange(DATAP, DataComplementOf(Double())));
        OWL2ELProfile profile = new OWL2ELProfile();
        int expected = 2;
        Class[] expectedViolations = { UseOfIllegalDataRange.class,
                UseOfIllegalDataRange.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, DATAP);
        m.addAxiom(o,
                DataPropertyRange(DATAP, DataOneOf(Literal(1), Literal(2))));
        OWL2ELProfile profile = new OWL2ELProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfDataOneOfWithMultipleLiterals.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, DATAP);
        m.addAxiom(o, DATA_PROPERTY_RANGE);
        OWL2ELProfile profile = new OWL2ELProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalDataRange.class };
        runAssert(o, profile, expected, expectedViolations);
    }
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.