Logo visoto
  1. Home
Page icon

SELECT ?title WHERE { ?? (rdfs:label|skos:prefLabel|schema:name) ?title . } Algebraic Datatype

SELECT ?class WHERE { ?? (rdf:type|owl:type) ?class . } Class

SELECT ?description WHERE { ?? (rdfs:comment|schema:description) ?description . }

SELECT ?property ?value WHERE { BIND (?? AS ?s) ?s ?property ?value . FILTER (isLiteral(?value)) } LIMIT 1000

Attributes

Bezeichnung
Algebraic Datatype
description
<p>An "Algebraic Datatype" is a datatype each of whose values are data from other data types wrapped in one of the constructors of the data type. Any wrapped datum is an argument to the constructor. In contrast to other data types, the constructor is not executed and the only way to operate on the data is to unwrap the constructor using pattern matching. </p> <p>The most common algebraic data type is a list with two constructors: Nil or [] for an empty list, and Cons (an abbreviation of constructor), ::, or : for the combination of a new element with a shorter list (for example (Cons 1 '(2 3 4)) or 1:[2,3,4]). </p> <p>Special cases of algebraic types are product types i.e. records (only one constructor) and enumerated types (many constructors with no arguments). Algebraic types are one kind of composite type (i.e. a type formed by combining other types). </p> <p>An algebraic data type may also be an abstract data type (ADT) if it is exported from a module without its constructors. Values of such a type can only be manipulated using functions defined in the same module as the type itself. </p>
SELECT ?source ?property WHERE { BIND (?? AS ?o) ?source ?property ?o . FILTER (?property != rdf:type) FILTER (?property != rdfs:subClassOf) FILTER (?property NOT IN ( schema:rangeIncludes, schema:domainIncludes, rdfs:range, rdfs:domain, owl:equivalentClass, owl:disjointWith, owl:unionOf, owl:intersectionOf )) FILTER (!STRSTARTS(STR(?property), "http://www.w3.org/ns/shacl#")) } LIMIT 1000

Incoming Relationships - no results found

No results found.
SELECT ?property ?destination WHERE { BIND (?? AS ?s) ?s ?property ?destination . FILTER (isIRI(?destination)) FILTER (?property != rdf:type) FILTER (?property != rdfs:subClassOf) } LIMIT 1000

Outgoing Relationships

SELECT ?instance ?description WHERE { BIND (?? AS ?class) ?instance (rdf:type|owl:type) ?class . OPTIONAL { ?instance schema:description ?description . } } LIMIT 5000

Instances of this Class - no results found

No results found.
SELECT ?superclass ?description WHERE { ?? rdfs:subClassOf ?superclass . OPTIONAL { ?superclass (rdfs:comment|schema:description) ?description . } } LIMIT 5000

Superclasses of this Class

superclass description
StructuredDatatype
SELECT ?subclass ?description WHERE { ?subclass rdfs:subClassOf ?? . OPTIONAL { ?subclass (rdfs:comment|schema:description) ?description . } } LIMIT 5000

Subclasses of this Class - no results found

No results found.
SELECT ?subject ?property ?object WHERE { BIND (?? AS ?o) ?s ?property ?o . FILTER (?property IN ( schema:rangeIncludes, schema:domainIncludes, rdfs:range, rdfs:domain, owl:equivalentClass, owl:disjointWith, owl:unionOf, owl:intersectionOf )) } LIMIT 1000

Schema information - no results found

No results found.
SELECT ?subject ?property ?object WHERE { BIND (?? AS ?object) ?subject ?property ?object . FILTER (STRSTARTS(STR(?property), "http://www.w3.org/ns/shacl#")) } LIMIT 1000

Shape information (SHACL) - no results found

No results found.