DlBeliefSet (Tweety (DL) 1.15 API)

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

All Implemented Interfaces:

Iterable<DlAxiom>, Collection<DlAxiom>, net.sf.tweety.commons.BeliefBase
```
public class DlBeliefSet
extends net.sf.tweety.commons.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(Set<DlAxiom> formulas)`	Creates a new description logics knowledge base with the given set of axioms.

Method Summary

Modifier and Type	Method	Description
`Set<DlAxiom>`	`getABox()`	Returns the ABox section of the knowledge.
`net.sf.tweety.commons.Signature`	`getMinimalSignature()`
`Set<DlAxiom>`	`getTBox()`	Returns the TBox section of the knowledge.
`protected DlSignature`	`instantiateSignature()`

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(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 net.sf.tweety.commons.Signature getMinimalSignature()
```
  - getTBox
```
public Set<DlAxiom> getTBox()
```
    Returns the TBox section of the knowledge.
    
    Returns:
    
    a set of TBox formulas
  - getABox
```
public Set<DlAxiom> getABox()
```
    Returns the ABox section of the knowledge.
    
    Returns:
    
    a set of ABox formulas
  - instantiateSignature
```
protected DlSignature instantiateSignature()
```
    Specified by:
    
    instantiateSignature in class net.sf.tweety.commons.BeliefSet<DlAxiom,DlSignature>