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

Class EquivalenceAxiom

java.lang.Object

net.sf.tweety.logics.dl.syntax.DlAxiom

net.sf.tweety.logics.dl.syntax.EquivalenceAxiom

All Implemented Interfaces:

net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

public class EquivalenceAxiom
extends DlAxiom

This class models an equivalence axiom, also known as general concept inclusion (GCU), meaning an expression of the form "C is a subset of or equal to D" with C and D as Concepts. This can also be read as "C implies D". If C implies D and C implies C, the two concepts are equivalent.
Equivalence axioms are used in the TBox of a DL knowledge base to model relationships between concepts, e.g. "MaleHuman is a subset or equal to Human".

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor	Description
EquivalenceAxiom(ComplexConcept c, ComplexConcept d)	Creates a new equivalence axiom with the given formulas (atomic or complex concepts).

Method Summary

Modifier and Type	Method	Description
EquivalenceAxiom	clone()
boolean	equals(Object obj)
net.sf.tweety.commons.util.Pair<ComplexConcept,ComplexConcept>	getFormulas()
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.DlAxiom

getAtoms, getPredicateCls

Methods inherited from class java.lang.Object

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

Constructor Detail

EquivalenceAxiom

public EquivalenceAxiom(ComplexConcept c,
                        ComplexConcept d)

Creates a new equivalence axiom with the given formulas (atomic or complex concepts).

Parameters:

c - some concept

d - some concept

Method Detail

getSignature

public DlSignature getSignature()

Specified by:

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

Specified by:

getSignature in class DlAxiom

toString

public String toString()

Overrides:

toString in class Object

getFormulas

public net.sf.tweety.commons.util.Pair<ComplexConcept,ComplexConcept> getFormulas()

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 DlAxiom

isLiteral

public boolean isLiteral()

Specified by:

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

Overrides:

isLiteral in class DlAxiom

clone

public EquivalenceAxiom clone()

Specified by:

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

Specified by:

clone in class DlAxiom

hashCode

public int hashCode()

Specified by:

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

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Specified by:

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

Overrides:

equals in class Object