informatik/locality/LocalityChecker.java

	LocalityChecker.java revision dce96e21854cb10f053930d02167eb3a67ccc18c
package de.unibremen.informatik.locality;

import com.clarkparsia.owlapi.modularity.locality.LocalityClass;
import com.clarkparsia.owlapi.modularity.locality.LocalityEvaluator;
import com.clarkparsia.owlapi.modularity.locality.SyntacticLocalityEvaluator;

import org.semanticweb.owlapi.apibinding.OWLManager;
import org.semanticweb.owlapi.io.OWLXMLOntologyFormat;
import org.semanticweb.owlapi.model.*;

import java.net.URI;

import java.util.Set;
import java.util.Iterator;

import org.semanticweb.owlapi.io.ToStringRenderer;

public class LocalityChecker {

    private static Set<OWLEntity> sign;
    private static Set<OWLAxiom> axioms;
    private static ToStringRenderer out;

    public static void main(String[] args)
    {
    if (args.length != 3)
        {
        System.out.println("Usage: LocalityChecker <URI> " +
                                   "<SignatureURI> <LocalityType>");
        System.exit(1);
        }

    LocalityClass cl = com.clarkparsia.owlapi.modularity.locality.LocalityClass.BOTTOM_BOTTOM;

    if (args[2].equals("TOP_BOTTOM"))
        {
        cl = com.clarkparsia.owlapi.modularity.locality.LocalityClass.TOP_BOTTOM;
        }
    else if (args[2].equals("TOP_TOP"))
        {
        cl = com.clarkparsia.owlapi.modularity.locality.LocalityClass.TOP_TOP;
        }
    else
        {
        cl = com.clarkparsia.owlapi.modularity.locality.LocalityClass.BOTTOM_BOTTOM;
        }

    try
        {
        loader(args[0], args[1]);
        //print();
        boolean local = checker(cl);
        System.out.print("Result: ");
        if (local)
            {
            System.out.println("LOCAL");
            System.exit(10);
            }
        else
            {
            System.out.println("NON-LOCAL");
            System.exit(20);
            }
        }
    catch (OWLOntologyCreationException e)
        {
        System.out.println("The ontology could not be created: " +
                   e.getMessage());
        System.exit(1);
        }
    }

    private static Boolean checker(LocalityClass cl)
    {
    boolean local = true;
    out = org.semanticweb.owlapi.io.ToStringRenderer.getInstance();
    SyntacticLocalityEvaluator eval =
        new SyntacticLocalityEvaluator(cl);
    //let's try the bottom evaluator first
    Iterator<OWLAxiom> it = axioms.iterator();
    while (it.hasNext())
        {
        OWLAxiom elem = it.next();
        boolean l = eval.isLocal(elem, sign);
        if (!l)
            {
            System.out.print("Non-local axiom: ");
            System.out.println(out.getRendering(elem));
            System.out.println("");
            }
        local = local && l;
        }
    return local;
    }

    private static void print()
    {
    System.out.println("Axioms:");
    Iterator<OWLAxiom> it = axioms.iterator();
    while (it.hasNext())
        {
        OWLAxiom elem = it.next();
        System.out.println(elem);
        }
    System.out.println("\nSignature:");
    Iterator<OWLEntity> itE = sign.iterator();
    while (itE.hasNext())
        {
        OWLEntity elemE = itE.next();
        System.out.println(elemE);
        }
    }

    private static void loader(String onto, String sig) throws OWLOntologyCreationException
    {
    OWLOntologyManager manager =
        OWLManager.createOWLOntologyManager();
    OWLOntologyManager signMan =
        OWLManager.createOWLOntologyManager();
    IRI physicalIRI = IRI.create(onto);
    IRI signIRI     = IRI.create(sig);
    OWLOntology ontology =
        manager.loadOntologyFromOntologyDocument(physicalIRI);
    OWLOntology signOnto =
        manager.loadOntologyFromOntologyDocument(signIRI);
    sign = signOnto.getSignature();
    axioms = ontology.getAxioms();
    }

}