# Class: ExistentialRestrictionExpression
_An existential restriction (OWL some values from) expression_
URI: [owl:Restriction](http://www.w3.org/2002/07/owl#Restriction)
```{mermaid}
classDiagram
class ExistentialRestrictionExpression
click ExistentialRestrictionExpression href "../ExistentialRestrictionExpression"
ExistentialRestrictionExpression : fillerId
ExistentialRestrictionExpression : propertyId
```
## Slots
| Name | Cardinality and Range | Description | Inheritance |
| --- | --- | --- | --- |
| [fillerId](fillerId.md) | 0..1
[String](String.md) | in an OWL restriction expression, the filler is the object of the restriction | direct |
| [propertyId](propertyId.md) | 0..1
[String](String.md) | in an OWL restriction expression, this is the predicate | direct |
## Usages
| used by | used in | type | used |
| --- | --- | --- | --- |
| [LogicalDefinitionAxiom](LogicalDefinitionAxiom.md) | [restrictions](restrictions.md) | range | [ExistentialRestrictionExpression](ExistentialRestrictionExpression.md) |
| [DisjointClassExpressionsAxiom](DisjointClassExpressionsAxiom.md) | [classExpressions](classExpressions.md) | range | [ExistentialRestrictionExpression](ExistentialRestrictionExpression.md) |
| [DisjointClassExpressionsAxiom](DisjointClassExpressionsAxiom.md) | [unionEquivalentToExpression](unionEquivalentToExpression.md) | range | [ExistentialRestrictionExpression](ExistentialRestrictionExpression.md) |
## Aliases
* some values from expression
## Comments
* note that most existing restrictions are present in simple A SubClassOf R some B axioms, which are translated to *edges* in a graph. This class exists for other cases that do not map to edges.
## Identifier and Mapping Information
### Annotations
| property | value |
| --- | --- |
| owl.fstring | ObjectSomeValuesFrom({propertyId} {fillerId}) |
### Schema Source
* from schema: https://github.com/geneontology/obographs
## Mappings
| Mapping Type | Mapped Value |
| --- | --- |
| self | owl:Restriction |
| native | obographs:ExistentialRestrictionExpression |
## LinkML Source
### Direct
```yaml
name: ExistentialRestrictionExpression
annotations:
owl.fstring:
tag: owl.fstring
value: ObjectSomeValuesFrom({propertyId} {fillerId})
description: An existential restriction (OWL some values from) expression
comments:
- note that most existing restrictions are present in simple A SubClassOf R some B
axioms, which are translated to *edges* in a graph. This class exists for other
cases that do not map to edges.
from_schema: https://github.com/geneontology/obographs
aliases:
- some values from expression
slots:
- fillerId
- propertyId
class_uri: owl:Restriction
```
### Induced
```yaml
name: ExistentialRestrictionExpression
annotations:
owl.fstring:
tag: owl.fstring
value: ObjectSomeValuesFrom({propertyId} {fillerId})
description: An existential restriction (OWL some values from) expression
comments:
- note that most existing restrictions are present in simple A SubClassOf R some B
axioms, which are translated to *edges* in a graph. This class exists for other
cases that do not map to edges.
from_schema: https://github.com/geneontology/obographs
aliases:
- some values from expression
attributes:
fillerId:
name: fillerId
description: in an OWL restriction expression, the filler is the object of the
restriction
from_schema: https://github.com/geneontology/obographs
aliases:
- object
rank: 1000
alias: fillerId
owner: ExistentialRestrictionExpression
domain_of:
- ExistentialRestrictionExpression
range: string
propertyId:
name: propertyId
description: in an OWL restriction expression, this is the predicate
from_schema: https://github.com/geneontology/obographs
rank: 1000
alias: propertyId
owner: ExistentialRestrictionExpression
domain_of:
- ExistentialRestrictionExpression
range: string
class_uri: owl:Restriction
```