org.apache.stanbol.reasoners.owlapi
Interface OWLApiReasoningService

All Superinterfaces:

ReasoningService<org.semanticweb.owlapi.model.OWLOntology,org.semanticweb.owlapi.model.SWRLRule,org.semanticweb.owlapi.model.OWLAxiom>

All Known Implementing Classes:

AbstractOWLApiReasoningService

public interface OWLApiReasoningService
extends ReasoningService<org.semanticweb.owlapi.model.OWLOntology,org.semanticweb.owlapi.model.SWRLRule,org.semanticweb.owlapi.model.OWLAxiom>

Interface for any OWLApi based reasoning service

Nested Class Summary

Nested classes/interfaces inherited from interface org.apache.stanbol.reasoners.servicesapi.ReasoningService

ReasoningService.Tasks

Field Summary

Fields inherited from interface org.apache.stanbol.reasoners.servicesapi.ReasoningService

SERVICE_PATH

Method Summary

java.util.Set<org.semanticweb.owlapi.model.OWLAxiom>	run(org.semanticweb.owlapi.model.OWLOntology input, java.util.List<org.semanticweb.owlapi.util.InferredAxiomGenerator<? extends org.semanticweb.owlapi.model.OWLAxiom>> generators)
java.util.Set<org.semanticweb.owlapi.model.OWLAxiom>	run(org.semanticweb.owlapi.model.OWLOntology ontology, java.util.List<org.semanticweb.owlapi.model.SWRLRule> rules, java.util.List<org.semanticweb.owlapi.util.InferredAxiomGenerator<? extends org.semanticweb.owlapi.model.OWLAxiom>> generators)

Methods inherited from interface org.apache.stanbol.reasoners.servicesapi.ReasoningService

getModelType, getPath, getRuleType, getStatementType, getSupportedTasks, isConsistent, isConsistent, runTask, runTask, supportsTask

Method Detail

run

java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> run(org.semanticweb.owlapi.model.OWLOntology ontology,
                                                         java.util.List<org.semanticweb.owlapi.model.SWRLRule> rules,
                                                         java.util.List<org.semanticweb.owlapi.util.InferredAxiomGenerator<? extends org.semanticweb.owlapi.model.OWLAxiom>> generators)
                                                         throws ReasoningServiceException,
                                                                InconsistentInputException

Throws:

ReasoningServiceException

InconsistentInputException

run

java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> run(org.semanticweb.owlapi.model.OWLOntology input,
                                                         java.util.List<org.semanticweb.owlapi.util.InferredAxiomGenerator<? extends org.semanticweb.owlapi.model.OWLAxiom>> generators)
                                                         throws ReasoningServiceException,
                                                                InconsistentInputException

Throws:

ReasoningServiceException

InconsistentInputException