Class 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
    • 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