|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.hp.hpl.jena.graph.impl.GraphBase
com.hp.hpl.jena.reasoner.BaseInfGraph
org.mindswap.pellet.jena.PelletInfGraph
public class PelletInfGraph
Implementation of Jena InfGraph interface which is backed by Pellet reasoner.
Nested Class Summary |
---|
Nested classes/interfaces inherited from class com.hp.hpl.jena.reasoner.BaseInfGraph |
---|
com.hp.hpl.jena.reasoner.BaseInfGraph.InfCapabilities, com.hp.hpl.jena.reasoner.BaseInfGraph.InfFindSafeCapabilities, com.hp.hpl.jena.reasoner.BaseInfGraph.InfTransactionHandler |
Field Summary | |
---|---|
static boolean |
DEBUG
Deprecated. Edit log4j.properties to turn on debugging |
static boolean |
GET_ONLY_PROPERTIES
This is a temporary option to say that while answering a TriplePattern where the predicate is a wildcard only bind the predicate to properties defined in the ontology but not rdf:type. |
static byte |
OBJ
|
static com.hp.hpl.jena.graph.Node |
OWL_Class
|
static com.hp.hpl.jena.graph.Node |
OWL_complementOf
|
static com.hp.hpl.jena.graph.Node |
OWL_disjointWith
|
static com.hp.hpl.jena.graph.Node |
OWL_equivalentClass
|
static com.hp.hpl.jena.graph.Node |
OWL_equivalentProperty
|
static byte |
PRED
|
static com.hp.hpl.jena.graph.Node |
RDF_directType
|
static com.hp.hpl.jena.graph.Node |
RDF_type
|
static com.hp.hpl.jena.graph.Node |
RDFS_directSubClassOf
|
static com.hp.hpl.jena.graph.Node |
RDFS_directSubPropertyOf
|
static com.hp.hpl.jena.graph.Node |
RDFS_domain
|
static com.hp.hpl.jena.graph.Node |
RDFS_range
|
static com.hp.hpl.jena.graph.Node |
RDFS_subClassOf
|
static com.hp.hpl.jena.graph.Node |
RDFS_subPropertyOf
|
static byte |
SUBJ
|
Fields inherited from interface com.hp.hpl.jena.graph.Graph |
---|
emptyGraph |
Constructor Summary | |
---|---|
PelletInfGraph(com.hp.hpl.jena.graph.Graph graph,
PelletReasoner pellet)
|
Method Summary | |
---|---|
void |
classify()
|
com.hp.hpl.jena.util.iterator.ExtendedIterator |
find(com.hp.hpl.jena.graph.Node subject,
com.hp.hpl.jena.graph.Node property,
com.hp.hpl.jena.graph.Node object,
com.hp.hpl.jena.graph.Graph param)
|
com.hp.hpl.jena.util.iterator.ExtendedIterator |
findWithContinuation(com.hp.hpl.jena.reasoner.TriplePattern pattern,
com.hp.hpl.jena.reasoner.Finder finder)
|
com.hp.hpl.jena.graph.Graph |
getDeductionsGraph()
|
KnowledgeBase |
getKB()
Returns the underlying Pellet KnowledgeBase. |
OWLReasoner |
getOWLReasoner()
Returns the underlying Pellet OWLReasoner. |
com.hp.hpl.jena.graph.Graph |
getSchemaGraph()
|
boolean |
isClassified()
|
boolean |
isConsistent()
|
boolean |
isLazyConsistency()
|
boolean |
isPrepared()
|
aterm.ATermAppl |
node2term(com.hp.hpl.jena.graph.Node node)
|
aterm.ATermAppl |
node2term(com.hp.hpl.jena.rdf.model.RDFNode node)
|
void |
performAdd(com.hp.hpl.jena.graph.Triple t)
Add one triple to the data graph, mark the graph not-prepared, but don't run prepare() just yet. |
void |
performDelete(com.hp.hpl.jena.graph.Triple t)
Delete one triple from the data graph, mark the graph not-prepared, but don't run prepare() just yet. |
void |
prepare()
|
void |
setLazyConsistency(boolean lazyConsistency)
|
com.hp.hpl.jena.reasoner.ValidityReport |
validate()
Test the consistency of the model. |
Methods inherited from class com.hp.hpl.jena.reasoner.BaseInfGraph |
---|
cloneWithPremises, close, find, getBulkUpdateHandler, getCapabilities, getDerivation, getGlobalProperty, getPrefixMapping, getRawGraph, getReasoner, getReifier, getTransactionHandler, graphBaseFind, graphBaseFind, graphBaseSize, isEmpty, rebind, rebind, reset, setDerivationLogging, testGlobalProperty |
Methods inherited from class com.hp.hpl.jena.graph.impl.GraphBase |
---|
add, contains, contains, delete, dependsOn, find, find, forTestingOnly_graphBaseFind, getEventManager, isIsomorphicWith, notifyAdd, notifyDelete, queryHandler, size, toString, toString |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface com.hp.hpl.jena.reasoner.InfGraph |
---|
getDerivation, getGlobalProperty, getRawGraph, getReasoner, rebind, rebind, reset, setDerivationLogging, testGlobalProperty |
Methods inherited from interface com.hp.hpl.jena.graph.Graph |
---|
close, contains, contains, delete, dependsOn, find, find, getBulkUpdateHandler, getCapabilities, getEventManager, getPrefixMapping, getReifier, getTransactionHandler, isEmpty, isIsomorphicWith, queryHandler, size |
Methods inherited from interface com.hp.hpl.jena.graph.GraphAdd |
---|
add |
Field Detail |
---|
public static boolean DEBUG
public static boolean GET_ONLY_PROPERTIES
public static final byte SUBJ
public static final byte PRED
public static final byte OBJ
public static final com.hp.hpl.jena.graph.Node RDF_type
public static final com.hp.hpl.jena.graph.Node RDF_directType
public static final com.hp.hpl.jena.graph.Node RDFS_subClassOf
public static final com.hp.hpl.jena.graph.Node RDFS_directSubClassOf
public static final com.hp.hpl.jena.graph.Node OWL_equivalentClass
public static final com.hp.hpl.jena.graph.Node OWL_complementOf
public static final com.hp.hpl.jena.graph.Node OWL_disjointWith
public static final com.hp.hpl.jena.graph.Node RDFS_subPropertyOf
public static final com.hp.hpl.jena.graph.Node RDFS_directSubPropertyOf
public static final com.hp.hpl.jena.graph.Node OWL_equivalentProperty
public static final com.hp.hpl.jena.graph.Node OWL_Class
public static final com.hp.hpl.jena.graph.Node RDFS_domain
public static final com.hp.hpl.jena.graph.Node RDFS_range
Constructor Detail |
---|
public PelletInfGraph(com.hp.hpl.jena.graph.Graph graph, PelletReasoner pellet)
Method Detail |
---|
public boolean isLazyConsistency()
public void setLazyConsistency(boolean lazyConsistency)
public com.hp.hpl.jena.util.iterator.ExtendedIterator find(com.hp.hpl.jena.graph.Node subject, com.hp.hpl.jena.graph.Node property, com.hp.hpl.jena.graph.Node object, com.hp.hpl.jena.graph.Graph param)
find
in interface com.hp.hpl.jena.reasoner.InfGraph
find
in class com.hp.hpl.jena.reasoner.BaseInfGraph
public com.hp.hpl.jena.util.iterator.ExtendedIterator findWithContinuation(com.hp.hpl.jena.reasoner.TriplePattern pattern, com.hp.hpl.jena.reasoner.Finder finder)
findWithContinuation
in class com.hp.hpl.jena.reasoner.BaseInfGraph
public com.hp.hpl.jena.graph.Graph getSchemaGraph()
getSchemaGraph
in class com.hp.hpl.jena.reasoner.BaseInfGraph
public boolean isPrepared()
public void prepare()
prepare
in interface com.hp.hpl.jena.reasoner.InfGraph
prepare
in class com.hp.hpl.jena.reasoner.BaseInfGraph
public boolean isConsistent()
public boolean isClassified()
public void classify()
public com.hp.hpl.jena.graph.Graph getDeductionsGraph()
getDeductionsGraph
in interface com.hp.hpl.jena.reasoner.InfGraph
getDeductionsGraph
in class com.hp.hpl.jena.reasoner.BaseInfGraph
public OWLReasoner getOWLReasoner()
public KnowledgeBase getKB()
public void performAdd(com.hp.hpl.jena.graph.Triple t)
Add one triple to the data graph, mark the graph not-prepared, but don't run prepare() just yet.
performAdd
in interface com.hp.hpl.jena.graph.impl.GraphWithPerform
performAdd
in class com.hp.hpl.jena.reasoner.BaseInfGraph
t
- A triple to add to the graphpublic void performDelete(com.hp.hpl.jena.graph.Triple t)
Delete one triple from the data graph, mark the graph not-prepared, but don't run prepare() just yet.
performDelete
in interface com.hp.hpl.jena.graph.impl.GraphWithPerform
performDelete
in class com.hp.hpl.jena.reasoner.BaseInfGraph
t
- A triple to remove from the graphpublic com.hp.hpl.jena.reasoner.ValidityReport validate()
Test the consistency of the model. This looks for overall inconsistency, and for any unsatisfiable classes.
validate
in interface com.hp.hpl.jena.reasoner.InfGraph
validate
in class com.hp.hpl.jena.reasoner.BaseInfGraph
public aterm.ATermAppl node2term(com.hp.hpl.jena.graph.Node node)
public aterm.ATermAppl node2term(com.hp.hpl.jena.rdf.model.RDFNode node)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |