Hierarchy For Package org.tweetyproject.logics.dl.syntax

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.tweetyproject.commons.BeliefSet<T,S> (implements org.tweetyproject.commons.BeliefBase, java.util.Collection<E>)
    • org.tweetyproject.logics.dl.syntax.DlBeliefSet
  • org.tweetyproject.logics.dl.syntax.ComplexConcept (implements org.tweetyproject.logics.commons.syntax.interfaces.ClassicalFormula)
    • org.tweetyproject.logics.dl.syntax.AssociativeDlFormula (implements org.tweetyproject.logics.commons.syntax.interfaces.AssociativeFormula<T>, org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge)
      • org.tweetyproject.logics.dl.syntax.Intersection
      • org.tweetyproject.logics.dl.syntax.Union
    • org.tweetyproject.logics.dl.syntax.AtomicConcept
    • org.tweetyproject.logics.dl.syntax.AtomicRole
    • org.tweetyproject.logics.dl.syntax.BottomConcept
    • org.tweetyproject.logics.dl.syntax.Complement
    • org.tweetyproject.logics.dl.syntax.ExistentialRestriction
    • org.tweetyproject.logics.dl.syntax.TopConcept
    • org.tweetyproject.logics.dl.syntax.UniversalRestriction
  • org.tweetyproject.logics.dl.syntax.DlAxiom (implements org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula)
    • org.tweetyproject.logics.dl.syntax.AssertionalAxiom
      • org.tweetyproject.logics.dl.syntax.ConceptAssertion
      • org.tweetyproject.logics.dl.syntax.RoleAssertion
    • org.tweetyproject.logics.dl.syntax.EquivalenceAxiom
  • org.tweetyproject.logics.commons.syntax.TermAdapter<T> (implements org.tweetyproject.logics.commons.syntax.interfaces.Term<T>)
    • org.tweetyproject.logics.commons.syntax.StringTerm
      • org.tweetyproject.logics.commons.syntax.Constant
        • org.tweetyproject.logics.dl.syntax.Individual
  • org.tweetyproject.commons.TripleSetSignature<T,S,U> (implements org.tweetyproject.commons.Signature)
    • org.tweetyproject.logics.dl.syntax.DlSignature