Package net.sf.tweety.logics.dl.syntax

Class AtomicConcept

java.lang.Object

net.sf.tweety.logics.dl.syntax.ComplexConcept

net.sf.tweety.logics.dl.syntax.AtomicConcept

All Implemented Interfaces:

net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.Conjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Invertable, net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

public class AtomicConcept
extends ComplexConcept

This class models an atomic concept (aka concept name) in description logics.
Note: Concept assertions like a:C ("the Individual a is in the extension of the Concept C") are modeled with a different class: ConceptAssertion.

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor	Description
AtomicConcept(String name)	Initializes an atomic concept with the given name.
AtomicConcept(net.sf.tweety.logics.commons.syntax.Predicate p)

Method Summary

Modifier and Type	Method	Description
ComplexConcept	clone()	Creates a deep copy of this formula
AtomicConcept	collapseAssociativeFormulas()	This method collapses all associative operations appearing in this term, e.g.
boolean	equals(Object obj)
String	getName()
net.sf.tweety.logics.commons.syntax.Predicate	getPredicate()
Set<net.sf.tweety.logics.commons.syntax.Predicate>	getPredicates()
DlSignature	getSignature()
int	hashCode()
boolean	isLiteral()
String	toString()

Methods inherited from class net.sf.tweety.logics.dl.syntax.ComplexConcept

combineWithAnd, combineWithOr, complement, getAtoms, getPredicateCls, getUniformProbability

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

AtomicConcept

public AtomicConcept(String name)

Initializes an atomic concept with the given name.

Parameters:

name - the name of the atomic concept

AtomicConcept

public AtomicConcept(net.sf.tweety.logics.commons.syntax.Predicate p)

Method Detail

getPredicate

public net.sf.tweety.logics.commons.syntax.Predicate getPredicate()

getName

public String getName()

getPredicates

public Set<net.sf.tweety.logics.commons.syntax.Predicate> getPredicates()

Specified by:

getPredicates in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

getPredicates in class ComplexConcept

clone

public ComplexConcept clone()

Description copied from class: ComplexConcept

Creates a deep copy of this formula

Specified by:

clone in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

clone in class ComplexConcept

toString

public String toString()

Overrides:

toString in class Object

collapseAssociativeFormulas

public AtomicConcept collapseAssociativeFormulas()

Description copied from class: ComplexConcept

This method collapses all associative operations appearing in this term, e.g. every a||(b||c) becomes a||b||c.

Specified by:

collapseAssociativeFormulas in class ComplexConcept

Returns:

the collapsed formula.

isLiteral

public boolean isLiteral()

getSignature

public DlSignature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.Formula

Specified by:

getSignature in class ComplexConcept

hashCode

public int hashCode()

Specified by:

hashCode in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

hashCode in class ComplexConcept

equals

public boolean equals(Object obj)

Specified by:

equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

equals in class ComplexConcept