Package net.sf.tweety.logics.dl.syntax

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

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private ComplexConcept concept
      The concept or role of this assertional axiom (= the concept or role that the individuals are instances of).
      private Individual individual
      The individual of this assertional axiom (= the individual that is an instance of this assertion's concept)

    • Method Summary

      Modifier and Type Method Description
      ConceptAssertion clone()
      Creates a deep copy of this formula
      boolean equals​(java.lang.Object obj)  
      ComplexConcept getConcept()
      Get the concept of this assertional axiom (= the concept that the individual is an instance of).
      Individual getIndividual()
      Get the individual of this assertional axiom (= the individual that is an instance of this axiom's concept)
      java.util.Set<Predicate> getPredicates()
      Processes the set of all predicates which appear in this formula
      DlSignature getSignature()
      Returns the signature of the language of this formula.
      int hashCode()  
      boolean isAtomic()  
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

        finalize, getClass, notify, notifyAll, wait, wait, wait

    • Field Detail

      • individual

        private Individual individual
        The individual of this assertional axiom (= the individual that is an instance of this assertion's concept)

      • concept

        private ComplexConcept concept
        The concept or role of this assertional axiom (= the concept or role that the individuals are instances of).

    • 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