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) in description logic.

Author:

Anna Gessler

See Also:

Constructor Summary

Constructors

Constructor

Description

AssertionalAxiom()

Default constructor for AssertionalAxiom.
Method Summary

Modifier and Type

Method

Description

abstract boolean

isAtomic()

Determines if the concept involved in the assertion is atomic.

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()
  
  Default constructor for AssertionalAxiom.
  This constructor is used to initialize an instance of the abstract base class for assertional axioms in description logic. Concrete subclasses will specify the specific nature of the assertion.
Method Details
- isAtomic
  
  public abstract boolean isAtomic()
  
  Determines if the concept involved in the assertion is atomic.
  
  Returns:
  
  true if the concept of the assertion is atomic, false if it is a complex concept