Uses of Class
org.tweetyproject.logics.dl.syntax.DlSignature

Packages that use DlSignature

Package	Description
org.tweetyproject.logics.dl.parser
org.tweetyproject.logics.dl.reasoner
org.tweetyproject.logics.dl.syntax

Uses of DlSignature in org.tweetyproject.logics.dl.parser

Methods in org.tweetyproject.logics.dl.parser that return DlSignature

Modifier and Type	Method	Description
DlSignature	DlParser.getSignature()	Return the signature of this parser.

Methods in org.tweetyproject.logics.dl.parser with parameters of type DlSignature

Modifier and Type	Method	Description
void	DlParser.setSignature(DlSignature signature)	Sets the signature for this parser.

Uses of DlSignature in org.tweetyproject.logics.dl.reasoner

Methods in org.tweetyproject.logics.dl.reasoner with parameters of type DlSignature

Modifier and Type	Method	Description
Set<DlInterpretation>	NaiveDlReasoner.getAllInterpretations(DlSignature sig)	Get all interpretations for the given signature.

Uses of DlSignature in org.tweetyproject.logics.dl.syntax

Methods in org.tweetyproject.logics.dl.syntax that return DlSignature

Modifier and Type	Method	Description
DlSignature	DlSignature.clone()
DlSignature	AssociativeDlFormula.getSignature()
DlSignature	AtomicConcept.getSignature()	Returns the description logic signature for this atomic concept, which includes the predicate representing this concept.
DlSignature	AtomicRole.getSignature()
DlSignature	BottomConcept.getSignature()
DlSignature	Complement.getSignature()	Returns the description logic signature for this complement, which is the signature of the negated concept.
abstract DlSignature	ComplexConcept.getSignature()
DlSignature	ConceptAssertion.getSignature()
abstract DlSignature	DlAxiom.getSignature()
DlSignature	EquivalenceAxiom.getSignature()
DlSignature	ExistentialRestriction.getSignature()
DlSignature	RoleAssertion.getSignature()
DlSignature	TopConcept.getSignature()
DlSignature	UniversalRestriction.getSignature()