Package net.sf.tweety.logics.dl.syntax
Class 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
-
-
-
-
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 classBeliefSet<DlAxiom,DlSignature>
- Returns:
- the signature of this belief base
-
-