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

Author:

Anna Gessler

See Also:

• DlAxiom
• ConceptAssertion
• RoleAssertion

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