Uses of Class
net.sf.tweety.logics.dl.syntax.Individual
-
Packages that use Individual Package Description net.sf.tweety.logics.dl.parser net.sf.tweety.logics.dl.reasoner net.sf.tweety.logics.dl.semantics net.sf.tweety.logics.dl.syntax -
-
Uses of Individual in net.sf.tweety.logics.dl.parser
Methods in net.sf.tweety.logics.dl.parser that return Individual Modifier and Type Method Description private Individual
DlParser. parseIndividual(java.lang.Object s)
Parses an individual from a String token. -
Uses of Individual in net.sf.tweety.logics.dl.reasoner
Method parameters in net.sf.tweety.logics.dl.reasoner with type arguments of type Individual 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. -
Uses of Individual in net.sf.tweety.logics.dl.semantics
Fields in net.sf.tweety.logics.dl.semantics with type parameters of type Individual Modifier and Type Field Description private java.util.Set<Individual>
DlInterpretation. domain
The domain of this interpetation.Methods in net.sf.tweety.logics.dl.semantics that return types with arguments of type Individual Modifier and Type Method Description java.util.Set<Individual>
DlInterpretation. getConceptDomain(ComplexConcept c)
Returns the subset of the domain that belongs to the given concept (the extension of the concept).private java.util.Set<Individual>
DlInterpretation. getDomain()
Returns the domain of this interpretation.java.util.Set<Pair<Individual,Individual>>
DlInterpretation. getRoleDomain(AtomicRole r)
Returns the subset of the domain that belongs to the given role (the extension of the role).java.util.Set<Pair<Individual,Individual>>
DlInterpretation. getRoleDomain(AtomicRole r)
Returns the subset of the domain that belongs to the given role (the extension of the role). -
Uses of Individual in net.sf.tweety.logics.dl.syntax
Fields in net.sf.tweety.logics.dl.syntax declared as Individual Modifier and Type Field Description private Individual
ConceptAssertion. individual
The individual of this assertional axiom (= the individual that is an instance of this assertion's concept)Fields in net.sf.tweety.logics.dl.syntax with type parameters of type Individual Modifier and Type Field Description private Pair<Individual,Individual>
RoleAssertion. individuals
The individuals of this assertional axiom (= the individuals that are instances of the role)private Pair<Individual,Individual>
RoleAssertion. individuals
The individuals of this assertional axiom (= the individuals that are instances of the role)Methods in net.sf.tweety.logics.dl.syntax that return Individual Modifier and Type Method Description Individual
ConceptAssertion. getIndividual()
Get the individual of this assertional axiom (= the individual that is an instance of this axiom's concept)Individual
DlSignature. getIndividual(java.lang.String s)
Get the individual with the given name.Methods in net.sf.tweety.logics.dl.syntax that return types with arguments of type Individual Modifier and Type Method Description java.util.Set<Individual>
DlSignature. getIndividuals()
Get the individuals of the signature.Pair<Individual,Individual>
RoleAssertion. getIndividuals()
Get the individuals of this assertional axiom (= the individuals that are instances of the role)Pair<Individual,Individual>
RoleAssertion. getIndividuals()
Get the individuals of this assertional axiom (= the individuals that are instances of the role)Constructors in net.sf.tweety.logics.dl.syntax with parameters of type Individual Constructor Description ConceptAssertion(Individual i, AtomicConcept c)
Initializes a role assertion with the given atomic concept and Individual.ConceptAssertion(Individual i, ComplexConcept c)
Initializes a role assertion with the given concept and Individual.RoleAssertion(Individual a, Individual b, AtomicRole r)
Initializes a role assertion with the given individuals and role.Constructor parameters in net.sf.tweety.logics.dl.syntax with type arguments of type Individual Constructor Description RoleAssertion(java.util.List<Individual> args, AtomicRole r)
Initializes a role assertion with the given individuals and role.RoleAssertion(Pair<Individual,Individual> args, AtomicRole r)
Initializes a role assertion with the given role and individuals.RoleAssertion(Pair<Individual,Individual> args, AtomicRole r)
Initializes a role assertion with the given role and individuals.
-