owlapi-version5/contract/src/test/java/org/semanticweb/owlapi/profiles/ProfileNoRLTestCase.java
package org.semanticweb.owlapi.profiles;

import java.util.stream.Stream;

import org.junit.jupiter.params.ParameterizedTest;
import org.junit.jupiter.params.provider.MethodSource;
import org.semanticweb.owlapi.apitest.TestFiles;
import org.semanticweb.owlapi.formats.FunctionalSyntaxDocumentFormat;
import org.semanticweb.owlapi.formats.RDFXMLDocumentFormat;

class ProfileNoRLTestCase extends ProfileBase {

    static Stream<String> data() {
        return Stream.of(TestFiles.profileNORLTestCases);
    }

    @ParameterizedTest
    @MethodSource("data")
    void testNoRL(String premise) {
        test(premise.startsWith("<rdf:RDF") ? new RDFXMLDocumentFormat()
            : new FunctionalSyntaxDocumentFormat(), premise, true, true, false, true);
    }
}
