View ProfileChecker.java
package no.s11.owlapi; | |
import java.io.File; | |
import org.semanticweb.owlapi.apibinding.OWLManager; | |
import org.semanticweb.owlapi.model.OWLOntology; | |
import org.semanticweb.owlapi.model.OWLOntologyCreationException; | |
import org.semanticweb.owlapi.model.OWLOntologyManager; | |
import org.semanticweb.owlapi.profiles.OWL2RLProfile; | |
import org.semanticweb.owlapi.profiles.OWLProfileReport; |