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()
-