LocalityChecker.java revision 53680982da7898ae889870da416205a85f0bffad
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiupackage de.unibremen.informatik.locality;
53680982da7898ae889870da416205a85f0bffadJens Elknerimport org.semanticweb.owlapi.apibinding.OWLManager;
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiuimport org.semanticweb.owlapi.io.ToStringRenderer;
53680982da7898ae889870da416205a85f0bffadJens Elknerimport org.semanticweb.owlapi.model.OWLOntologyCreationException;
53680982da7898ae889870da416205a85f0bffadJens Elknerimport org.semanticweb.owlapi.model.OWLOntologyManager;
53680982da7898ae889870da416205a85f0bffadJens Elknerimport com.clarkparsia.owlapi.modularity.locality.LocalityClass;
53680982da7898ae889870da416205a85f0bffadJens Elknerimport com.clarkparsia.owlapi.modularity.locality.SyntacticLocalityEvaluator;
53680982da7898ae889870da416205a85f0bffadJens Elkner System.out.println("Usage: LocalityChecker <URI> "
53680982da7898ae889870da416205a85f0bffadJens Elkner + "<SignatureURI> <LocalityType>");
53680982da7898ae889870da416205a85f0bffadJens Elkner System.out.println("The ontology could not be created: "
53680982da7898ae889870da416205a85f0bffadJens Elkner private static Boolean checker(LocalityClass cl) {
53680982da7898ae889870da416205a85f0bffadJens Elkner boolean local = true;
53680982da7898ae889870da416205a85f0bffadJens Elkner out = org.semanticweb.owlapi.io.ToStringRenderer.getInstance();
53680982da7898ae889870da416205a85f0bffadJens Elkner SyntacticLocalityEvaluator eval = new SyntacticLocalityEvaluator(cl);
53680982da7898ae889870da416205a85f0bffadJens Elkner // let's try the bottom evaluator first
53680982da7898ae889870da416205a85f0bffadJens Elkner private static void print() {
53680982da7898ae889870da416205a85f0bffadJens Elkner private static void loader(String onto, String sig)
53680982da7898ae889870da416205a85f0bffadJens Elkner OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
53680982da7898ae889870da416205a85f0bffadJens Elkner OWLOntologyManager signMan = OWLManager.createOWLOntologyManager();
53680982da7898ae889870da416205a85f0bffadJens Elkner manager.loadOntologyFromOntologyDocument(physicalIRI);