From 3408515a868ca65ab907e21160f75c858ead8d46 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Thu, 6 Aug 2020 12:04:38 +0100 Subject: Refactor code into different files This has been done to better accommodate the code to detect all unsafe roles in an ontology. --- src/main/scala/rsacomb/RSAComb.scala | 167 ----------------------------------- 1 file changed, 167 deletions(-) delete mode 100644 src/main/scala/rsacomb/RSAComb.scala (limited to 'src/main/scala/rsacomb/RSAComb.scala') diff --git a/src/main/scala/rsacomb/RSAComb.scala b/src/main/scala/rsacomb/RSAComb.scala deleted file mode 100644 index 62414e9..0000000 --- a/src/main/scala/rsacomb/RSAComb.scala +++ /dev/null @@ -1,167 +0,0 @@ -package rsacomb - -import java.io.File -import java.util.HashMap -import java.util.stream.{Stream,Collectors} - -import org.semanticweb.owlapi.apibinding.OWLManager -import org.semanticweb.owlapi.model.{AxiomType, ClassExpressionType, OWLObjectSomeValuesFrom} -import org.semanticweb.owlapi.model.{OWLAxiom, OWLSubClassOfAxiom, OWLEquivalentClassesAxiom} -import org.semanticweb.owlapi.model.OWLClassExpression -import org.semanticweb.owlapi.model.OWLOntology -import org.semanticweb.owlapi.model.OWLOntologyManager -import org.semanticweb.owlapi.model.IRI -import org.semanticweb.owlapi.model.parameters.Imports -import uk.ac.manchester.cs.owl.owlapi.OWLObjectPropertyImpl - -import tech.oxfordsemantic.jrdfox.Prefixes -import tech.oxfordsemantic.jrdfox.client.{ConnectionFactory, ServerConnection, DataStoreConnection} -import tech.oxfordsemantic.jrdfox.client.UpdateType -import tech.oxfordsemantic.jrdfox.logic.{Rule, Atom, Literal, Term, Variable} -import tech.oxfordsemantic.jrdfox.logic.{BuiltinFunctionCall, TupleTableName} -import tech.oxfordsemantic.jrdfox.logic.{LogicFormat} - -import scala.collection.JavaConverters._ - -import rsacomb.SkolemStrategy -import org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxObjectRenderer - -class RSA(ontology : OWLOntology) { - - /* Alternative constructor(s) */ - def this(file : File) = this(RSA.loadOntology(file)) - - def getOntology : OWLOntology = ontology - -} // class RSA - -object RSA { - - def loadOntology( onto : File ) : OWLOntology = { - /* Retrieve ontology manager */ - val manager : OWLOntologyManager = OWLManager.createOWLOntologyManager() - /* Retrieve ontology */ - manager.loadOntologyFromOntologyDocument(onto) - } - - def isRSA( onto : OWLOntology ) : Boolean = { - /* TODO: Steps for RSA check - * 1) convert ontology axioms into LP rules - * 2) call RDFox on the onto and compute materialization - * 3) build graph from E(x,y) facts - * 4) check if the graph is tree-like - * ideally this annotates the graph with info about the reasons - * why the ontology might not be RSA. This could help a second - * step of approximation of an Horn-ALCHOIQ to RSA - */ - - val renderer = new DLSyntaxObjectRenderer() - - // Here we need to compute the unsafe roles. This is hardcoded for now. - val unsafe = List( - new OWLObjectPropertyImpl(IRI.create("http://example.com/rsa_example.owl#S")).getInverseProperty() - ) - - /* Print TBox axioms */ - println("TBox/RBox:") - for { - axiom <- onto.tboxAxioms(Imports.EXCLUDED).collect(Collectors.toList()).asScala - } yield println(renderer.render(axiom)) - for { - axiom <- onto.rboxAxioms(Imports.EXCLUDED).collect(Collectors.toList()).asScala - } yield println(renderer.render(axiom)) - - /* Ontology axiom convertion into LP rules */ - println("Logic rules:") - for { - axiom <- onto.tboxAxioms(Imports.EXCLUDED).collect(Collectors.toList()).asScala - visitor = new RDFoxAxiomConverter(Variable.create("x"), SkolemStrategy.ConstantRSA(axiom.toString), unsafe) - rule <- axiom.accept(visitor) - } yield println(rule) - for { - axiom <- onto.rboxAxioms(Imports.EXCLUDED).collect(Collectors.toList()).asScala - visitor = new RDFoxAxiomConverter(Variable.create("x"), SkolemStrategy.ConstantRSA(axiom.toString), unsafe) - rule <- axiom.accept(visitor) - } yield println(rule) - - /* Return true for now... */ - true - } - -} // object RSA - -object RSAComb { - - val help : String = """ - rsacomb - combined approach for CQ answering for RSA ontologies. - - USAGE - rsacomb - - where - the ontology is expected to be an OWL file and the (single) - query a SPARQL query file. - """ - - def main( args : Array[String] ) : Unit = { - - /* Simple arguments handling - * - * TODO: use something better later on - */ - - if (args.length < 2) { - println(help) - return () - } - - val ontologyPath = new File(args(0)) - val queryPath = new File(args(1)) - - if (!ontologyPath.isFile || !queryPath.isFile) { - println("The provided arguments are not regular files.\n\n") - println(help) - return () - } - - /* Create RSA object from generic OWLOntology - * - * TODO: It might be required to check if the ontology in input is - * Horn-ALCHOIQ. At the moment we are assuming this is always the - * case. - */ - val rsa = new RSA(ontologyPath) - RSA.isRSA(rsa.getOntology) - - /* Build canonical model */ - //val tboxCanon = rsa.canonicalModel() - - /* Load query */ - //val query = ... - - /* Compute the filtering program from the given query */ - //val tboxFilter = rsa.filteringProgram(query) - - /* ... */ - - /* DEBUG ONLY */ - println("Ok!") - } -} - -/* Notes: - * - * To establish a connection with a local RDFox instance, do the - * following: - * - * ``` - * val serverConnection : ServerConnection = ConnectionFactory.newServerConnection("rdfox:local", "", "") - * serverConnection.createDataStore("test","seq",new HashMap()) - * val dataStoreConnection : DataStoreConnection = serverConnection.newDataStoreConnection("test") - * dataStoreConnection.importData( - * UpdateType.ADDITION, - * Prefixes.s_emptyPrefixes, - * new File("./path/to/file") - * ) - * ``` - */ -- cgit v1.2.3