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

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

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • hashCode

        public int hashCode()
        Specified by:
        hashCode in interface SimpleLogicalFormula
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object obj)
        Specified by:
        equals in interface SimpleLogicalFormula
        Overrides:
        equals in class java.lang.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()
        Get the individual of this assertional axiom (= the individual that is an instance of this axiom's concept)
        Returns:
        the individual
      • getConcept

        public ComplexConcept getConcept()
        Get the concept of this assertional axiom (= the concept that the individual is an instance of).
        Returns:
        the concept of this assertional axiom
      • isAtomic

        public boolean isAtomic()
        Specified by:
        isAtomic in class AssertionalAxiom
        Returns:
        "true" if the concept of the assertion is atomic, "false" if it is a complex concept