Uses of Class
net.sf.tweety.logics.dl.syntax.DlSignature

Packages that use DlSignature

Package	Description
net.sf.tweety.logics.dl.parser
net.sf.tweety.logics.dl.reasoner
net.sf.tweety.logics.dl.syntax

Uses of DlSignature in net.sf.tweety.logics.dl.parser

Methods in net.sf.tweety.logics.dl.parser that return DlSignature

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

Methods in net.sf.tweety.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 net.sf.tweety.logics.dl.reasoner

Methods in net.sf.tweety.logics.dl.reasoner with parameters of type DlSignature

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

Uses of DlSignature in net.sf.tweety.logics.dl.syntax

Methods in net.sf.tweety.logics.dl.syntax that return DlSignature

Modifier and Type	Method	Description
DlSignature	DlSignature.clone()
DlSignature	AssociativeDlFormula.getSignature()
DlSignature	AtomicConcept.getSignature()
DlSignature	AtomicRole.getSignature()
DlSignature	BottomConcept.getSignature()
DlSignature	Complement.getSignature()
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()