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

Class ConceptAssertion

java.lang.Object

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

net.sf.tweety.logics.dl.syntax.AssertionalAxiom

net.sf.tweety.logics.dl.syntax.ConceptAssertion

All Implemented Interfaces:

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

public class ConceptAssertion
extends AssertionalAxiom

This class models a concept assertion in description logic, i.e. an expression of the form "a : C" (a is in the extension of C) where a is an Individual and C is a concept.

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor	Description
ConceptAssertion()	Empty default constructor.
ConceptAssertion(Individual i, AtomicConcept c)	Initializes a role assertion with the given atomic concept and Individual.
ConceptAssertion(Individual i, ComplexConcept c)	Initializes a role assertion with the given concept and Individual.

Method Summary

Modifier and Type	Method	Description
ConceptAssertion	clone()
boolean	equals(Object obj)
ComplexConcept	getConcept()	Get the concept of this assertional axiom (= the concept that the individual is an instance of).
Individual	getIndividual()	Get the individual of this assertional axiom (= the individual that is an instance of this axiom's concept)
Set<net.sf.tweety.logics.commons.syntax.Predicate>	getPredicates()
DlSignature	getSignature()
int	hashCode()
boolean	isAtomic()
String	toString()

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

getAtoms, getPredicateCls, isLiteral

Methods inherited from class java.lang.Object

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

Constructor Detail

ConceptAssertion

public ConceptAssertion()

Empty default constructor.

ConceptAssertion

public ConceptAssertion(Individual i,
                        ComplexConcept c)

Initializes a role assertion with the given concept and Individual.

Parameters:

i - an Individual, term of the concept

c - a (complex) concept

ConceptAssertion

public ConceptAssertion(Individual i,
                        AtomicConcept c)

Initializes a role assertion with the given atomic concept and Individual.

Parameters:

i - an Individual, term of the concept

c - AtomicConcept

Method Detail

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

clone

public ConceptAssertion clone()

Specified by:

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

Specified by:

clone in class DlAxiom

toString

public String toString()

Overrides:

toString in class Object

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

getSignature

public DlSignature getSignature()

Specified by:

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

Specified by:

getSignature in class DlAxiom

getIndividual

public Individual getIndividual()

Get the individual of this assertional axiom (= the individual that is an instance of this axiom's concept)

Returns:

the individual

getConcept

public ComplexConcept getConcept()

Get the concept of this assertional axiom (= the concept that the individual is an instance of).

Returns:

the concept of this assertional axiom

isAtomic

public boolean isAtomic()

Specified by:

isAtomic in class AssertionalAxiom

Returns:

"true" if the concept of the assertion is atomic, "false" if it is a complex concept