Class: ExistentialRestrictionExpression

An existential restriction (OWL some values from) expression

classDiagram class ExistentialRestrictionExpression ExistentialRestrictionExpression : fillerId ExistentialRestrictionExpression : propertyId

Slots

Name	Cardinality and Range	Description	Inheritance
fillerId	0..1 String	in an OWL restriction expression, the filler is the object of the restriction	direct
propertyId	0..1 String	in an OWL restriction expression, this is the predicate	direct

Usages

used by	used in	type	used
LogicalDefinitionAxiom	restrictions	range	ExistentialRestrictionExpression
DisjointClassExpressionsAxiom	classExpressions	range	ExistentialRestrictionExpression
DisjointClassExpressionsAxiom	unionEquivalentToExpression	range	ExistentialRestrictionExpression

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

</details>

### Induced

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