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.