Uses of Class net.sf.tweety.logics.dl.syntax.AtomicRole

Packages that use AtomicRole
Package Description

net.sf.tweety.logics.dl.semantics

net.sf.tweety.logics.dl.syntax

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

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