com.clarkparsia.pellet.service.reasoner

Interface SchemaReasoner

All Superinterfaces:

AutoCloseable

public interface SchemaReasoner
extends AutoCloseable

Simple reasoner interface for schema reasoning.

Author:

Evren Sirin

Field Summary

Fields

Modifier and Type	Field and Description
static int	NO_VERSION

Method Summary

Modifier and Type	Method and Description
void	classify() Classifies the reasoner.
void	delete(Set<org.semanticweb.owlapi.model.OWLAxiom> removals) Update the reasoner contents.
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>>	explain(org.semanticweb.owlapi.model.OWLAxiom axiom, int limit) Return the explanations for the given axiom.
void	insert(Set<org.semanticweb.owlapi.model.OWLAxiom> additions) Update the reasoner contents.
<T extends org.semanticweb.owlapi.model.OWLObject> org.semanticweb.owlapi.reasoner.NodeSet<T>	query(SchemaQuery query) Execute a schema query.

Methods inherited from interface java.lang.AutoCloseable

close

Field Detail

NO_VERSION

static final int NO_VERSION

See Also:

Constant Field Values

Method Detail

query

<T extends org.semanticweb.owlapi.model.OWLObject> org.semanticweb.owlapi.reasoner.NodeSet<T> query(SchemaQuery query)

Execute a schema query.

Type Parameters:

T - type of return entities

Parameters:

query - schema query

Returns:

the query result

explain

Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> explain(org.semanticweb.owlapi.model.OWLAxiom axiom,
                                                        int limit)

Return the explanations for the given axiom.

Parameters:

axiom - input axiom to explain

limit - maximum number of explanations to return

Returns:

the set of axiom sets

insert

void insert(Set<org.semanticweb.owlapi.model.OWLAxiom> additions)

Update the reasoner contents.

Parameters:

additions - axioms to add

delete

void delete(Set<org.semanticweb.owlapi.model.OWLAxiom> removals)

Update the reasoner contents.

Parameters:

removals - axioms to remove

classify

void classify()

Classifies the reasoner.