Uses of Class
org.tweetyproject.logics.dl.syntax.AtomicRole
-
Uses of AtomicRole in org.tweetyproject.logics.dl.semantics
Modifier and TypeMethodDescriptionDlInterpretation.getRoleDomain
(AtomicRole r) Returns the subset of the domain that belongs to the given role (i.e. -
Uses of AtomicRole in org.tweetyproject.logics.dl.syntax
Modifier and TypeMethodDescriptionAtomicRole.collapseAssociativeFormulas()
Get the role with the given name.ExistentialRestriction.getRole()
RoleAssertion.getRole()
UniversalRestriction.getRole()
Modifier and TypeMethodDescriptionExistentialRestriction.getFormulas()
UniversalRestriction.getFormulas()
DlSignature.getRoles()
Get the role names of the signature.ModifierConstructorDescriptionCreates a new ALC existential restriction with the given role and concept.RoleAssertion
(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.Creates a new ALC universal restriction with the given role and concept.