/** * Generate QuestPreferences from a config file * * @param configFileName - the path to the config file * @return the read QuestPreferences object * @throws FileNotFoundException * @throws IOException */ private QuestPreferences getPreferencesFromFile(String configFileName) throws FileNotFoundException, IOException { QuestPreferences pref = new QuestPreferences(); if (!configFileName.isEmpty()) { File configFile = new File(URI.create(configFileName)); pref.readDefaultPropertiesFile(new FileInputStream(configFile)); } else { pref.readDefaultPropertiesFile(); } return pref; }
/** * Generate a QuestPreferences object from some passed arguments as settings * * @param existential - boolean to turn existential reasoning on or off (default=false) * @param rewriting - String to indicate rewriting technique to be used (default=TreeWitness) * @return the QuestPreferences object */ private QuestPreferences getPreferencesFromSettings(boolean existential, String rewriting) { QuestPreferences pref = new QuestPreferences(); pref.setCurrentValueOf(QuestPreferences.ABOX_MODE, QuestConstants.VIRTUAL); if (existential) pref.setCurrentValueOf(QuestPreferences.REWRITE, "true"); else pref.setCurrentValueOf(QuestPreferences.REWRITE, "false"); if (rewriting.equals("TreeWitness")) pref.setCurrentValueOf(QuestPreferences.REFORMULATION_TECHNIQUE, QuestConstants.TW); else if (rewriting.equals("Default")) pref.setCurrentValueOf(QuestPreferences.REFORMULATION_TECHNIQUE, QuestConstants.UCQBASED); return pref; }
public ClassicABoxAssertionTestPositiveNoRangeTest() throws Exception { QuestPreferences pref = new QuestPreferences(); pref.setCurrentValueOf(QuestPreferences.REFORMULATION_TECHNIQUE, QuestConstants.UCQBASED); pref.setCurrentValueOf(QuestPreferences.DBTYPE, QuestConstants.SEMANTIC_INDEX); pref.setCurrentValueOf(QuestPreferences.ABOX_MODE, QuestConstants.CLASSIC); pref.setCurrentValueOf(QuestPreferences.OPTIMIZE_EQUIVALENCES, "true"); pref.setCurrentValueOf(QuestPreferences.OBTAIN_FROM_ONTOLOGY, "true"); pref.setCurrentValueOf(QuestPreferences.OPTIMIZE_TBOX_SIGMA, "true"); String owlfile = "src/test/resources/test/owl-types-simple-split.owl"; OWLOntologyManager manager = OWLManager.createOWLOntologyManager(); OWLOntology ontology = manager.loadOntologyFromOntologyDocument(new File(owlfile)); QuestOWLFactory fac = new QuestOWLFactory(); fac.setPreferenceHolder(pref); reasoner = (QuestOWL) fac.createReasoner(ontology); reasoner.flush(); conn = reasoner.getConnection(); st = conn.createStatement(); }
static { prefs = new QuestPreferences(); prefs.setCurrentValueOf(QuestPreferences.ABOX_MODE, QuestConstants.VIRTUAL); prefs.setCurrentValueOf(QuestPreferences.REWRITE, QuestConstants.TRUE); }