DefaultKnowledgeBase (fr.lirmm.graphik:graal 1.3.1 API)

java.lang.Object
- fr.lirmm.graphik.util.profiler.AbstractProfilable
- - fr.lirmm.graphik.graal.kb.DefaultKnowledgeBase

All Implemented Interfaces:

KnowledgeBase, Profilable, Closeable, AutoCloseable
```
public class DefaultKnowledgeBase
extends AbstractProfilable
implements KnowledgeBase
```
Author:

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

Constructor Summary

Constructors
Constructor and Description
`DefaultKnowledgeBase(AtomSet store, Parser<Object> parser)` Constructs a DefaultKnowledgeBase embedding the specified `Store`.
`DefaultKnowledgeBase(AtomSet store, RuleSet ontology)` Constructs a DefaultKnowledgeBase embedding the specified `Store` and .
`DefaultKnowledgeBase(Parser<Object> parser)` Constructs a DefaultKnowledgeBase with a `DefaultInMemoryGraphStore` as storage.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`boolean`	`addQuery(Query query)`
`protected void`	`analyse()`
`void`	`close()`
`protected void`	`compileRule()`
`protected void`	`fesSaturate()`
`protected void`	`fesSaturate(long timeout)` Run saturation with a timeout at `timeout` milliseconds for this thread to die.
`protected void`	`finalize()`
`Approach`	`getApproach()` Returns the defined priority of this KnowledgeBase (ie saturation or rewriting).
`protected int[]`	`getDecidableCombination()`
`AtomSet`	`getFacts()` Get the facts attached to this knowledgeBase.
`protected GraphOfRuleDependencies`	`getFESGraphOfRuleDependencies()`
`protected RuleSet`	`getFESRuleSet()`
`protected RuleSet`	`getFUSRuleSet()`
`RuleSet`	`getOntology()` Get the ontology attached to this knowledge base.
`Query`	`getQuery(String name)`
`Set<String>`	`getQueryNames()`
`Rule`	`getRule(String name)`
`Set<String>`	`getRuleNames()`
`CloseableIterator<Substitution>`	`homomorphism(Query query)` Find an homomorphism of the query in the fact base associated with this knowledge base.
`boolean`	`isConsistent()` Return true if this knowledge base is consistent, false otherwise.
`protected void`	`load(Parser<Object> parser)`
`CloseableIterator<Substitution>`	`query(Query query)` Execute the query over this Knowledge Base.
`CloseableIterator<Substitution>`	`query(Query query, long timeout)` Execute the query over this Knowledge Base.
`void`	`saturate()` Saturate this knowledge base.
`void`	`semiSaturate()`

Methods inherited from class fr.lirmm.graphik.util.profiler.AbstractProfilable
getProfiler, setProfiler

Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface fr.lirmm.graphik.util.profiler.Profilable
getProfiler, setProfiler

- Constructor Detail
  - DefaultKnowledgeBase
```
public DefaultKnowledgeBase(Parser<Object> parser)
                     throws AtomSetException
```
    Constructs a DefaultKnowledgeBase with a DefaultInMemoryGraphStore as storage. Loads rules and atoms from the specified parser.
    
    Throws:
    
    AtomSetException
  - DefaultKnowledgeBase
```
public DefaultKnowledgeBase(AtomSet store,
                            Parser<Object> parser)
                     throws AtomSetException
```
    Constructs a DefaultKnowledgeBase embedding the specified Store. Loads rules and supplementary atoms from the specified parser.
    
    Throws:
    
    AtomSetException
  - DefaultKnowledgeBase
```
public DefaultKnowledgeBase(AtomSet store,
                            RuleSet ontology)
```
    Constructs a DefaultKnowledgeBase embedding the specified Store and . loads rules from the specified ontology.
- Method Detail
  - finalize
```
protected void finalize()
                 throws Throwable
```
    Overrides:
    
    finalize in class Object
    
    Throws:
    
    Throwable
  - getOntology
```
public RuleSet getOntology()
```
    Description copied from interface: KnowledgeBase
    
    Get the ontology attached to this knowledge base.
    
    Specified by:
    
    getOntology in interface KnowledgeBase
    
    Returns:
    
    the ruleset
  - getFacts
```
public AtomSet getFacts()
```
    Description copied from interface: KnowledgeBase
    
    Get the facts attached to this knowledgeBase.
    
    Specified by:
    
    getFacts in interface KnowledgeBase
    
    Returns:
    
    the atomset
  - isConsistent
```
public boolean isConsistent()
                     throws KnowledgeBaseException
```
    Description copied from interface: KnowledgeBase
    
    Return true if this knowledge base is consistent, false otherwise.
    
    Specified by:
    
    isConsistent in interface KnowledgeBase
    
    Returns:
    
    true if this knowledge base is consistent, false otherwise.
    
    Throws:
    
    KnowledgeBaseException
  - saturate
