Class AssertionalAxiom

java.lang.Object
org.tweetyproject.logics.dl.syntax.DlAxiom
org.tweetyproject.logics.dl.syntax.AssertionalAxiom
All Implemented Interfaces:
Formula, SimpleLogicalFormula
Direct Known Subclasses:
ConceptAssertion, RoleAssertion

public abstract class AssertionalAxiom extends DlAxiom
Abstract base class for assertional axioms (concept assertions and role assertions).
Author:
Anna Gessler
  • Constructor Details

    • AssertionalAxiom

      public AssertionalAxiom()
  • Method Details

    • isAtomic

      public abstract boolean isAtomic()
      Returns:
      "true" if the concept of the assertion is atomic, "false" if it is a complex concept