Class ConceptAssertion

java.lang.Object
org.tweetyproject.logics.dl.syntax.DlAxiom
org.tweetyproject.logics.dl.syntax.AssertionalAxiom
org.tweetyproject.logics.dl.syntax.ConceptAssertion
All Implemented Interfaces:
Formula, SimpleLogicalFormula
public class ConceptAssertion extends AssertionalAxiom
This class models a concept assertion in description logic, i.e. an expression of the form "a : C" (a is in the extension of C) where a is an individual and C is a concept.
Author:
Anna Gessler

  • Constructor Details

    • ConceptAssertion

      public ConceptAssertion()
      Empty default constructor.

    • ConceptAssertion

      public ConceptAssertion(Individual i, ComplexConcept c)
      Initializes a role assertion with the given concept and Individual.
      Parameters:
      i - an Individual, term of the concept
      c - a (complex) concept

    • ConceptAssertion

      public ConceptAssertion(Individual i, AtomicConcept c)
      Initializes a role assertion with the given atomic concept and Individual.
      Parameters:
      i - an Individual, term of the concept
      c - AtomicConcept

  • Method Details

    • getPredicates

      public Set<Predicate> getPredicates()
      Description copied from interface: SimpleLogicalFormula
      Processes the set of all predicates which appear in this formula
      Specified by:
      getPredicates in interface SimpleLogicalFormula
      Specified by:
      getPredicates in class DlAxiom
      Returns:
      all predicates that appear in this formula

    • clone

      public ConceptAssertion clone()
      Description copied from interface: SimpleLogicalFormula
      Creates a deep copy of this formula
      Specified by:
      clone in interface SimpleLogicalFormula
      Specified by:
      clone in class DlAxiom
      Returns:
      the cloned formula

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • hashCode

      public int hashCode()
      Specified by:
      hashCode in interface SimpleLogicalFormula
      Overrides:
      hashCode in class Object

    • equals

      public boolean equals(Object obj)
      Specified by:
      equals in interface SimpleLogicalFormula
      Overrides:
      equals in class Object

    • getSignature

      public DlSignature getSignature()
      Description copied from interface: Formula
      Returns the signature of the language of this formula.
      Specified by:
      getSignature in interface Formula
      Specified by:
      getSignature in class DlAxiom
      Returns:
      the signature of the language of this formula.

    • getIndividual

      public Individual getIndividual()
      Returns the individual involved in this concept assertion.

      This is the individual that is an instance of the concept in this assertion. For example, in the assertion "a : C", the individual would be "a".

      Returns:
      the individual of this concept assertion

    • getConcept

      public ComplexConcept getConcept()
      Returns the concept involved in this concept assertion.

      This is the concept that the individual in this assertion is an instance of. For example, in the assertion "a : C", the concept would be "C".

      Returns:
      the concept of this concept assertion

    • isAtomic

      public boolean isAtomic()
      Description copied from class: AssertionalAxiom
      Determines if the concept involved in the assertion is atomic.
      Specified by:
      isAtomic in class AssertionalAxiom
      Returns:
      true if the concept of the assertion is atomic, false if it is a complex concept