Examples of org.semanticweb.owlapi.profiles.OWL2Profile

org.semanticweb.owlapi.profiles.OWL2Profile
Checks to see if an ontology and its imports closure fall into the OWL 2 DL profile. An ontology is OWL Full if any of the global structural restrictions are violated, if there is punning between object and data properties @author Matthew Horridge, The University of Manchester, InformationManagement Group

            // FULL?
            Collection<OWLIndividual> finder = values(
                    testCasesOntology.getObjectPropertyAssertionAxioms(ind),
                    speciesProperty);
            if (finder.contains(full)) {
                checkProfile(ontology, new OWL2Profile(), true);
            }
            Collection<OWLIndividual> negativeFinder = negValues(
                    testCasesOntology
                            .getNegativeObjectPropertyAssertionAxioms(ind),
                    speciesProperty);
            if (negativeFinder.contains(full)) {
                checkProfile(ontology, new OWL2Profile(), false);
            }
            // DL?
            if (finder.contains(dl)) {
                checkProfile(ontology, new OWL2DLProfile(), true);
            }

View Full Code Here

    public void shouldCreateViolationForOWLOntologyInOWL2Profile()
            throws Exception {
        OWLOntology o = OWLManager.createOWLOntologyManager().createOntology(
                new OWLOntologyID(Optional.of(IRI("test")), Optional
                        .of(IRI("test1"))));
        OWL2Profile profile = new OWL2Profile();
        int expected = 2;
        Class[] expectedViolations = { OntologyIRINotAbsolute.class,
                OntologyVersionIRINotAbsolute.class };
        runAssert(o, profile, expected, expectedViolations);
    }

View Full Code Here

    @Test
    @Tests(method = "public Object visit(IRI iri)")
    public void shouldCreateViolationForIRIInOWL2Profile() throws Exception {
        OWLOntology o = createOnto();
        declare(o, Class(IRI("test")));
        OWL2Profile profile = new OWL2Profile();
        int expected = 1;
        Class[] expectedViolations = { UseOfNonAbsoluteIRI.class };
        runAssert(o, profile, expected, expectedViolations);
    }

View Full Code Here

        declare(o, DATAP);
        m.addAxiom(
                o,
                DataPropertyAssertion(DATAP, AnonymousIndividual(),
                        Literal("wrong", OWL2Datatype.XSD_INTEGER)));
        OWL2Profile profile = new OWL2Profile();
        int expected = 1;
        Class[] expectedViolations = { LexicalNotInLexicalSpace.class };
        runAssert(o, profile, expected, expectedViolations);
    }

View Full Code Here

        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, DATAP);
        m.addAxiom(o, DatatypeDefinition(Integer(), Boolean()));
        m.addAxiom(o, DATA_PROPERTY_RANGE2);
        OWL2Profile profile = new OWL2Profile();
        int expected = 3;
        Class[] expectedViolations = {
                UseOfDefinedDatatypeInDatatypeRestriction.class,
                UseOfIllegalFacetRestriction.class,
                UseOfUndeclaredDatatype.class };

View Full Code Here

            shouldCreateViolationForOWLDatatypeDefinitionAxiomInOWL2Profile()
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        m.addAxiom(o, DatatypeDefinition(FAKEDATATYPE, Boolean()));
        OWL2Profile profile = new OWL2Profile();
        int expected = 1;
        Class[] expectedViolations = { UseOfUndeclaredDatatype.class };
        runAssert(o, profile, expected, expectedViolations);
    }

View Full Code Here

TOP

Related Classes of org.semanticweb.owlapi.profiles.OWL2Profile

org.semanticweb.owlapi.model.IRI

org.semanticweb.owlapi.model.OWLOntologyID

org.semanticweb.owlapi.profiles.test.OWLProfileTestCase

org.semanticweb.owlapi.profiles.test.ProfileValidationTestCase

org.semanticweb.owlapi.profiles.violations.LexicalNotInLexicalSpace

org.semanticweb.owlapi.profiles.violations.OntologyIRINotAbsolute

org.semanticweb.owlapi.profiles.violations.OntologyVersionIRINotAbsolute

org.semanticweb.owlapi.profiles.violations.UseOfDefinedDatatypeInDatatypeRestriction

org.semanticweb.owlapi.profiles.violations.UseOfIllegalFacetRestriction

org.semanticweb.owlapi.profiles.violations.UseOfNonAbsoluteIRI

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.