org.mindswap.pellet.jena
Class PelletMetInfGraph
java.lang.Object
com.hp.hpl.jena.graph.impl.GraphBase
com.hp.hpl.jena.reasoner.BaseInfGraph
org.mindswap.pellet.jena.PelletMetInfGraph
- All Implemented Interfaces:
- com.hp.hpl.jena.graph.Graph, com.hp.hpl.jena.graph.GraphAdd, com.hp.hpl.jena.graph.impl.GraphWithPerform, com.hp.hpl.jena.reasoner.InfGraph
public class PelletMetInfGraph
- extends com.hp.hpl.jena.reasoner.BaseInfGraph
- implements com.hp.hpl.jena.reasoner.InfGraph
Extension is made for OWLMeT
User: NataKeberle
Date: 16/5/2009
Time: 12:46:54
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 |
Fields inherited from interface com.hp.hpl.jena.graph.Graph |
emptyGraph |
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. |
OWLMETReasoner |
getOWLTReasoner()
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 |
DEBUG
public static boolean DEBUG
GET_ONLY_PROPERTIES
public 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.
SUBJ
public static final byte SUBJ
- See Also:
- Constant Field Values
PRED
public static final byte PRED
- See Also:
- Constant Field Values
OBJ
public static final byte OBJ
- See Also:
- Constant Field Values
RDF_type
public static final com.hp.hpl.jena.graph.Node RDF_type
RDF_directType
public static final com.hp.hpl.jena.graph.Node RDF_directType
RDFS_subClassOf
public static final com.hp.hpl.jena.graph.Node RDFS_subClassOf
RDFS_directSubClassOf
public static final com.hp.hpl.jena.graph.Node RDFS_directSubClassOf
OWL_equivalentClass
public static final com.hp.hpl.jena.graph.Node OWL_equivalentClass
OWL_complementOf
public static final com.hp.hpl.jena.graph.Node OWL_complementOf
OWL_disjointWith
public static final com.hp.hpl.jena.graph.Node OWL_disjointWith
RDFS_subPropertyOf
public static final com.hp.hpl.jena.graph.Node RDFS_subPropertyOf
RDFS_directSubPropertyOf
public static final com.hp.hpl.jena.graph.Node RDFS_directSubPropertyOf
OWL_equivalentProperty
public static final com.hp.hpl.jena.graph.Node OWL_equivalentProperty
OWL_Class
public static final com.hp.hpl.jena.graph.Node OWL_Class
RDFS_domain
public static final com.hp.hpl.jena.graph.Node RDFS_domain
RDFS_range
public static final com.hp.hpl.jena.graph.Node RDFS_range
OWLT_equivalentClass
public static final com.hp.hpl.jena.graph.Node OWLT_equivalentClass
OWLT_complementOf
public static final com.hp.hpl.jena.graph.Node OWLT_complementOf
OWLT_disjointWith
public static final com.hp.hpl.jena.graph.Node OWLT_disjointWith
OWLT_TClass
public static final com.hp.hpl.jena.graph.Node OWLT_TClass
PelletMetInfGraph
public PelletMetInfGraph(com.hp.hpl.jena.graph.Graph graph,
PelletMetReasoner pellet)
isLazyConsistency
public boolean isLazyConsistency()
setLazyConsistency
public void setLazyConsistency(boolean lazyConsistency)
find
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)
- Specified by:
find
in interface com.hp.hpl.jena.reasoner.InfGraph
- Overrides:
find
in class com.hp.hpl.jena.reasoner.BaseInfGraph
findWithContinuation
public com.hp.hpl.jena.util.iterator.ExtendedIterator findWithContinuation(com.hp.hpl.jena.reasoner.TriplePattern pattern,
com.hp.hpl.jena.reasoner.Finder finder)
- Specified by:
findWithContinuation
in class com.hp.hpl.jena.reasoner.BaseInfGraph
getSchemaGraph
public com.hp.hpl.jena.graph.Graph getSchemaGraph()
- Specified by:
getSchemaGraph
in class com.hp.hpl.jena.reasoner.BaseInfGraph
isPrepared
public boolean isPrepared()
prepare
public void prepare()
- Specified by:
prepare
in interface com.hp.hpl.jena.reasoner.InfGraph
- Overrides:
prepare
in class com.hp.hpl.jena.reasoner.BaseInfGraph
isConsistent
public boolean isConsistent()
isClassified
public boolean isClassified()
classify
public void classify()
getDeductionsGraph
public com.hp.hpl.jena.graph.Graph getDeductionsGraph()
- Specified by:
getDeductionsGraph
in interface com.hp.hpl.jena.reasoner.InfGraph
- Overrides:
getDeductionsGraph
in class com.hp.hpl.jena.reasoner.BaseInfGraph
getOWLTReasoner
public OWLMETReasoner getOWLTReasoner()
- Returns the underlying Pellet OWLReasoner.
getKB
public KnowledgeBase getKB()
- Returns the underlying Pellet KnowledgeBase.
performAdd
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.
- Specified by:
performAdd
in interface com.hp.hpl.jena.graph.impl.GraphWithPerform
- Overrides:
performAdd
in class com.hp.hpl.jena.reasoner.BaseInfGraph
- Parameters:
t
- A triple to add to the graph
performDelete
public 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.
- Specified by:
performDelete
in interface com.hp.hpl.jena.graph.impl.GraphWithPerform
- Overrides:
performDelete
in class com.hp.hpl.jena.reasoner.BaseInfGraph
- Parameters:
t
- A triple to remove from the graph
validate
public com.hp.hpl.jena.reasoner.ValidityReport validate()
Test the consistency of the model. This looks for overall inconsistency,
and for any unsatisfiable classes.
- Specified by:
validate
in interface com.hp.hpl.jena.reasoner.InfGraph
- Overrides:
validate
in class com.hp.hpl.jena.reasoner.BaseInfGraph
- Returns:
- a ValidityReport structure
node2term
public aterm.ATermAppl node2term(com.hp.hpl.jena.graph.Node node)
node2term
public aterm.ATermAppl node2term(com.hp.hpl.jena.rdf.model.RDFNode node)
Copyright © 2007-2009 Natalya Keberle. All Rights Reserved.