UNPKG

@rdfine/owl

Version:

> ## @rdfine/owl > ### Generated JavaScript types for OWL Web Ontology Language

20 lines (19 loc) 933 B
import * as rdfine from '@tpluscode/rdfine'; import type { RdfResourceCore } from '@tpluscode/rdfine/RdfResource'; import type * as RDF from '@rdfjs/types'; import type * as Rdf from '@rdfine/rdf'; import type * as Rdfs from '@rdfine/rdfs'; interface DatatypeEx<D extends RDF.DatasetCore = RDF.DatasetCore> { datatypeComplementOf: Rdfs.Datatype<D> | undefined; onDatatype: Rdfs.Datatype<D> | undefined; withRestrictions: Rdf.List<D> | undefined; } declare module '@rdfine/rdfs/lib/Datatype' { interface Datatype<D extends RDF.DatasetCore> extends DatatypeEx<D> { } } export declare function DatatypeMixinEx<Base extends rdfine.ExtendingConstructor<Rdfs.Datatype, DatatypeEx>>(Resource: Base): rdfine.Constructor<DatatypeEx & RdfResourceCore> & Base; export declare namespace DatatypeMixinEx { var appliesTo: RDF.NamedNode<string> & RDF.NamedNode<"http://www.w3.org/2000/01/rdf-schema#Datatype">; } export {};