Package | Description |
---|---|
edu.freiburg.dbis.rdd | |
edu.freiburg.dbis.rdd.fol | |
edu.freiburg.dbis.rdd.model |
Modifier and Type | Method and Description |
---|---|
void |
RDDEvaluationResult.startRecordFOFormulaEvaluation(FOFormula formula,
java.lang.String query) |
void |
RDDEvaluationResult.RDDConstraintEvaluationResult.startRecordFOFormulaEvaluation(FOFormula formula,
java.lang.String query) |
Modifier and Type | Method and Description |
---|---|
static RDDEvaluationResult |
RDDExecutor.evalResult(java.util.Set<FOFormula> formulas,
java.io.File dataFile,
org.openrdf.rio.RDFFormat fileFormat,
boolean askMode)
Evaluate the result over an RDF database.
|
static RDDEvaluationResult |
RDDExecutor.evalResult(java.util.Set<FOFormula> formulas,
java.io.File dataFile,
org.openrdf.rio.RDFFormat fileFormat,
boolean askMode,
java.lang.Integer limit)
Evaluate the result over an RDF database.
|
static void |
RDDExecutor.outputTranslationResult(java.util.Set<FOFormula> formulas,
Config.OutputType type,
java.lang.Integer limit,
java.io.File outputFile)
Write the evaluation result to the output.
|
Constructor and Description |
---|
RDDEvaluationResult.FOFormulaEvaluationResult(FOFormula formula,
java.lang.String query) |
Modifier and Type | Class and Description |
---|---|
class |
FOAnd
First-order logic "AND" expression
|
class |
FODatatype
FO formula representing a datatype specification
|
class |
FOEquals
Representation of FO equality construct
|
class |
FOExists
Representation of FO \exists construct
|
class |
FOFalse
Representation of FO false constant
|
class |
FOForall
Representation of FO \forall construct
|
class |
FOImplies
Representation of FO implication construct
|
class |
FONot
First-order logic negation
|
class |
FOOr
First-order logic "OR" expression
|
class |
FORangeType
Representation of range type specification in FO
|
class |
FOTriple
FO triple representation in first-order logics
|
class |
FOTrue
Representation of FO true constant
|
Modifier and Type | Method and Description |
---|---|
static java.util.List<FOFormula> |
FOConstraintBuilder.classCwaConstraint(java.util.Collection<IRI> clazzez,
ConstraintProvenanceInfo provenanceInfo)
Only the classes listed in are allowed for typing.
|
static java.util.List<FOFormula> |
FOConstraintBuilder.classKeyConstraint(IRI clazz,
Key key,
ConstraintProvenanceInfo provenanceInfo) |
static java.util.List<FOFormula> |
FOConstraintBuilder.classSingletonConstraint(IRI clazz,
ConstraintProvenanceInfo provenanceInfo)
Formula: forall s1, s2 (T(s1, rdf:type, C), T(s2, rdf:type, C) -> s1 = s2)
|
static java.util.List<FOFormula> |
FOConstraintBuilder.domainConstraint(IRI clazz,
IRI prop,
IRI domain,
ConstraintProvenanceInfo provenanceInfo)
- Qualified: (clazz!
|
java.util.List<FOFormula> |
FOAnd.getFilterConjuncts() |
java.util.List<FOFormula> |
FOOr.getFilterDisjuncts() |
java.util.List<FOFormula> |
FOAnd.getTripleConjuncts() |
java.util.List<FOFormula> |
FOOr.getTripleDisjuncts() |
static java.util.List<FOFormula> |
FOConstraintBuilder.maxConstraint(IRI clazz,
IRI prop,
int n,
ConstraintProvenanceInfo provenanceInfo)
- Qualified: (clazz!
|
static java.util.List<FOFormula> |
FOConstraintBuilder.minConstraint(IRI clazz,
IRI prop,
int n,
ConstraintProvenanceInfo provenanceInfo)
- Qualified: (clazz!
|
static java.util.Set<FOFormula> |
FOFormula.minimizeByProvenanceRemoval(java.util.Set<FOFormula> formulas)
Removes the provenance info and puts the formulas into a set, thus removing
formulas that only differ in provenance information.
|
static java.util.List<FOFormula> |
FOConstraintBuilder.partialityConstraint(IRI clazz,
IRI prop,
ConstraintProvenanceInfo provenanceInfo)
The partiality constraint is syntactic sugar for MAX 1.
|
static java.util.List<FOFormula> |
FOConstraintBuilder.pathConstraint(IRI clazz,
IRI prop,
java.util.List<IRI> path,
ConstraintProvenanceInfo provenanceInfo)
- Qualified: (clazz!
|
static java.util.List<FOFormula> |
FOConstraintBuilder.propertyCwaConstraint(IRI clazz,
java.util.Collection<IRI> props,
ConstraintProvenanceInfo provenanceInfo)
Only the properties listed in the PROPERTIES sections are allowed
to occur in the dataset.
|
static java.util.List<FOFormula> |
FOConstraintBuilder.rangeConstraint(IRI clazz,
IRI prop,
IRI range,
ConstraintProvenanceInfo provenanceInfo)
- Qualified: (clazz!
|
static java.util.List<FOFormula> |
FOConstraintBuilder.rangeTypeConstraint(IRI clazz,
IRIWithRangeType propWithRangeType,
ConstraintProvenanceInfo provenanceInfo)
Range type constraint, covered through dedicated relations in FOL.
|
static java.util.List<FOFormula> |
FOConstraintBuilder.subPropertyConstraint(IRI clazz,
IRI prop,
java.util.Collection<IRI> subProps,
Environment e,
ConstraintProvenanceInfo provenanceInfo)
Unqualified: induces one constraint, recursively for every subproperty p_s
(clazz==null): forall s, o (T(s, p_s, o) -> T(s, p, o))
Qualified: induces one constraint, recursively for every subproperty p_s
(clazz!
|
java.util.Set<FOFormula> |
FOConvertable.toFOL(Environment e) |
java.util.List<FOFormula> |
FOConvertableInContext.toFOL(IRI clazz,
Environment e) |
static java.util.List<FOFormula> |
FOConstraintBuilder.totalityConstraint(IRI clazz,
IRI prop,
ConstraintProvenanceInfo provenanceInfo)
The partiality constraint is syntactic sugar MIN 1 & MAX 1.
|
Modifier and Type | Method and Description |
---|---|
static java.util.Set<FOFormula> |
FOFormula.minimizeByProvenanceRemoval(java.util.Set<FOFormula> formulas)
Removes the provenance info and puts the formulas into a set, thus removing
formulas that only differ in provenance information.
|
Constructor and Description |
---|
FOAnd(FOFormula c1,
FOFormula c2) |
FOExists(java.util.List<SPARQLVariable> vars,
FOFormula inner) |
FOForall(java.util.List<SPARQLVariable> vars,
FOFormula inner) |
FOImplies(FOFormula premise,
FOFormula conclusion) |
FONot(FOFormula inner) |
Constructor and Description |
---|
FOAnd(java.util.List<FOFormula> conjunction) |
FOOr(java.util.List<FOFormula> disjunction) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<FOFormula> |
RDD.toFOL() |
java.util.Set<FOFormula> |
RDD.toFOL(Environment e) |
java.util.Set<FOFormula> |
PropConstraintSec.toFOL(Environment e) |
java.util.Set<FOFormula> |
ClassConstraintSec.toFOL(Environment e) |
java.util.Set<FOFormula> |
ClassConstraint.toFOL(Environment e) |
java.util.Set<FOFormula> |
ClassConstraint.toFOL(Environment e,
java.util.Set<IRI> handled)
Helper method for the evaluation phase, maintaining a list of handled
classes to break endless recursion in case of cyclic class hierarchies.
|
java.util.List<FOFormula> |
TotalityConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
SubPropertyConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
RangeConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
PropConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
PathConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
PartialityConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
MinConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
MaxConstraint.toFOL(IRI clazz,
Environment e) |
java.util.List<FOFormula> |
DomainConstraint.toFOL(IRI clazz,
Environment e) |