| Modifier and Type | Class and Description |
|---|---|
class |
ImmutableCQ<P extends AtomPredicate> |
interface |
ImmutableCQContainmentCheck<P extends AtomPredicate> |
class |
ImmutableHomomorphismIterator<P extends AtomPredicate> |
interface |
LinearInclusionDependencies<P extends AtomPredicate> |
| Modifier and Type | Class and Description |
|---|---|
class |
BasicLinearInclusionDependenciesImpl<P extends AtomPredicate> |
class |
FullLinearInclusionDependenciesImpl<P extends AtomPredicate>
Full linear inclusion dependencies, which contain no existentially quantified variables
|
static class |
FullLinearInclusionDependenciesImpl.Builder<P extends AtomPredicate> |
class |
ImmutableCQContainmentCheckUnderLIDs<P extends AtomPredicate> |
class |
ImmutableCQSyntacticContainmentCheck<P extends AtomPredicate> |
class |
LinearInclusionDependenciesImpl<P extends AtomPredicate> |
static class |
LinearInclusionDependenciesImpl.Builder<P extends AtomPredicate> |
static class |
LinearInclusionDependenciesImpl.LinearInclusionDependency<P extends AtomPredicate> |
| Modifier and Type | Method and Description |
|---|---|
static <P extends AtomPredicate> |
LinearInclusionDependenciesImpl.builder(CoreUtilsFactory coreUtilsFactory,
AtomFactory atomFactory) |
static <P extends AtomPredicate> |
FullLinearInclusionDependenciesImpl.builder(CoreUtilsFactory coreUtilsFactory,
AtomFactory atomFactory) |
| Modifier and Type | Method and Description |
|---|---|
IntensionalDataNode |
IntermediateQueryFactory.createIntensionalDataNode(DataAtom<AtomPredicate> atom) |
| Modifier and Type | Method and Description |
|---|---|
DataAtom<AtomPredicate> |
IntensionalDataNode.getProjectionAtom() |
| Modifier and Type | Method and Description |
|---|---|
IntensionalDataNode |
IntensionalDataNode.newAtom(DataAtom<AtomPredicate> newAtom) |
| Modifier and Type | Class and Description |
|---|---|
class |
DataNodeImpl<P extends AtomPredicate> |
| Modifier and Type | Interface and Description |
|---|---|
interface |
DataAtom<P extends AtomPredicate>
Immutable data atom that only accepts variables and ground terms as arguments.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
QuadPredicate |
interface |
RDFAtomPredicate
Abstraction for triples, quads and so on.
|
interface |
RelationPredicate |
interface |
TriplePredicate |
| Modifier and Type | Method and Description |
|---|---|
<P extends AtomPredicate> |
AtomFactory.getDataAtom(P predicate,
com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm> terms)
Beware: a DataAtom is immutable
|
<P extends AtomPredicate> |
AtomFactory.getDataAtom(P predicate,
VariableOrGroundTerm... terms)
Beware: a DataAtom is immutable
|
| Modifier and Type | Method and Description |
|---|---|
AtomPredicate |
AtomFactory.getRDFAnswerPredicate(int arity) |
| Modifier and Type | Method and Description |
|---|---|
DataAtom<AtomPredicate> |
AtomFactory.getIntensionalQuadAtom(VariableOrGroundTerm subject,
org.apache.commons.rdf.api.IRI classIRI,
VariableOrGroundTerm graph) |
DataAtom<AtomPredicate> |
AtomFactory.getIntensionalQuadAtom(VariableOrGroundTerm subject,
VariableOrGroundTerm property,
VariableOrGroundTerm object,
VariableOrGroundTerm graph)
TODO: change the generic-type to RDFAtomPredicate?
Davide: For provenance TODO: Add quads version for each method in this intereface
|
DataAtom<AtomPredicate> |
AtomFactory.getIntensionalTripleAtom(VariableOrGroundTerm subject,
org.apache.commons.rdf.api.IRI classIRI)
TODO: change the generic-type to RDFAtomPredicate?
|
DataAtom<AtomPredicate> |
AtomFactory.getIntensionalTripleAtom(VariableOrGroundTerm subject,
org.apache.commons.rdf.api.IRI propertyIRI,
VariableOrGroundTerm object)
TODO: change the generic-type to RDFAtomPredicate?
|
DataAtom<AtomPredicate> |
AtomFactory.getIntensionalTripleAtom(VariableOrGroundTerm subject,
VariableOrGroundTerm property,
VariableOrGroundTerm object)
TODO: change the generic-type to RDFAtomPredicate?
|
| Modifier and Type | Method and Description |
|---|---|
DistinctVariableOnlyDataAtom |
AtomFactory.getDistinctVariableOnlyDataAtom(AtomPredicate predicate,
com.google.common.collect.ImmutableList<Variable> arguments) |
DistinctVariableOnlyDataAtom |
AtomFactory.getDistinctVariableOnlyDataAtom(AtomPredicate predicate,
Variable... arguments) |
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractDataAtomImpl<P extends AtomPredicate> |
class |
DataAtomImpl<P extends AtomPredicate> |
| Modifier and Type | Class and Description |
|---|---|
class |
AtomPredicateImpl
TODO: in the future, make it independent from PredicateImpl
|
class |
QuadPredicateImpl |
class |
RDFAtomPredicateImpl |
class |
TriplePredicateImpl |
| Modifier and Type | Method and Description |
|---|---|
<P extends AtomPredicate> |
AtomFactoryImpl.getDataAtom(P predicate,
com.google.common.collect.ImmutableList<? extends VariableOrGroundTerm> arguments) |
<P extends AtomPredicate> |
AtomFactoryImpl.getDataAtom(P predicate,
VariableOrGroundTerm... terms) |
| Modifier and Type | Method and Description |
|---|---|
AtomPredicate |
AtomFactoryImpl.getRDFAnswerPredicate(int arity) |
| Modifier and Type | Method and Description |
|---|---|
DataAtom<AtomPredicate> |
AtomFactoryImpl.getIntensionalQuadAtom(VariableOrGroundTerm subject,
org.apache.commons.rdf.api.IRI classIRI,
VariableOrGroundTerm graph) |
DataAtom<AtomPredicate> |
AtomFactoryImpl.getIntensionalQuadAtom(VariableOrGroundTerm subject,
VariableOrGroundTerm property,
VariableOrGroundTerm object,
VariableOrGroundTerm graph) |
DataAtom<AtomPredicate> |
AtomFactoryImpl.getIntensionalTripleAtom(VariableOrGroundTerm subject,
org.apache.commons.rdf.api.IRI classIRI) |
DataAtom<AtomPredicate> |
AtomFactoryImpl.getIntensionalTripleAtom(VariableOrGroundTerm subject,
org.apache.commons.rdf.api.IRI propertyIRI,
VariableOrGroundTerm object) |
DataAtom<AtomPredicate> |
AtomFactoryImpl.getIntensionalTripleAtom(VariableOrGroundTerm subject,
VariableOrGroundTerm property,
VariableOrGroundTerm object) |
| Modifier and Type | Method and Description |
|---|---|
DistinctVariableOnlyDataAtom |
AtomFactoryImpl.getDistinctVariableOnlyDataAtom(AtomPredicate predicate,
com.google.common.collect.ImmutableList<Variable> arguments) |
DistinctVariableOnlyDataAtom |
AtomFactoryImpl.getDistinctVariableOnlyDataAtom(AtomPredicate predicate,
Variable... arguments) |
| Constructor and Description |
|---|
DistinctVariableOnlyDataAtomImpl(AtomPredicate predicate,
com.google.common.collect.ImmutableList<Variable> variables) |
DistinctVariableOnlyDataAtomImpl(AtomPredicate predicate,
Variable... variables) |
| Modifier and Type | Method and Description |
|---|---|
<P extends AtomPredicate> |
ImmutableSubstitution.applyToDataAtom(DataAtom<P> atom)
Only guaranteed for T extends VariableOrGroundTerm.
|
| Modifier and Type | Method and Description |
|---|---|
<P extends AtomPredicate> |
AbstractImmutableSubstitutionImpl.applyToDataAtom(DataAtom<P> atom) |
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.