|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.eaglei.repository.inferencer.TBoxInferencer
public class TBoxInferencer
Ontology (TBox) inference to support Custom minimalist inferencing SAIL layer.
(see comments in that class for all the implementation details)
This is a singleton utility class. Its job is to create all the inferred
statements for an ontology graph by feeding everything in the graph to
an OWLAPI reasoner (Pellet 2.1, for now) and record the useful results
directly in the graph as "inferred" statements. This is a very expensive
operation but it is only done very rarely.
Configuration Properties:
eaglei.repository.tbox.graphs = (optional) comma-separated list of URIs of
graphs making up the "TBox" for the inferencer.| Field Summary | |
|---|---|
static java.util.Set<org.openrdf.model.URI> |
TBoxGraphs
Configuration: Named graphs with TBox content |
static org.openrdf.model.URI[] |
TBoxGraphsArray
Constant TBoxGraphsArray |
| Method Summary | |
|---|---|
int |
doTBoxInference(org.openrdf.sail.inferencer.InferencerConnection rc,
org.openrdf.model.URI graphName)
Check if this ontology graph is "stale" and (re) do the inferencing if necessary. |
static TBoxInferencer |
getInstance()
Get the singleton instance. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static java.util.Set<org.openrdf.model.URI> TBoxGraphs
public static org.openrdf.model.URI[] TBoxGraphsArray
TBoxGraphsArray
| Method Detail |
|---|
public static TBoxInferencer getInstance()
TBoxInferencer object.
public int doTBoxInference(org.openrdf.sail.inferencer.InferencerConnection rc,
org.openrdf.model.URI graphName)
throws java.io.IOException,
org.openrdf.rio.RDFHandlerException,
org.openrdf.sail.SailException
rc - a InferencerConnection object.graphName - name of graph (context) on which to reason, a URI object.
java$io$IOException - if any.
org.openrdf.rio.RDFHandlerException - if any.
org.openrdf.sail.SailException - if any.
java.io.IOException
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||