Interface FactBase

All Superinterfaces:

fr.inria.rules.dlgpemodel.api.sentences.HasItemInfo, fr.inria.rules.dlgpemodel.api.sentences.IFact, fr.inria.rules.dlgpemodel.api.sentences.IPrintable, fr.inria.rules.dlgpemodel.api.sentences.ISentence, Iterable<Atom>, Labeled, MaterializedData, Printable, QueryableData, Sentence, TermCompound, Writable

All Known Implementing Classes:

DefaultInMemoryAtomSet, FactBaseDelAtomsWrapper, FederatedFactBase, LightInMemoryGraphStore, RDBMSStore, SimpleInMemoryGraphStore, TripleStoreStore

public interface FactBase
extends MaterializedData, Writable, Printable, Sentence, fr.inria.rules.dlgpemodel.api.sentences.IFact

A FactBase represents a set of Atom seen as a conjunction

Author:

Florent Tornil, Federico Ulliana, Guillaume Pérution-Kihli

Field Summary

Fields inherited from interface fr.inria.rules.dlgpemodel.api.sentences.HasItemInfo

IDENT

Fields inherited from interface fr.inria.rules.dlgpemodel.api.sentences.IPrintable

WRITER

Fields inherited from interface Labeled

NOLABEL

Method Summary

Modifier and Type	Method	Description
default void	clear()	Removes all atoms from the fact base.
default List<ColumnType>	getColumnsType(Predicate viewPredicate)	Returns the column types used to expose a predicate.
FactBaseDescription	getDescription(Predicate viewPredicate)	Returns the storage description associated with a predicate.
default fr.inria.rules.dlgpemodel.api.formulas.IFormula	getHead()	Not so efficient implementation of IFact's getHead().
FactBaseType	getType(Predicate viewPredicate)	Returns the storage type associated with a predicate.

Methods inherited from interface fr.inria.rules.dlgpemodel.api.sentences.HasItemInfo

getIdentifier, getInfo, getItemInfo, setIdentifier, setInfo, setItemInfo

Methods inherited from interface fr.inria.rules.dlgpemodel.api.sentences.IPrintable

toDLGPE

Methods inherited from interface fr.inria.rules.dlgpemodel.api.sentences.ISentence

setPatterns

Methods inherited from interface Iterable

forEach, spliterator

Methods inherited from interface MaterializedData

contains, getAtomsByPredicate, getAtomsByTerm, getAtomSet, getTermsByPredicatePosition, isEmpty, iterator, size, stream

Methods inherited from interface Printable

toDLGP

Methods inherited from interface QueryableData

estimateBound, estimateBound, evaluate, evaluate, getAtomicPattern, getPredicates, getSupportedOperations, hasPredicate

Methods inherited from interface Sentence

getLabel, getPatterns, setLabel

Methods inherited from interface TermCompound

getAllNestedTerms, getConstants, getLiterals, getNestedTerms, getTerms, getVariables

Methods inherited from interface Writable

add, add, addAll, addAll, remove, remove, removeAll, removeAll

Method Details

getHead

default fr.inria.rules.dlgpemodel.api.formulas.IFormula getHead()

Not so efficient implementation of IFact's getHead(). Should only be used for writing on the DLGPE side.

Specified by:

getHead in interface fr.inria.rules.dlgpemodel.api.sentences.IFact

Returns:

a conjunction view over the current fact base content

getDescription

FactBaseDescription getDescription(Predicate viewPredicate)

Returns the storage description associated with a predicate.

Parameters:

viewPredicate - a predicate

Returns:

the description of the storage

getType

FactBaseType getType(Predicate viewPredicate)

Returns the storage type associated with a predicate.

Parameters:

viewPredicate - a predicate

Returns:

the type of storage used for the given predicate

getColumnsType

default List<ColumnType> getColumnsType(Predicate viewPredicate)

Returns the column types used to expose a predicate.

Parameters:

viewPredicate - a predicate

Returns:

the type of the columns for the given predicate

clear

default void clear()

Removes all atoms from the fact base.

Specified by:

clear in interface Writable