Modifier and Type | Method and Description |
---|---|
CloseableIterator<ConjunctiveQuery> |
QueryRewriterWithCompilation.execute(ConjunctiveQuery query,
Iterable<Rule> rules,
RulesCompilation compilation)
Rewrite the specified query using the specified set of rules and compilation.
|
CloseableIterator<ConjunctiveQuery> |
QueryRewriterWithCompilation.execute(ConjunctiveQuery query,
Iterable<Rule> rules,
RulesCompilation compilation,
long timeout)
Rewrite the specified query using the specified set of rules and compilation.
|
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Atom> |
AtomSet.atomsByPredicate(Predicate predicate)
Returns an iterator over all atoms with the specified predicate.
|
CloseableIterator<Constant> |
AtomSet.constantsIterator()
Returns an iterator over all constants in this atom set.
|
CloseableIterator<ConjunctiveQuery> |
UnionOfConjunctiveQueries.iterator() |
CloseableIterator<Atom> |
AtomSet.iterator()
Returns an iterator over the atoms in this atom set.
|
CloseableIterator<Literal> |
AtomSet.literalsIterator()
Returns an iterator over all literals in this atom set.
|
CloseableIterator<Atom> |
AtomSet.match(Atom atom)
Returns an iterator over atoms that match predicate and constants from
the specified atom.
|
CloseableIterator<Predicate> |
AtomSet.predicatesIterator()
Returns an iterator over all predicates in this atom set.
|
CloseableIterator<Term> |
AtomSet.termsByPredicatePosition(Predicate p,
int position)
Returns an iterator over terms which are in a specific position in at
least one atom with the specified predicate.
|
CloseableIterator<Term> |
AtomSet.termsIterator()
Returns an iterator over all terms in this atom set.
|
CloseableIterator<Term> |
AtomSet.termsIterator(Term.Type type)
Deprecated.
|
CloseableIterator<Variable> |
AtomSet.variablesIterator()
Returns an iterator over all variables in this atom set.
|
Modifier and Type | Method and Description |
---|---|
boolean |
AtomSet.addAll(CloseableIterator<? extends Atom> atoms)
Add the specified atom stream to this atom set.
|
boolean |
RuleSet.addAll(CloseableIterator<Rule> ruleIterator) |
boolean |
Ontology.addAll(CloseableIterator<Rule> ruleIterator) |
boolean |
AtomSet.removeAll(CloseableIterator<? extends Atom> atoms)
Remove the specified atom stream from this atom set.
|
boolean |
RuleSet.removeAll(CloseableIterator<Rule> ruleIterator) |
boolean |
Ontology.removeAll(CloseableIterator<Rule> ruleIterator) |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Substitution> |
UnifierAlgorithm.computePieceUnifier(Rule rule,
InMemoryAtomSet query,
UnifierChecker... filters) |
CloseableIterator<Substitution> |
UnifierAlgorithm.computePieceUnifier(Rule rule,
Rule target,
DependencyChecker... filters) |
Modifier and Type | Method and Description |
---|---|
Store |
StoreFactory.create(CloseableIterator<Atom> atoms) |
InMemoryAtomSet |
InMemoryAtomSetFactory.create(CloseableIterator<Atom> atoms) |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Atom> |
ChaseHaltingCondition.apply(Rule rule,
Substitution substitution,
AtomSet data)
This method should return the atoms to actually add.
|
CloseableIterator<Atom> |
RuleApplier.delegatedApply(R rule,
A atomSet)
Apply the given Rule over the given AtomSet, the new generated atoms are
returned as a CloseableIterator
|
CloseableIterator<Atom> |
RuleApplier.delegatedApply(R rule,
A atomSetOnWichQuerying,
A atomSetOnWichCheck)
Apply the given Rule over atomSetOnWichQuerying, the redundancy of the
generated atoms will be checked over atomSetOnWichCheck.
|
CloseableIterator<Atom> |
RuleApplicationHandler.postRuleApplication(Rule rule,
Substitution substitution,
AtomSet data,
CloseableIterator<Atom> atomsToAdd) |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Atom> |
RuleApplicationHandler.postRuleApplication(Rule rule,
Substitution substitution,
AtomSet data,
CloseableIterator<Atom> atomsToAdd) |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Substitution> |
PreparedHomomorphism.execute(Substitution s)
Look for the homomorphisms of the specified object into the specified
atomset.
|
CloseableIterator<Substitution> |
Homomorphism.execute(T1 q,
T2 a)
Look for the homomorphisms of the specified object into the specified
atomset.
|
CloseableIterator<Substitution> |
HomomorphismWithCompilation.execute(T1 q,
T2 a,
RulesCompilation compilation)
Look for the homomorphisms of the specified object into the specified
atomset.
|
Modifier and Type | Interface and Description |
---|---|
interface |
ConjunctiveQueryParser |
interface |
Parser<T> |
Modifier and Type | Method and Description |
---|---|
protected void |
AbstractGraalWriter.writeCloseableIterator(CloseableIterator<?> it) |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Substitution> |
KnowledgeBase.homomorphism(Query query)
Find an homomorphism of the query in the fact base associated with this
knowledge base.
|
CloseableIterator<Substitution> |
KnowledgeBase.query(Query query)
Execute the query over this Knowledge Base.
|
CloseableIterator<Substitution> |
KnowledgeBase.query(Query query,
long timeout)
Execute the query over this Knowledge Base.
|
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Atom> |
Store.atomsByPredicate(Predicate p) |
CloseableIterator<Atom> |
Store.iterator() |
CloseableIterator<Atom> |
Store.match(Atom atom) |
CloseableIterator<Predicate> |
Store.predicatesIterator() |
CloseableIterator<Term> |
Store.termsByPredicatePosition(Predicate p,
int position) |
CloseableIterator<Term> |
Store.termsIterator() |
CloseableIterator<Term> |
Store.termsIterator(Term.Type type)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
void |
BatchProcessor.addAll(CloseableIterator<? extends Atom> it) |
Constructor and Description |
---|
DefaultConjunctiveQuery(CloseableIterator<Atom> atomSet,
CloseableIterator<Term> answerVariables) |
DefaultConjunctiveQuery(CloseableIterator<Atom> atomSet,
CloseableIterator<Term> answerVariables) |
DefaultNegativeConstraint(CloseableIterator<Atom> atomSet) |
DefaultNegativeConstraint(String label,
CloseableIterator<Atom> atomSet) |
DefaultUnionOfConjunctiveQueries(List<Term> ans,
CloseableIterator<ConjunctiveQuery> queries) |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Constant> |
AbstractAtomSet.constantsIterator() |
CloseableIterator<Literal> |
AbstractAtomSet.literalsIterator() |
CloseableIterator<Variable> |
AbstractAtomSet.variablesIterator() |
Modifier and Type | Method and Description |
---|---|
boolean |
AbstractAtomSet.addAll(CloseableIterator<? extends Atom> it) |
boolean |
AbstractImmutableAtomSet.addAll(CloseableIterator<? extends Atom> atoms) |
boolean |
AbstractAtomSet.removeAll(CloseableIterator<? extends Atom> it) |
boolean |
AbstractImmutableAtomSet.removeAll(CloseableIterator<? extends Atom> atoms) |
Constructor and Description |
---|
LinkedListAtomSet(CloseableIterator<Atom> it) |
Modifier and Type | Method and Description |
---|---|
Store |
DefaultStoreFactory.create(CloseableIterator<Atom> atoms) |
InMemoryAtomSet |
DefaultAtomSetFactory.create(CloseableIterator<Atom> atoms) |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Atom> |
MappedStore.atomsByPredicate(Predicate p) |
CloseableIterator<Atom> |
MappedStore.iterator() |
CloseableIterator<Atom> |
MappedStore.match(Atom atom) |
CloseableIterator<Predicate> |
MappedStore.predicatesIterator() |
CloseableIterator<Term> |
MappedStore.termsByPredicatePosition(Predicate p,
int position) |
CloseableIterator<Term> |
MappedStore.termsIterator() |
CloseableIterator<Term> |
MappedStore.termsIterator(Term.Type type)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
boolean |
MappedStore.addAll(CloseableIterator<? extends Atom> it) |
boolean |
MappedRuleSet.addAll(CloseableIterator<Rule> ruleIterator) |
boolean |
MappedRuleSet.removeAll(CloseableIterator<Rule> ruleIterator) |
Modifier and Type | Method and Description |
---|---|
boolean |
AbstractRuleSet.addAll(CloseableIterator<Rule> ruleIterator) |
boolean |
DefaultOntology.addAll(CloseableIterator<Rule> ruleIterator) |
boolean |
AbstractRuleSet.removeAll(CloseableIterator<Rule> ruleIterator) |
boolean |
DefaultOntology.removeAll(CloseableIterator<Rule> ruleIterator) |
Constructor and Description |
---|
DefaultOntology(CloseableIterator<Object> parser) |
LinkedListRuleSet(CloseableIterator<?> parser) |
Modifier and Type | Method and Description |
---|---|
void |
DefaultBatchProcessor.addAll(CloseableIterator<? extends Atom> it) |
Modifier and Type | Class and Description |
---|---|
class |
SubstitutionIterator2AtomIterator |
Constructor and Description |
---|
SubstitutionIterator2AtomIterator(Atom atom,
CloseableIterator<Substitution> it) |
Modifier and Type | Class and Description |
---|---|
class |
AtomFilterIterator
Keeps only
Atom instances from the given iterator. |
class |
ConjunctiveQueryFilterIterator
Keeps only
ConjunctiveQuery instances from the given iterator. |
class |
NegativeConstraintFilterIterator
Keeps only
NegativeConstraint instances from the given iterator. |
class |
RuleFilterIterator
Keeps only
Rule instances from the given iterator. |
Constructor and Description |
---|
AtomFilterIterator(CloseableIterator<Object> it) |
ConjunctiveQueryFilterIterator(CloseableIterator<Object> it) |
NegativeConstraintFilterIterator(CloseableIterator<Object> it) |
RuleFilterIterator(CloseableIterator<? extends Object> it) |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Atom> |
RestrictedChaseHaltingCondition.apply(Rule rule,
Substitution substitution,
AtomSet data) |
CloseableIterator<Atom> |
FrontierRestrictedChaseHaltingCondition.apply(Rule rule,
Substitution substitution,
AtomSet data) |
CloseableIterator<Atom> |
HaltingConditionWithHandler.apply(Rule rule,
Substitution substitution,
AtomSet data) |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Atom> |
RestrictedChaseRuleApplier.delegatedApply(Rule rule,
T atomSet) |
CloseableIterator<Atom> |
AbstractRuleApplier.delegatedApply(Rule rule,
T atomSet) |
CloseableIterator<Atom> |
RestrictedChaseRuleApplier.delegatedApply(Rule rule,
T atomSetOnWichQuerying,
T atomSetOnWichCheck) |
CloseableIterator<Atom> |
AbstractRuleApplier.delegatedApply(Rule rule,
T atomSetOnWichQuerying,
T atomSetOnWichCheck) |
protected CloseableIterator<Substitution> |
AbstractRuleApplier.executeQuery(ConjunctiveQuery query,
T atomSet) |
Modifier and Type | Field and Description |
---|---|
CloseableIterator<Term> |
Var.domain |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Term> |
Bootstrapper.exec(VarSharedData v,
Collection<Atom> preAtoms,
Collection<Atom> postAtoms,
AtomSet data,
RulesCompilation compilation) |
CloseableIterator<Term> |
StatBootstrapper.exec(VarSharedData v,
Collection<Atom> preAtoms,
Collection<Atom> postAtoms,
AtomSet data,
RulesCompilation rc) |
CloseableIterator<Term> |
AllDomainBootstrapper.exec(VarSharedData v,
Collection<Atom> preAtoms,
Collection<Atom> postAtoms,
AtomSet data,
RulesCompilation compilation) |
CloseableIterator<Term> |
StarBootstrapper.exec(VarSharedData v,
Collection<Atom> preAtoms,
Collection<Atom> postAtoms,
AtomSet data,
RulesCompilation compilation) |
CloseableIterator<Term> |
DefaultBootstrapper.exec(VarSharedData v,
Collection<Atom> preAtoms,
Collection<Atom> postAtoms,
AtomSet data,
RulesCompilation compilation) |
Modifier and Type | Class and Description |
---|---|
class |
HomomorphismIteratorChecker |
Constructor and Description |
---|
HomomorphismIteratorChecker(Var var,
CloseableIterator<Term> it,
Iterable<Atom> h,
AtomSet g,
Substitution initialSubstitution,
Map<Variable,Integer> map,
Var[] varData,
RulesCompilation rc)
Check over it, the images for var such that there exists an homomorphism
from h to g.
|
Modifier and Type | Class and Description |
---|---|
class |
DlgpParser |
Modifier and Type | Method and Description |
---|---|
static CloseableIterator<Atom> |
DlgpParser.parseAtomSet(String s) |
Modifier and Type | Method and Description |
---|---|
protected void |
DlgpWriter.writeAtomSet(CloseableIterator<Atom> atomsetIt,
boolean addCarriageReturn) |
Modifier and Type | Class and Description |
---|---|
class |
OWL2Parser
This class parses OWL2 ontologies and converts them into Rule, Facts and
Constraints.
|
Modifier and Type | Class and Description |
---|---|
class |
RDFParser |
Modifier and Type | Method and Description |
---|---|
protected void |
RuleMLWriter.writeAtomSet(CloseableIterator<Atom> it) |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Substitution> |
DefaultKnowledgeBase.homomorphism(Query query) |
CloseableIterator<Substitution> |
DefaultKnowledgeBase.query(Query query) |
CloseableIterator<Substitution> |
DefaultKnowledgeBase.query(Query query,
long timeout) |
Modifier and Type | Method and Description |
---|---|
void |
KBBuilder.addAll(CloseableIterator<Object> it)
Loads rules and atoms form the specified CloseableIterator.
|
void |
KBBuilder.addAtoms(CloseableIterator<Object> it)
Loads atoms from the specified CloseableIterator.
|
void |
KBBuilder.addAtoms(CloseableIterator<Object> it,
Mapper mapper)
Maps and loads atoms from the specified CloseableIterator.
|
void |
KBBuilder.addRules(CloseableIterator<Object> it)
Loads rules from the specified CloseableIterator.
|
void |
KBBuilder.addRules(CloseableIterator<Object> it,
Mapper mapper)
Maps rules from the specified CloseableIterator and loads them.
|
Constructor and Description |
---|
AnalyserRuleSet(CloseableIterator<Rule> rules) |
AnalyserRuleSet(CloseableIterator<Rule> rules,
DependencyChecker... checkers) |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Atom> |
Neo4jStore.atomsByPredicate(Predicate p) |
CloseableIterator<Atom> |
Neo4jStore.iterator() |
CloseableIterator<Atom> |
Neo4jStore.match(Atom atom) |
CloseableIterator<Predicate> |
Neo4jStore.predicatesIterator() |
CloseableIterator<Term> |
Neo4jStore.termsByPredicatePosition(Predicate p,
int position) |
CloseableIterator<Term> |
Neo4jStore.termsIterator() |
CloseableIterator<Term> |
Neo4jStore.termsIterator(Term.Type type)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
boolean |
Neo4jStore.addAll(CloseableIterator<? extends Atom> it) |
boolean |
Neo4jStore.removeAll(CloseableIterator<? extends Atom> it) |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Atom> |
AbstractRdbmsStore.iterator() |
Modifier and Type | Method and Description |
---|---|
void |
AbstractRdbmsBatchProcessor.addAll(CloseableIterator<? extends Atom> it) |
boolean |
AbstractRdbmsStore.addAll(CloseableIterator<? extends Atom> stream) |
boolean |
AbstractRdbmsStore.removeAll(CloseableIterator<? extends Atom> stream) |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Atom> |
AdHocRdbmsStore.atomsByPredicate(Predicate p) |
CloseableIterator<Atom> |
AdHocRdbmsStore.match(Atom atom) |
CloseableIterator<Predicate> |
AdHocRdbmsStore.predicatesIterator() |
CloseableIterator<Term> |
AdHocRdbmsStore.termsByPredicatePosition(Predicate p,
int position) |
CloseableIterator<Term> |
AdHocRdbmsStore.termsIterator() |
CloseableIterator<Term> |
AdHocRdbmsStore.termsIterator(Term.Type type)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
CloseableIterator<DBTable> |
RdbmsDriver.getTables()
Returns an iterator over the database tables.
|
CloseableIterator<DBTable> |
AbstractRdbmsDriver.getTables() |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Substitution> |
SqlHomomorphism.execute(ConjunctiveQuery query,
RdbmsStore store) |
CloseableIterator<Substitution> |
SqlUCQHomomorphism.execute(UnionOfConjunctiveQueries queries,
RdbmsStore store) |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Atom> |
NaturalRDBMSStore.atomsByPredicate(Predicate p) |
CloseableIterator<Atom> |
NaturalRDBMSStore.match(Atom atom) |
CloseableIterator<Predicate> |
NaturalRDBMSStore.predicatesIterator() |
CloseableIterator<Term> |
NaturalRDBMSStore.termsByPredicatePosition(Predicate p,
int position) |
CloseableIterator<Term> |
NaturalRDBMSStore.termsIterator() |
CloseableIterator<Term> |
NaturalRDBMSStore.termsIterator(Term.Type type)
Deprecated.
|
Modifier and Type | Class and Description |
---|---|
class |
ResultSetCloseableIterator |
class |
ResultSetConverterIterator<T> |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Atom> |
RDF4jStore.atomsByPredicate(Predicate p) |
CloseableIterator<Atom> |
RDF4jStore.iterator() |
CloseableIterator<Atom> |
RDF4jStore.match(Atom atom) |
CloseableIterator<Predicate> |
RDF4jStore.predicatesIterator() |
CloseableIterator<Term> |
RDF4jStore.termsByPredicatePosition(Predicate p,
int position) |
CloseableIterator<Term> |
RDF4jStore.termsIterator() |
CloseableIterator<Term> |
RDF4jStore.termsIterator(Term.Type type)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
boolean |
RDF4jStore.addAll(CloseableIterator<? extends Atom> atom) |
boolean |
RDF4jStore.removeAll(CloseableIterator<? extends Atom> atom) |
Modifier and Type | Interface and Description |
---|---|
interface |
CloseableIteratorWithoutException<T> |
interface |
InMemoryStream<T> |
interface |
Stream<T> |
Modifier and Type | Class and Description |
---|---|
class |
AbstractCloseableIterator<E> |
class |
ArrayBlockingQueueToCloseableIteratorAdapter<T> |
class |
ArrayBlockingStream<T> |
class |
CloseableIteratorAdapter<T> |
class |
CloseableIteratorAggregator<E> |
class |
CloseableIteratorAggregatorWithoutExeception<E> |
class |
CounterIterator<T> |
class |
LinkedBlockingStream<T> |
class |
QueueStream<T> |
class |
SingletonCloseableIteratorWithoutException<E> |
class |
UniqIterator<T>
Remove adjacent equals elements.
|
Modifier and Type | Field and Description |
---|---|
protected CloseableIterator<T> |
IteratorAdapter.iterator |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<T> |
CloseableIterable.iterator() |
static <T extends Comparable<T>> |
Iterators.sort(CloseableIterator<T> it)
Return an iterator over sorted elements from the specified iterator.
|
static <T extends Comparable<T>> |
Iterators.uniq(CloseableIterator<T> it)
Remove all equals elements.
|
static <T> CloseableIterator<T> |
Iterators.uniqLocaly(CloseableIterator<T> it)
Remove adjacent equals elements.
|
Modifier and Type | Method and Description |
---|---|
static int |
Iterators.count(CloseableIterator<?> it) |
static <T extends Comparable<T>> |
Iterators.sort(CloseableIterator<T> it)
Return an iterator over sorted elements from the specified iterator.
|
static <T> List<T> |
Iterators.toList(CloseableIterator<T> it) |
static <T> Set<T> |
Iterators.toSet(CloseableIterator<T> it) |
static <T extends Comparable<T>> |
Iterators.uniq(CloseableIterator<T> it)
Remove all equals elements.
|
static <T> CloseableIterator<T> |
Iterators.uniqLocaly(CloseableIterator<T> it)
Remove adjacent equals elements.
|
Constructor and Description |
---|
ArrayBlockingQueueToCloseableIteratorAdapter(CloseableIterator<T> it) |
ArrayBlockingQueueToCloseableIteratorAdapter(CloseableIterator<T> it,
int bufferSize) |
CloseableIteratorAggregator(CloseableIterator<CloseableIterator<E>> metaIt) |
CounterIterator(CloseableIterator<T> it) |
IteratorAdapter(CloseableIterator<T> iterator) |
UniqIterator(CloseableIterator<T> it) |
Constructor and Description |
---|
CloseableIteratorAggregator(CloseableIterator<CloseableIterator<E>> metaIt) |
CloseableIteratorAggregator(Iterator<CloseableIterator<E>> metaIt) |
Modifier and Type | Class and Description |
---|---|
class |
ConverterCloseableIterator<U,T> |
class |
ConverterIterator<U,T> |
class |
ConverterIteratorWithoutException<U,T> |
Constructor and Description |
---|
ConverterCloseableIterator(CloseableIterator<U> it,
Converter<U,T> converter) |
ConverterIterator(CloseableIterator<U> it,
Converter<U,T> converter) |
Modifier and Type | Class and Description |
---|---|
class |
FilterCloseableIterator<U,T> |
class |
FilterIterator<U,T>
Remove some unwanted elements from an
CloseableIterator . |
class |
FilterIteratorWithoutException<U,T> |
Constructor and Description |
---|
FilterCloseableIterator(CloseableIterator<U> it,
Filter<U> filter) |
FilterIterator(CloseableIterator<? extends U> it,
Filter<U> filter) |
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.