Package org.semanticweb.owlapi.profiles

Examples of org.semanticweb.owlapi.profiles.OWL2DLProfile

1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
    @Test
    public void testCheckProfile() throws OWLException {
        OWLOntologyManager m = create();
        OWLOntology o = m.createOntology(KOALA_IRI);
        // Available profiles: DL, EL, QL, RL, OWL2 (Full)
        OWL2DLProfile profile = new OWL2DLProfile();
        OWLProfileReport report = profile.checkOntology(o);
        for (OWLProfileViolation v : report.getViolations()) {
            // deal with violations
            System.out.println(v);
        }
    }
View Full Code Here
192
193
194
195
196
197
198
199
200
201
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, UNKNOWNFAKEDATATYPE, FAKEDATATYPE,
                Class(FAKEDATATYPE.getIRI()), DATAP);
        m.addAxiom(o, DataPropertyRange(DATAP, FAKEUNDECLAREDDATATYPE));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfUndeclaredDatatype.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
209
210
211
212
213
214
215
216
217
218
219
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, Integer(), Boolean(), FAKEDATATYPE);
        m.addAxiom(o, DatatypeDefinition(Boolean(), Integer()));
        m.addAxiom(o, DatatypeDefinition(FAKEDATATYPE, Integer()));
        m.addAxiom(o, DatatypeDefinition(Integer(), FAKEDATATYPE));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 4;
        Class[] expectedViolations = { CycleInDatatypeDefinition.class,
                CycleInDatatypeDefinition.class,
                UseOfBuiltInDatatypeInDatatypeDefinition.class,
                UseOfBuiltInDatatypeInDatatypeDefinition.class };
View Full Code Here
226
227
228
229
230
231
232
233
234
235
236
            void
            shouldCreateViolationForOWLDatatypeDefinitionAxiomInOWL2DLProfileCycles()
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        OWL2DLProfile profile = new OWL2DLProfile();
        OWLDatatype d = Datatype(IRI(START + "test"));
        declare(o, d, Integer(), Boolean(), FAKEDATATYPE);
        m.addAxiom(o, DatatypeDefinition(d, Boolean()));
        m.addAxiom(o, DatatypeDefinition(Boolean(), d));
        m.addAxiom(o, DatatypeDefinition(FAKEDATATYPE, Integer()));
View Full Code Here
255
256
257
258
259
260
261
262
263
264
265
        OWLOntologyManager m = o.getOWLOntologyManager();
        IRI iri = IRI(START + "test");
        declare(o, ObjectProperty(iri), DataProperty(iri),
                AnnotationProperty(iri));
        m.addAxiom(o, SubObjectPropertyOf(OP, ObjectProperty(iri)));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 4;
        Class[] expectedViolations = {
                UseOfReservedVocabularyForObjectPropertyIRI.class,
                UseOfUndeclaredObjectProperty.class, IllegalPunning.class,
                IllegalPunning.class };
View Full Code Here
270
271
272
273
274
275
276
277
278
279
    @Tests(method = "public Object visit(OWLDataProperty property)")
    public void shouldCreateViolationForOWLDataPropertyInOWL2DLProfile1()
            throws Exception {
        OWLOntology o = createOnto();
        declare(o, DataProperty(IRI(START + "fail")));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 0;
        Class[] expectedViolations = {};
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
283
284
285
286
287
288
289
290
291
292
    public void shouldCreateViolationForOWLDataPropertyInOWL2DLProfile2()
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        m.addAxiom(o, FunctionalDataProperty(DATAP));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfUndeclaredDataProperty.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
295
296
297
298
299
300
301
302
303
304
    @Tests(method = "public Object visit(OWLDataProperty property)")
    public void shouldCreateViolationForOWLDataPropertyInOWL2DLProfile3()
            throws Exception {
        OWLOntology o = createOnto();
        declare(o, DATAP, AnnotationProperty(DATAP.getIRI()));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 0;
        Class[] expectedViolations = {};
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
307
308
309
310
311
312
313
314
315
316
    @Tests(method = "public Object visit(OWLDataProperty property)")
    public void shouldCreateViolationForOWLDataPropertyInOWL2DLProfile4()
            throws Exception {
        OWLOntology o = createOnto();
        declare(o, DATAP, ObjectProperty(DATAP.getIRI()));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 0;
        Class[] expectedViolations = {};
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
326
327
328
329
330
331
332
333
334
335
336
                AnnotationProperty(iri));
        m.addAxiom(
                o,
                SubAnnotationPropertyOf(AnnotationProperty(IRI("urn:test#t")),
                        AnnotationProperty(iri)));
        OWL2DLProfile profile = new OWL2DLProfile();
        int expected = 4;
        Class[] expectedViolations = {
                UseOfReservedVocabularyForAnnotationPropertyIRI.class,
                UseOfUndeclaredAnnotationProperty.class, IllegalPunning.class,
                IllegalPunning.class };
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.