Uses of Class
org.tweetyproject.logics.dl.syntax.DlSignature
Package
Description
-
Uses of DlSignature in org.tweetyproject.logics.dl.parser
Modifier and TypeMethodDescriptionvoid
DlParser.setSignature
(DlSignature signature) Sets the signature for this parser. -
Uses of DlSignature in org.tweetyproject.logics.dl.reasoner
Modifier and TypeMethodDescriptionNaiveDlReasoner.getAllInterpretations
(DlSignature sig) Get all interpretations for the given signature. -
Uses of DlSignature in org.tweetyproject.logics.dl.syntax
Modifier and TypeMethodDescriptionDlSignature.clone()
AssociativeDlFormula.getSignature()
AtomicConcept.getSignature()
AtomicRole.getSignature()
BottomConcept.getSignature()
Complement.getSignature()
abstract DlSignature
ComplexConcept.getSignature()
ConceptAssertion.getSignature()
abstract DlSignature
DlAxiom.getSignature()
EquivalenceAxiom.getSignature()
ExistentialRestriction.getSignature()
RoleAssertion.getSignature()
TopConcept.getSignature()
UniversalRestriction.getSignature()