Package | Description |
---|---|
edu.freiburg.dbis.rdd | |
edu.freiburg.dbis.rdd.fol | |
edu.freiburg.dbis.rdd.model |
Class and Description |
---|
FOFormula
http://www.w3.org/2005/rules/wiki/SWC
Forall ?
|
Class and Description |
---|
FOFormula
http://www.w3.org/2005/rules/wiki/SWC
Forall ?
|
FOImplies.ConclusionType |
FOIRIOrSPARQLVariable
Class representing either a FO IRI or a SPARQL variable
|
FORangeType.Relation
The underlying relation to associate the elem with.
|
Class and Description |
---|
FOConvertable
Interface for language constructs that can be converted to FOL.
|
FOConvertableInContext
Interface for language constructs that can be converted to
FOL possibly in the context of a class (i.e., in a qualified
way).
|
FOFormula
http://www.w3.org/2005/rules/wiki/SWC
Forall ?
|