Uses of Class
net.sf.tweety.logics.dl.syntax.AtomicRole
-
Packages that use AtomicRole Package Description net.sf.tweety.logics.dl.parser net.sf.tweety.logics.dl.semantics net.sf.tweety.logics.dl.syntax -
-
Uses of AtomicRole in net.sf.tweety.logics.dl.parser
Methods in net.sf.tweety.logics.dl.parser that return AtomicRole Modifier and Type Method Description private AtomicRole
DlParser. parseRole(java.lang.Object s)
Parses a role from a String token. -
Uses of AtomicRole in net.sf.tweety.logics.dl.semantics
Methods in net.sf.tweety.logics.dl.semantics with parameters of type AtomicRole Modifier and Type Method Description 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 AtomicRole in net.sf.tweety.logics.dl.syntax
Fields in net.sf.tweety.logics.dl.syntax declared as AtomicRole Modifier and Type Field Description private AtomicRole
RoleAssertion. role
The role of this assertional axiom (= the role that the individuals are instances of).Fields in net.sf.tweety.logics.dl.syntax with type parameters of type AtomicRole Modifier and Type Field Description private Pair<AtomicRole,ComplexConcept>
ExistentialRestriction. formulas
The role and the concept that is being restricted by it.private Pair<AtomicRole,ComplexConcept>
UniversalRestriction. formulas
The role and the concept that is being restricted by it.Methods in net.sf.tweety.logics.dl.syntax that return AtomicRole Modifier and Type Method Description AtomicRole
AtomicRole. collapseAssociativeFormulas()
AtomicRole
DlSignature. getRole(java.lang.String s)
Get the role with the given name.AtomicRole
ExistentialRestriction. getRole()
Get the role of the existential restriction.AtomicRole
RoleAssertion. getRole()
Get the role that the individuals of this assertional axiom are instances of.AtomicRole
UniversalRestriction. getRole()
Get the role of the universal restriction.Methods in net.sf.tweety.logics.dl.syntax that return types with arguments of type AtomicRole Modifier and Type Method Description Pair<AtomicRole,ComplexConcept>
ExistentialRestriction. getFormulas()
Get the role and concept that are part of the existential restriction.Pair<AtomicRole,ComplexConcept>
UniversalRestriction. getFormulas()
Get the role and concept that are part of the universal restriction.java.util.Set<AtomicRole>
DlSignature. getRoles()
Get the role names of the signature.Constructors in net.sf.tweety.logics.dl.syntax with parameters of type AtomicRole Constructor Description ExistentialRestriction(AtomicRole r, ComplexConcept c)
Creates a new ALC existential restriction with the given role and concept.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(Individual a, Individual b, AtomicRole r)
Initializes a role assertion with the given individuals and role.UniversalRestriction(AtomicRole r, ComplexConcept c)
Creates a new ALC universal restriction with the given role and concept.Constructor parameters in net.sf.tweety.logics.dl.syntax with type arguments of type AtomicRole Constructor Description ExistentialRestriction(Pair<AtomicRole,ComplexConcept> f)
-