import '../extensions/rdfs/Resource.js';
import * as rdfine from '@tpluscode/rdfine';
import { RdfineEnvironment } from '@tpluscode/rdfine/environment';
import type * as RDF from '@rdfjs/types';
import type { RdfResourceCore } from '@tpluscode/rdfine/RdfResource';
import type * as Owl from '../index.js';
import type * as Rdf from '@rdfine/rdf';
import type * as Rdfs from '@rdfine/rdfs';
export interface NegativePropertyAssertion<D extends RDF.DatasetCore = RDF.DatasetCore> extends Rdfs.Resource<D>, rdfine.RdfResource<D> {
    assertionProperty: Rdf.Property<D> | undefined;
    sourceIndividual: RDF.NamedNode | undefined;
    targetIndividual: RDF.NamedNode | undefined;
    targetValue: string | undefined;
}
export declare function NegativePropertyAssertionMixin<Base extends rdfine.Constructor>(Resource: Base): rdfine.Constructor<NegativePropertyAssertion & RdfResourceCore> & Base;
export declare namespace NegativePropertyAssertionMixin {
    var appliesTo: RDF.NamedNode<string> & RDF.NamedNode<"http://www.w3.org/2002/07/owl#NegativePropertyAssertion">;
    var createFactory: (env: RdfineEnvironment) => import("@tpluscode/rdfine/factory").FullFactory<Owl.NegativePropertyAssertion<RDF.DatasetCore<RDF.Quad, RDF.Quad>>> & import("@tpluscode/rdfine/factory").CurriedFactory<Owl.NegativePropertyAssertion<RDF.DatasetCore<RDF.Quad, RDF.Quad>>> & import("@tpluscode/rdfine/factory").CurriedBlankFactory<Owl.NegativePropertyAssertion<RDF.DatasetCore<RDF.Quad, RDF.Quad>>>;
}