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 Summary

Constructors

Constructor

Description

AssertionalAxiom()
Method Summary

Modifier and Type

Method

Description

abstract boolean

isAtomic()

Methods inherited from class org.tweetyproject.logics.dl.syntax.DlAxiom
clone, getAtoms, getPredicateCls, getPredicates, getSignature, isLiteral

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula
equals, hashCode

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