About: Parameterized Type

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Parameterized Type Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Class, within Data Space : yang.eurecom.fr associated with source document(s)

A particular parameterization of a `Type` in which its generic `Type Variable`s and/or `Wildcard`s are instantiated with `Type`s represented through `Type Argument`s.

Attributes	Values
rdf:type	Class
rdfs:subClassOf	Type nodeID://b12203 nodeID://b12209 nodeID://b12220 nodeID://b12221 nodeID://b13395 nodeID://b13401 nodeID://b13412 nodeID://b13413
rdfs:label	Parameterized Type
rdfs:comment	A particular parameterization of a `Type` in which its generic `Type Variable`s and/or `Wildcard`s are instantiated with `Type`s represented through `Type Argument`s. (en)
is rdf:first of	nodeID://b11591 nodeID://b11629 nodeID://b11804 nodeID://b11808 nodeID://b11915 nodeID://b12028 nodeID://b12034 nodeID://b12040 nodeID://b12135 nodeID://b12144 nodeID://b12376 nodeID://b12499 nodeID://b12721 nodeID://b12783 nodeID://b12821 nodeID://b12996 nodeID://b13000 nodeID://b13107 nodeID://b13220 nodeID://b13226 nodeID://b13232 nodeID://b13327 nodeID://b13336 nodeID://b13568 nodeID://b13691 nodeID://b13913
is rdfs:domain of	has actual type argument has generic type
is rdfs:range of	is actual type argument of
is allValuesFrom of	nodeID://b12125 nodeID://b13317
is owl:onClass of	nodeID://b12127 nodeID://b13319

Faceted Search & Find service v1.16.120 as of Nov 11 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (252 GB total memory, 476 MB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software