Package org.semanticweb.owlapi.profiles

Examples of org.semanticweb.owlapi.profiles.OWL2ELProfile

869
870
871
872
873
874
875
876
877
878
    @Tests(method = "public Object visit(OWLDatatype node)")
    public void shouldCreateViolationForOWLDatatypeInOWL2ELProfile()
            throws Exception {
        OWLOntology o = createOnto();
        declare(o, Boolean());
        OWL2ELProfile profile = new OWL2ELProfile();
        int expected = 0;
        Class[] expectedViolations = {};
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
883
884
885
886
887
888
889
890
891
892
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        m.addAxiom(o,
                ClassAssertion(OWLThing(), DF.getOWLAnonymousIndividual()));
        OWL2ELProfile profile = new OWL2ELProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfAnonymousIndividual.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
110
111
112
113
114
115
116
117
118
119
120
121
122
123
            if (negativeFinder.contains(dl)) {
                checkProfile(ontology, new OWL2DLProfile(), false);
            }
            // EL?
            if (finder.contains(el)) {
                checkProfile(ontology, new OWL2ELProfile(), true);
            }
            if (negativeFinder.contains(el)) {
                checkProfile(ontology, new OWL2ELProfile(), false);
            }
            // QL?
            if (finder.contains(ql)) {
                checkProfile(ontology, new OWL2QLProfile(), true);
            }
View Full Code Here
149
150
151
152
153
154
155
                df.getOWLLiteral(true));
        OWLAnnotationAssertionAxiom ax = df.getOWLAnnotationAssertionAxiom(
                IRI.create("urn:test:ELProfile"), ann);
        m.addAxiom(o, ax);
        m.addAxiom(o, Declaration(OWL2Datatype.XSD_BOOLEAN.getDatatype(df)));
        checkProfile(o, new OWL2ELProfile(), true);
    }
View Full Code Here
29
30
31
32
33
34
35
    protected String head2 = "<rdf:RDF xml:base=\"urn:test\" xmlns:owl=\"http://www.w3.org/2002/07/owl#\" xmlns:rdf=\"http://www.w3.org/1999/02/22-rdf-syntax-ns#\" xmlns:rdfs=\"http://www.w3.org/2000/01/rdf-schema#\" xmlns:xsd=\"http://www.w3.org/2001/XMLSchema#\">";
    @Nonnull
    protected String head3 = "<rdf:RDF xml:base=\"urn:test\" xmlns=\"urn:test#\" xmlns:owl=\"http://www.w3.org/2002/07/owl#\" xmlns:rdfs=\"http://www.w3.org/2000/01/rdf-schema#\" xmlns:rdf=\"http://www.w3.org/1999/02/22-rdf-syntax-ns#\">";

    private static OWLProfileReport el(OWLOntology in) {
        return new OWL2ELProfile().checkOntology(in);
    }
View Full Code Here
897
898
899
900
901
902
903
904
905
906
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP);
        m.addAxiom(o, SubObjectPropertyOf(OP, ObjectInverseOf(OP)));
        OWL2ELProfile profile = new OWL2ELProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfObjectPropertyInverse.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
911
912
913
914
915
916
917
918
919
920
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, DATAP, CL);
        m.addAxiom(o, SubClassOf(CL, DataAllValuesFrom(DATAP, Integer())));
        OWL2ELProfile profile = new OWL2ELProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalClassExpression.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
926
927
928
929
930
931
932
933
934
935
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, DATAP, CL, Integer());
        m.addAxiom(o, SubClassOf(CL, DataExactCardinality(1, DATAP, Integer())));
        OWL2ELProfile profile = new OWL2ELProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalClassExpression.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
940
941
942
943
944
945
946
947
948
949
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, DATAP, CL, Integer());
        m.addAxiom(o, SubClassOf(CL, DataMaxCardinality(1, DATAP, Integer())));
        OWL2ELProfile profile = new OWL2ELProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalClassExpression.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
954
955
956
957
958
959
960
961
962
963
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, DATAP, CL, Integer());
        m.addAxiom(o, SubClassOf(CL, DataMinCardinality(1, DATAP, Integer())));
        OWL2ELProfile profile = new OWL2ELProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalClassExpression.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.