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

All Superinterfaces:

AutoCloseable, Closeable, Profilable

All Known Subinterfaces:

InMemoryKnowledgeBase

All Known Implementing Classes:

DefaultKnowledgeBase
```
public interface KnowledgeBase
extends Profilable, Closeable
```
A knowledge base is composed of facts, existential rules, negative constraints and queries. It provides methods to facilitate their management.

Author:

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

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method and Description
`boolean`	`addQuery(Query query)`
`void`	`close()`
`Approach`	`getApproach()` Returns the defined priority of this KnowledgeBase (ie saturation or rewriting).
`AtomSet`	`getFacts()` Get the facts attached to this knowledgeBase.
`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.
`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 interface fr.lirmm.graphik.util.profiler.Profilable
getProfiler, setProfiler

- Method Detail
  - getOntology
```
RuleSet getOntology()
```
    Get the ontology attached to this knowledge base.
    
    Returns:
    
    a RuleSet representing the ontology.
  - getFacts
```
AtomSet getFacts()
```
    Get the facts attached to this knowledgeBase.
    
    Returns:
    
    an AtomSet representing a conjunction of facts.
  - getRuleNames
```
Set<String> getRuleNames()
```
  - getRule
```
Rule getRule(String name)
```
  - addQuery
```
boolean addQuery(Query query)
```
  - getQueryNames
```
Set<String> getQueryNames()
```
  - getQuery
```
Query getQuery(String name)
```
  - isConsistent
```
boolean isConsistent()
              throws KnowledgeBaseException
```
    Return true if this knowledge base is consistent, false otherwise.
    
    Returns:
    
    true if this knowledge base is consistent, false otherwise.
    
    Throws:
    
    KnowledgeBaseException
  - saturate
```
void saturate()
       throws KnowledgeBaseException
```
    Saturate this knowledge base.
    
    Throws:
    
    KnowledgeBaseException
  - homomorphism
```
CloseableIterator<Substitution> homomorphism(Query query)
                                      throws KnowledgeBaseException
```
    Find an homomorphism of the query in the fact base associated with this knowledge base.
    
    Parameters:
    
    query -
    
    Returns:
    
    An iterator over substitutions which represents founded homomorphisms.
    
    Throws:
    
    KnowledgeBaseException
  - query
```
CloseableIterator<Substitution> query(Query query)
                               throws KnowledgeBaseException
```
    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 query(Query,long).
    
    Parameters:
    
    query -
    
    Returns:
    
    an Iterator over Substitutions representing homomorphism found of q.
    
    Throws:
    
    KnowledgeBaseException
  - query
```
CloseableIterator<Substitution> query(Query query,
                                      long timeout)
                               throws KnowledgeBaseException,
                                      TimeoutException
```
    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.
    Parameters: query - timeout - in seconds Returns: an Iterator over Substitutions representing homomorphism found of q. Throws: KnowledgeBaseException TimeoutException
  semiSaturate void semiSaturate() throws KnowledgeBaseException Throws: KnowledgeBaseException getApproach Approach getApproach() Returns the defined priority of this KnowledgeBase (ie saturation or rewriting). Returns: the defined priority of this KnowledgeBase. close void close() Specified by: close in interface AutoCloseable Specified by: close in interface Closeable

Interface KnowledgeBase

Method Summary

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

Method Detail

getOntology

getFacts

getRuleNames

getRule

addQuery

getQueryNames

getQuery

isConsistent

saturate

homomorphism

query

query

semiSaturate

getApproach

close