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

Fields in net.sf.tweety.logics.dl.parser declared as DlSignature
Modifier and Type	Field	Description
`private DlSignature`	DlParser.`signature`	Keeps track of the signature.

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
`private void`	DlParser.`parseTypeDeclaration(java.lang.String s, DlSignature signature)`	Parses an atomic concept declaration of the form "concept" "(" CONCEPTNAME ")" or an atomic role declaration of the form "role" "(" ROLENAME ")" and modifies the given signature accordingly.
`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
`private java.util.Set<AssertionalAxiom>`	NaiveDlReasoner.`getAllInstantiations(DlSignature sig, Predicate p, java.util.List<Individual> args)`	Computes all instantiations of the predicate "p" relative to the signature "sig" where "arguments" defines the first arguments of the atoms.
`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()`
`protected DlSignature`	DlBeliefSet.`instantiateSignature()`