Class OwlReasoner

Readonlyerrors

OptionalsourceGraph

OptionaltargetGraph

ReadonlytargetUriGenerator

applyInference

• applyInference(quad: Quad): void

  Parameters

  • quad: Quad

  Returns void

expand

• expand(
      store: DatasetCore,
      sourceGraph: string | Quad_Graph,
      targetGraph?: string | Quad_Graph,
  ): DatasetCore

  Apply inference on the source graph and store the inferred triples in the target graph. The source graph is iterated live while the inferred triples are added, so an implementation must only ever write to the target graph.

  Parameters

  • store: DatasetCore

    The store to be inferenced.

  • sourceGraph: string | Quad_Graph

    The source graph where to find the triples to be inferenced.

  • OptionaltargetGraph: string | Quad_Graph

    The optional target graph where to store the inferred triples. If none is provided, the graph from getGraphUri will be used.

  Returns DatasetCore

getListItems

• getListItems(listUri: string): Quad_Object[]

  Get the URIs of ordered list members in the store.

  Parameters

  • listUri: string

    URI of the list to get the items from.

  Returns Quad_Object[]

  An array of URIs of the items in the list.

inferCollectionAxioms

• inferCollectionAxioms(quad: Quad): void

  Parameters

  • quad: Quad

  Returns void

inferConceptAxioms

• inferConceptAxioms(quad: Quad): void

  Parameters

  • quad: Quad

  Returns void

inferShapeAxioms

• inferShapeAxioms(quad: Quad): void

  Parameters

  • quad: Quad

  Returns void

match

• match(
      graph: Quad_Graph,
      subject: Quad_Subject | null,
      predicate: Quad_Predicate | null,
      object: Quad_Object | null,
  ): Generator<Quad, void, any>

  Query the store for triples matching the given pattern supporting multiple graphs.

  Parameters

  • graph: Quad_Graph
  • subject: Quad_Subject | null

    A subject URI or null to match any subject.

  • predicate: Quad_Predicate | null

    A predicate URI or null to match any predicate.

  • object: Quad_Object | null

    An object URI or null to match any object.

  Returns Generator<Quad, void, any>

  Todo

  Refactor and merge with the same method in the Mentor RDF Store class.