Class UniversalRestriction
java.lang.Object
org.tweetyproject.logics.dl.syntax.ComplexConcept
org.tweetyproject.logics.dl.syntax.UniversalRestriction
- All Implemented Interfaces:
Formula
,ClassicalFormula
,Conjunctable
,Disjunctable
,Invertable
,ProbabilityAware
,SimpleLogicalFormula
This class models an universal restriction in description logics,
i.e. an expression of the form "forall R.C" for a role R and a Concept C.
- Author:
- Anna Gessler
-
Constructor Summary
ConstructorDescriptionCreates a new ALC universal restriction with the given role and concept. -
Method Summary
Modifier and TypeMethodDescriptionclone()
Creates a deep copy of this formulaThis method collapses all associative operations appearing in this term, e.g.boolean
Processes the set of all predicates which appear in this formulagetRole()
Returns the signature of the language of this formula.int
hashCode()
boolean
toString()
Methods inherited from class org.tweetyproject.logics.dl.syntax.ComplexConcept
combineWithAnd, combineWithOr, complement, getAtoms, getPredicateCls, getUniformProbability
-
Constructor Details
-
UniversalRestriction
Creates a new ALC universal restriction with the given role and concept.- Parameters:
r
- the rolec
- the concept that is being restricted by the role
-
-
Method Details
-
getFormulas
- Returns:
- the (atomic) role and the concept that are part of the universal restriction.
-
getRole
- Returns:
- the (atomic) role of the universal restriction.
-
getConcept
- Returns:
- the concept of the universal restriction.
-
getSignature
Description copied from interface:Formula
Returns the signature of the language of this formula.- Specified by:
getSignature
in interfaceFormula
- Specified by:
getSignature
in classComplexConcept
- Returns:
- the signature of the language of this formula.
-
toString
-
getPredicates
Description copied from interface:SimpleLogicalFormula
Processes the set of all predicates which appear in this formula- Specified by:
getPredicates
in interfaceSimpleLogicalFormula
- Specified by:
getPredicates
in classComplexConcept
- Returns:
- all predicates that appear in this formula
-
isLiteral
public boolean isLiteral()- Returns:
- true if the formula represents a literal in the language or false otherwise
-
clone
Description copied from class:ComplexConcept
Creates a deep copy of this formula- Specified by:
clone
in interfaceSimpleLogicalFormula
- Specified by:
clone
in classComplexConcept
- Returns:
- the cloned formula
-
collapseAssociativeFormulas
Description copied from class:ComplexConcept
This method collapses all associative operations appearing in this term, e.g. every a||(b||c) becomes a||b||c.- Specified by:
collapseAssociativeFormulas
in classComplexConcept
- Returns:
- the collapsed formula.
-
hashCode
public int hashCode()- Specified by:
hashCode
in interfaceSimpleLogicalFormula
- Specified by:
hashCode
in classComplexConcept
-
equals
- Specified by:
equals
in interfaceSimpleLogicalFormula
- Specified by:
equals
in classComplexConcept
-