fr.lirmm.graphik.graal.api.core

Interface InMemoryKnowledgeBase

All Superinterfaces:

AutoCloseable, Closeable, KnowledgeBase, Profilable

public interface InMemoryKnowledgeBase
extends KnowledgeBase

Author:

Clément Sipieter (INRIA) <clement@6pi.fr>

Method Summary

Modifier and Type	Method and Description
InMemoryAtomSet	getFacts() Get the facts attached to this knowledgeBase.

Methods inherited from interface fr.lirmm.graphik.graal.api.kb.KnowledgeBase

addQuery, close, getApproach, getOntology, getQuery, getQueryNames, getRule, getRuleNames, homomorphism, isConsistent, query, query, saturate, semiSaturate

Methods inherited from interface fr.lirmm.graphik.util.profiler.Profilable

getProfiler, setProfiler

Method Detail

getFacts

InMemoryAtomSet getFacts()

Description copied from interface: KnowledgeBase

Get the facts attached to this knowledgeBase.

Specified by:

getFacts in interface KnowledgeBase

Returns:

an AtomSet representing a conjunction of facts.