| Package | Description |
|---|---|
| it.unibz.inf.ontop.model.atom | |
| it.unibz.inf.ontop.model.atom.impl |
| Modifier and Type | Method and Description |
|---|---|
TargetAtom |
TargetAtom.changeSubstitution(ImmutableSubstitution<ImmutableTerm> newSubstitution)
Returns a new (immutable) TargetAtom
|
TargetAtom |
TargetAtomFactory.getTargetAtom(DistinctVariableOnlyDataAtom projectionAtom,
ImmutableSubstitution<ImmutableTerm> substitution)
Used for Datalog conversion.
|
TargetAtom |
TargetAtomFactory.getTripleTargetAtom(ImmutableTerm subject,
ImmutableTerm pred,
ImmutableTerm object) |
TargetAtom |
TargetAtomFactory.getTripleTargetAtom(ImmutableTerm subjectTerm,
org.apache.commons.rdf.api.IRI classIRI) |
TargetAtom |
TargetAtomFactory.getTripleTargetAtom(ImmutableTerm subjectTerm,
org.apache.commons.rdf.api.IRI propertyIRI,
ImmutableTerm objectTerm) |
TargetAtom |
TargetAtom.rename(InjectiveVar2VarSubstitution renamingSubstitution) |
| Modifier and Type | Class and Description |
|---|---|
class |
TargetAtomImpl |
| Modifier and Type | Method and Description |
|---|---|
TargetAtom |
TargetAtomImpl.changeSubstitution(ImmutableSubstitution<ImmutableTerm> newSubstitution) |
TargetAtom |
TargetAtomFactoryImpl.getTargetAtom(DistinctVariableOnlyDataAtom projectionAtom,
ImmutableSubstitution<ImmutableTerm> substitution) |
TargetAtom |
TargetAtomFactoryImpl.getTripleTargetAtom(ImmutableTerm subject,
ImmutableTerm pred,
ImmutableTerm object) |
TargetAtom |
TargetAtomFactoryImpl.getTripleTargetAtom(ImmutableTerm subjectTerm,
org.apache.commons.rdf.api.IRI classIRI) |
TargetAtom |
TargetAtomFactoryImpl.getTripleTargetAtom(ImmutableTerm subjectTerm,
org.apache.commons.rdf.api.IRI propertyIRI,
ImmutableTerm objectTerm) |
TargetAtom |
TargetAtomImpl.rename(InjectiveVar2VarSubstitution renamingSubstitution) |
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.