LocalityChecker.java revision dce96e21854cb10f053930d02167eb3a67ccc18c
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiupackage de.unibremen.informatik.locality;
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiuimport com.clarkparsia.owlapi.modularity.locality.LocalityClass;
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiuimport com.clarkparsia.owlapi.modularity.locality.LocalityEvaluator;
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiuimport com.clarkparsia.owlapi.modularity.locality.SyntacticLocalityEvaluator;
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiuimport org.semanticweb.owlapi.apibinding.OWLManager;
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiuimport org.semanticweb.owlapi.io.OWLXMLOntologyFormat;
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiuimport org.semanticweb.owlapi.model.*;
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiuimport org.semanticweb.owlapi.io.ToStringRenderer;
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu private static Set<OWLAxiom> axioms;
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu private static ToStringRenderer out;
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu public static void main(String[] args)
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu System.out.println("Usage: LocalityChecker <URI> " +
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu "<SignatureURI> <LocalityType>");
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu LocalityClass cl = com.clarkparsia.owlapi.modularity.locality.LocalityClass.BOTTOM_BOTTOM;
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu cl = com.clarkparsia.owlapi.modularity.locality.LocalityClass.TOP_BOTTOM;
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu cl = com.clarkparsia.owlapi.modularity.locality.LocalityClass.TOP_TOP;
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu cl = com.clarkparsia.owlapi.modularity.locality.LocalityClass.BOTTOM_BOTTOM;
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu catch (OWLOntologyCreationException e)
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu System.out.println("The ontology could not be created: " +
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu private static Boolean checker(LocalityClass cl)
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu boolean local = true;
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu out = org.semanticweb.owlapi.io.ToStringRenderer.getInstance();
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu //let's try the bottom evaluator first
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu Iterator<OWLAxiom> it = axioms.iterator();
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu boolean l = eval.isLocal(elem, sign);
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu System.out.print("Non-local axiom: ");
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu System.out.println(out.getRendering(elem));
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu private static void print()
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu Iterator<OWLAxiom> it = axioms.iterator();
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu Iterator<OWLEntity> itE = sign.iterator();
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu private static void loader(String onto, String sig) throws OWLOntologyCreationException
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu OWLManager.createOWLOntologyManager();
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu OWLManager.createOWLOntologyManager();
dce96e21854cb10f053930d02167eb3a67ccc18cFrancisc Nicolae Bungiu manager.loadOntologyFromOntologyDocument(physicalIRI);