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()
Returns 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 java.util.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()
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()
-