litvinovg/vitro
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

VIVO-778 Let the TBoxReasoner provide its own OntModelSpec.

Browse source
This commit is contained in:
Jim Blake 2014-12-21 09:11:22 -05:00
parent 22658eec7b
commit b6b8540546
1 changed files with 0 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

15
webapp/src/edu/cornell/mannlib/vitro/webapp/tboxreasoner/ReasonerConfiguration.java
View file

@ -5,9 +5,6 @@ package edu.cornell.mannlib.vitro.webapp.tboxreasoner;
import java.util.HashSet; import java.util.HashSet;
import java.util.Set; import java.util.Set;
import org.mindswap.pellet.jena.PelletReasonerFactory;
import com.hp.hpl.jena.ontology.OntModelSpec;
import com.hp.hpl.jena.vocabulary.OWL; import com.hp.hpl.jena.vocabulary.OWL;
import com.hp.hpl.jena.vocabulary.RDF; import com.hp.hpl.jena.vocabulary.RDF;
import com.hp.hpl.jena.vocabulary.RDFS; import com.hp.hpl.jena.vocabulary.RDFS;
@ -25,8 +22,6 @@ public class ReasonerConfiguration {
private boolean reasonOnAllDatatypePropertyStatements = false; private boolean reasonOnAllDatatypePropertyStatements = false;
private boolean queryForAllDatatypeProperties = false; private boolean queryForAllDatatypeProperties = false;
private OntModelSpec ontModelSpec = PelletReasonerFactory.THE_SPEC;
/** /**
* The default reasoner configuration is designed to provide acceptable performance on larger knowledge bases. * The default reasoner configuration is designed to provide acceptable performance on larger knowledge bases.
* It will classify and realize, and add inferred disjointWith statements. * It will classify and realize, and add inferred disjointWith statements.
@ -54,8 +49,6 @@ public class ReasonerConfiguration {
public static ReasonerConfiguration PSEUDOCOMPLETE_IGNORE_DATAPROPERTIES; public static ReasonerConfiguration PSEUDOCOMPLETE_IGNORE_DATAPROPERTIES;
static { static {
//ask the reasoner only to classify, realize, and infer disjointWith statements (based on a somewhat incomplete information) //ask the reasoner only to classify, realize, and infer disjointWith statements (based on a somewhat incomplete information)
DEFAULT = new ReasonerConfiguration(); DEFAULT = new ReasonerConfiguration();
HashSet<ReasonerStatementPattern> defaultInferenceDrivingPatternAllowSet = new HashSet<>(); HashSet<ReasonerStatementPattern> defaultInferenceDrivingPatternAllowSet = new HashSet<>();
@ -164,14 +157,6 @@ public class ReasonerConfiguration {
this.queryForAllDatatypeProperties = boole; this.queryForAllDatatypeProperties = boole;
} }
public OntModelSpec getOntModelSpec() {
return this.ontModelSpec;
}
public void setOntModelSpec(OntModelSpec spec) {
this.ontModelSpec = spec;
}
public boolean isIncrementalReasoningEnabled() { public boolean isIncrementalReasoningEnabled() {
return this.incrementalReasoningEnabled; return this.incrementalReasoningEnabled;
} }