```
public void saturate()
              throws KnowledgeBaseException
```
    Description copied from interface: KnowledgeBase
    
    Saturate this knowledge base.
    
    Specified by:
    
    saturate in interface KnowledgeBase
    
    Throws:
    
    KnowledgeBaseException
  - semiSaturate
```
public void semiSaturate()
                  throws KnowledgeBaseException
```
    Specified by:
    
    semiSaturate in interface KnowledgeBase
    
    Throws:
    
    KnowledgeBaseException
  - homomorphism
```
public CloseableIterator<Substitution> homomorphism(Query query)
                                             throws KnowledgeBaseException
```
    Description copied from interface: KnowledgeBase
    
    Find an homomorphism of the query in the fact base associated with this knowledge base.
    
    Specified by:
    
    homomorphism in interface KnowledgeBase
    
    Returns:
    
    An iterator over substitutions which represents founded homomorphisms.
    
    Throws:
    
    KnowledgeBaseException
  - query
```
public CloseableIterator<Substitution> query(Query query)
                                      throws KnowledgeBaseException
```
    Description copied from interface: KnowledgeBase
    
    Execute the query over this Knowledge Base. This method uses the graal-rules-analyser module (Kiabora) to find a decidable way to answer, if there are no proof of decidability an KnowledgeBaseException is throw. To disable decidability checking, see KnowledgeBase.query(Query,long).
    
    Specified by:
    
    query in interface KnowledgeBase
    
    Returns:
    
    an Iterator over Substitutions representing homomorphism found of q.
    
    Throws:
    
    KnowledgeBaseException
  - query
```
public CloseableIterator<Substitution> query(Query query,
                                             long timeout)
                                      throws KnowledgeBaseException,
                                             TimeoutException
```
    Description copied from interface: KnowledgeBase
    
    Execute the query over this Knowledge Base. This method uses the graal-rules-analyser module (Kiabora) to find a decidable way to answer. If the saturation step plus the rewriting step execution time exceed the specified timeout (in milliseconds) then the method will be interrupted and a TimeoutException will be throw. Other steps in this method is not taken into account for the timeout, these other steps can not be infinite.
    If Approach is set to REWRITING_ONLY or SATURATION_ONLY, the knowledge base decidability analysis will be bypass.
    Specified by: query in interface KnowledgeBase timeout - in seconds Returns: an Iterator over Substitutions representing homomorphism found of q. Throws: KnowledgeBaseException TimeoutException
  close public void close() Specified by: close in interface KnowledgeBase Specified by: close in interface Closeable Specified by: close in interface AutoCloseable getRuleNames public Set<String> getRuleNames() Specified by: getRuleNames in interface KnowledgeBase getRule public Rule getRule(String name) Specified by: getRule in interface KnowledgeBase addQuery public boolean addQuery(Query query) Specified by: addQuery in interface KnowledgeBase getQueryNames public Set<String> getQueryNames() Specified by: getQueryNames in interface KnowledgeBase getQuery public Query getQuery(String name) Specified by: getQuery in interface KnowledgeBase getApproach public Approach getApproach() Description copied from interface: KnowledgeBase Returns the defined priority of this KnowledgeBase (ie saturation or rewriting). Specified by: getApproach in interface KnowledgeBase Returns: the defined priority of this KnowledgeBase. fesSaturate protected void fesSaturate(long timeout) throws ChaseException, TimeoutException Run saturation with a timeout at timeout milliseconds for this thread to die. A timeout of 0 means to wait forever. Parameters: timeout - in milliseconds Throws: ChaseException TimeoutException fesSaturate protected void fesSaturate() throws ChaseException Throws: ChaseException getFESRuleSet protected RuleSet getFESRuleSet() getFUSRuleSet protected RuleSet getFUSRuleSet() getFESGraphOfRuleDependencies protected GraphOfRuleDependencies getFESGraphOfRuleDependencies() getDecidableCombination protected int[] getDecidableCombination() analyse protected void analyse() compileRule protected void compileRule() load protected void load(Parser<Object> parser) throws AtomSetException Throws: AtomSetException

Class DefaultKnowledgeBase

Constructor Summary

Method Summary

Methods inherited from class fr.lirmm.graphik.util.profiler.AbstractProfilable

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultKnowledgeBase

DefaultKnowledgeBase

DefaultKnowledgeBase

Method Detail

finalize

getOntology

getFacts

isConsistent

saturate

semiSaturate

homomorphism

query

query

close

getRuleNames

getRule

addQuery

getQueryNames

getQuery

getApproach

fesSaturate

fesSaturate

getFESRuleSet

getFUSRuleSet

getFESGraphOfRuleDependencies

getDecidableCombination

analyse

compileRule

load