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