DlBeliefSet

java.lang.Object
- net.sf.tweety.commons.BeliefSet<DlAxiom,DlSignature>
- - net.sf.tweety.logics.dl.syntax.DlBeliefSet

All Implemented Interfaces:

java.lang.Iterable<DlAxiom>, java.util.Collection<DlAxiom>, BeliefBase
```
public class DlBeliefSet
extends BeliefSet<DlAxiom,DlSignature>
```
This class models a knowledge base for description logics.
A knowledge base for description logic distinguishes between:
- the TBox (terminological axioms, i.e. properties of and relations between concepts). In the description logic ALC, the TBox consists of equivalence axioms (GCUs).
- and the ABox (assertional axioms, i.e. ground assertions about individuals and what concepts and roles they belong to).
Author:

Anna Gessler

Field Summary
- Fields inherited from class net.sf.tweety.commons.BeliefSet
  EQUALS_USES_SIGNATURE, signature

Constructor Summary

Constructors
Constructor	Description
`DlBeliefSet()`	Creates a new and empty description logics knowledge base.
`DlBeliefSet(java.util.Set<DlAxiom> formulas)`	Creates a new description logics knowledge base with the given set of axioms.

Method Summary

Modifier and Type	Method	Description
`java.util.Set<DlAxiom>`	`getABox()`	Returns the ABox section of the knowledge.
`Signature`	`getMinimalSignature()`	Returns the signature of the language of this knowledge base.
`java.util.Set<DlAxiom>`	`getTBox()`	Returns the TBox section of the knowledge.
`protected DlSignature`	`instantiateSignature()`	Instantiates the signature which is attached to the belief base.

Methods inherited from class net.sf.tweety.commons.BeliefSet
add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection
parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface java.lang.Iterable
forEach

- Constructor Detail
  - DlBeliefSet
```
public DlBeliefSet()
```
    Creates a new and empty description logics knowledge base.
  - DlBeliefSet
```
public DlBeliefSet(java.util.Set<DlAxiom> formulas)
```
    Creates a new description logics knowledge base with the given set of axioms.
    
    Parameters:
    
    formulas - a set of axioms
- Method Detail
  - getMinimalSignature
```
public Signature getMinimalSignature()
```
    Description copied from interface: BeliefBase
    
    Returns the signature of the language of this knowledge base.
    
    Returns:
    
    the signature of the language of this knowledge base.
  - getTBox
```
public java.util.Set<DlAxiom> getTBox()
```
    Returns the TBox section of the knowledge.
    
    Returns:
    
    a set of TBox formulas
  - getABox
```
public java.util.Set<DlAxiom> getABox()
```
    Returns the ABox section of the knowledge.
    
    Returns:
    
    a set of ABox formulas
  - instantiateSignature
```
protected DlSignature instantiateSignature()
```
    Description copied from class: BeliefSet
    
    Instantiates the signature which is attached to the belief base.
    
    Specified by:
    
    instantiateSignature in class BeliefSet<DlAxiom,DlSignature>
    
    Returns:
    
    the signature of this belief base