Package org.tweetyproject.logics.dl.syntax

Class DlBeliefSet

java.lang.Object

org.tweetyproject.commons.BeliefSet<DlAxiom,DlSignature>

org.tweetyproject.logics.dl.syntax.DlBeliefSet

All Implemented Interfaces:

Iterable<DlAxiom>, Collection<DlAxiom>, BeliefBase

public class DlBeliefSet
extends BeliefSet<DlAxiom,DlSignature>

This class models a knowledge base for description logics.
A knowledge base of a 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).
• 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 org.tweetyproject.commons.BeliefSet

EQUALS_USES_SIGNATURE

Constructor Summary

Constructors

Constructor	Description
DlBeliefSet()	Creates a new 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 base.
Signature	getMinimalSignature()	Returns the signature of the language of this knowledge base.
Set<DlAxiom>	getTBox()	Returns the TBox section of the knowledge base.

Methods inherited from class org.tweetyproject.commons.BeliefSet

add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString, toString

Methods inherited from class java.lang.Object

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 Details

DlBeliefSet

public DlBeliefSet()

Creates a new 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 Details

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 Set<DlAxiom> getTBox()

Returns the TBox section of the knowledge base.

Returns:

a set of equivalence axioms representing the TBox section of the knowledge base

getABox

public Set<DlAxiom> getABox()

Returns the ABox section of the knowledge base.

Returns:

a set of concept and role assertions representing the ABox section of the knowledge base