Index (Brunner OWLAPI 1.0.5 API)

A B C D E F G H I L M N O P S T V
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

A

ALL_IN_ONE_EXPANSION_STRATEGY - Enum constant in enum class menu.OWLAPIKeywords.Explanation.ExpansionStrategyType
atomToClassAssertionAxiom(Atom) - Static method in class owl_api.utils.DLGPToOWLTranslation

B

build() - Method in class owl_api.binding.OWLAPIExplanatorBuilder
BUILD_REASONER_FOR_ENTAILMENT_CHECKING - Enum constant in enum class owl_api.services.OWLAPIOperations
buildExplanator() - Method in class owl_api.services.concrete.ExplanationOWLAPI: Builds the explanator form the input configuration

C

checkerFactory() - Method in record class owl_api.binding.OWLAPIAlgorithmParameterConfig: Returns the value of the checkerFactory record component.
CONFIG - Enum constant in enum class menu.OWLAPIKeywords.Explanation: OMQA via saturation and parallel query evaluation
configurationfile - Static variable in class demo.TheDemo: Configuration file for explanations
CONSISTENCY_ENTAILMENT_CHECKER_FACTORY - Enum constant in enum class menu.OWLAPIKeywords.Explanation.EntailmentCheckerType
CONSOLE_EXPLANATION_PROGRESS_MONITOR - Enum constant in enum class menu.OWLAPIKeywords.Explanation.ExplanationProgressMonitorType
contractionStrategy() - Method in record class owl_api.binding.OWLAPIAlgorithmParameterConfig: Returns the value of the contractionStrategy record component.
createServiceFrom(ITask) - Method in class owl_api.binding.DefaultOWLAPIBinding

D

DefaultOWLAPIBinding - Class in owl_api.binding: A binding for the OWL API.
DefaultOWLAPIBinding() - Constructor for class owl_api.binding.DefaultOWLAPIBinding
demo - package demo
DIVIDE_AND_CONQUER_CONTRACTION_STRATEGY - Enum constant in enum class menu.OWLAPIKeywords.Explanation.ContractionStrategyType
dlgpQueriesToOWLAxioms(Atom) - Method in class owl_api.services.concrete.ExplanationOWLAPI
DLGPToOWLTranslation - Class in owl_api.utils
DLGPToOWLTranslation() - Constructor for class owl_api.utils.DLGPToOWLTranslation
DYNAMIC_SLIDING_WINDOW_CONTRACTION_STRATEGY - Enum constant in enum class menu.OWLAPIKeywords.Explanation.ContractionStrategyType

E

equals(Object) - Method in record class owl_api.binding.OWLAPIAlgorithmParameterConfig: Indicates whether some other object is "equal to" this one.
expansionStrategy() - Method in record class owl_api.binding.OWLAPIAlgorithmParameterConfig: Returns the value of the expansionStrategy record component.
EXPLANATION - Enum constant in enum class menu.OWLAPIKeywords.Service: OMQA via saturation and parallel query evaluation
ExplanationOWLAPI - Class in owl_api.services.concrete: Service calling the OWL API for fact entailment explanation
ExplanationOWLAPI(IInputDataScenario, OWLAPIAlgorithmParameterConfig) - Constructor for class owl_api.services.concrete.ExplanationOWLAPI: Constructor

F

FILE_EXTENSIONS - Enum constant in enum class menu.OWLAPIKeywords.FileExtensions: dummy constant.

G

getMetadata() - Method in enum class owl_api.services.OWLAPIOperations
getToolBinding() - Method in enum class menu.OWLAPIKeywords
getToolName() - Method in enum class menu.OWLAPIKeywords

H

hashCode() - Method in record class owl_api.binding.OWLAPIAlgorithmParameterConfig: Returns a hash code value for this object.

I

INCONSISTENT_ONTOLOGY_CLASH_EXPANSION_STRATEGY - Enum constant in enum class menu.OWLAPIKeywords.Explanation.ExpansionStrategyType
INCONSISTENT_ONTOLOGY_CONTRACTION_STRATEGY - Enum constant in enum class menu.OWLAPIKeywords.Explanation.ContractionStrategyType
INCONSISTENT_ONTOLOGY_EXPANSION_STRATEGY - Enum constant in enum class menu.OWLAPIKeywords.Explanation.ExpansionStrategyType
initializeReasoner() - Method in class owl_api.services.concrete.ExplanationOWLAPI

L

LACONIC_EXPLANATION_GENERATOR - Enum constant in enum class menu.OWLAPIKeywords.Explanation.ExplanationProgressMonitorType
LOAD_OWL_ONTOLOGY - Enum constant in enum class owl_api.services.OWLAPIOperations: Loading an OWL ontology
loadData() - Method in class owl_api.services.concrete.ExplanationOWLAPI
loadQueries() - Method in class owl_api.services.concrete.ExplanationOWLAPI

M

main(String[]) - Static method in class demo.TheDemo
main(String[]) - Static method in class owl_api.binding.DefaultOWLAPIBinding
menu - package menu
MODULARITY_CONTRACTION_STRATEGY - Enum constant in enum class menu.OWLAPIKeywords.Explanation.ContractionStrategyType

N

NULL_EXPLANATION_PROGRESS_MONITOR - Enum constant in enum class menu.OWLAPIKeywords.Explanation.ExplanationProgressMonitorType

O

ORDERED_AXIOM_WITH_WINDOW_CONTRACTION_STRATEGY - Enum constant in enum class menu.OWLAPIKeywords.Explanation.ContractionStrategyType
ORDERED_DIVIDE_AND_CONQUER_STRATEGY - Enum constant in enum class menu.OWLAPIKeywords.Explanation.ContractionStrategyType
OWL - Enum constant in enum class menu.OWLAPIKeywords.FileExtensions.Factbase: VLog configuration file
OWL - Enum constant in enum class menu.OWLAPIKeywords.FileExtensions.Querybase: InteGrall format
OWL - Enum constant in enum class menu.OWLAPIKeywords.FileExtensions.Rulebase: InteGraal format
OWL_API - Enum constant in enum class menu.OWLAPIKeywords: Reasoner name
owl_api.binding - package owl_api.binding
owl_api.services - package owl_api.services
owl_api.services.concrete - package owl_api.services.concrete
owl_api.utils - package owl_api.utils
OWLAPIAlgorithmParameterConfig - Record Class in owl_api.binding: OWL API Explanator Configuration
OWLAPIAlgorithmParameterConfig() - Constructor for record class owl_api.binding.OWLAPIAlgorithmParameterConfig
OWLAPIAlgorithmParameterConfig(Optional<OWLAPIKeywords.Explanation.EntailmentCheckerType>, Optional<OWLAPIKeywords.Explanation.ExpansionStrategyType>, Optional<OWLAPIKeywords.Explanation.ContractionStrategyType>, Optional<OWLAPIKeywords.Explanation.ExplanationProgressMonitorType>) - Constructor for record class owl_api.binding.OWLAPIAlgorithmParameterConfig: Creates an instance of a OWLAPIAlgorithmParameterConfig record class.
OWLAPIExplanatorBuilder - Class in owl_api.binding
OWLAPIExplanatorBuilder(OWLAPIAlgorithmParameterConfig, Set<OWLAxiom>, PelletReasonerFactory) - Constructor for class owl_api.binding.OWLAPIExplanatorBuilder
OWLAPIInputInterpreter - Class in owl_api.binding: Converts inputs to be passed to the OWL API
OWLAPIInputInterpreter() - Constructor for class owl_api.binding.OWLAPIInputInterpreter
OWLAPIKeywords - Enum Class in menu: Keywords for rulewerk
OWLAPIKeywords.Explanation - Enum Class in menu
OWLAPIKeywords.Explanation.ContractionStrategyType - Enum Class in menu
OWLAPIKeywords.Explanation.EntailmentCheckerType - Enum Class in menu
OWLAPIKeywords.Explanation.ExpansionStrategyType - Enum Class in menu
OWLAPIKeywords.Explanation.ExplanationProgressMonitorType - Enum Class in menu
OWLAPIKeywords.FileExtensions - Enum Class in menu: Input file extensions supported
OWLAPIKeywords.FileExtensions.Factbase - Enum Class in menu: File extensions for fact base
OWLAPIKeywords.FileExtensions.Querybase - Enum Class in menu: File extensions for query base
OWLAPIKeywords.FileExtensions.Rulebase - Enum Class in menu: File extensions for rule base
OWLAPIKeywords.Service - Enum Class in menu: Supported algorithms
OWLAPIOperations - Enum Class in owl_api.services: Operations that are specific to the the OWL API.

P

PATTERN_BASED_CONSISTENCY_ENTAILMENT_CHECKER_FACTORY - Enum constant in enum class menu.OWLAPIKeywords.Explanation.EntailmentCheckerType
prepareServiceSpecificOperations() - Method in class owl_api.services.concrete.ExplanationOWLAPI
progressMonitor() - Method in record class owl_api.binding.OWLAPIAlgorithmParameterConfig: Returns the value of the progressMonitor record component.

S

SATISFIABILITY_ENTAILMENT_CHECKER_FACTORY - Enum constant in enum class menu.OWLAPIKeywords.Explanation.EntailmentCheckerType
SIMPLE_CONTRACTION_STRATEGY - Enum constant in enum class menu.OWLAPIKeywords.Explanation.ContractionStrategyType
SIMPLE_EXPANSION_STRATEGY - Enum constant in enum class menu.OWLAPIKeywords.Explanation.ExpansionStrategyType
SLIDING_WINDOW_CONTRACTION_STRATEGY - Enum constant in enum class menu.OWLAPIKeywords.Explanation.ContractionStrategyType
STRUCTURAL_EXPANSION_STRATEGY - Enum constant in enum class menu.OWLAPIKeywords.Explanation.ExpansionStrategyType
STRUCTURAL_TYPE_PRIORITY_EXPANSION_STRATEGY - Enum constant in enum class menu.OWLAPIKeywords.Explanation.ExpansionStrategyType

T

TheDemo - Class in demo: Demo class for BRunner.
TheDemo() - Constructor for class demo.TheDemo
toString() - Method in record class owl_api.binding.OWLAPIAlgorithmParameterConfig: Returns a string representation of this record class.
TRANSLATE_DLGP_FACTS_TO_OWL_AXIOM - Enum constant in enum class owl_api.services.OWLAPIOperations
translateAlgorithmParametersFor(ITask) - Static method in class owl_api.binding.OWLAPIInputInterpreter: Converts the algorithm parameters

V

valueOf(String) - Static method in enum class menu.OWLAPIKeywords.Explanation.ContractionStrategyType: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class menu.OWLAPIKeywords.Explanation.EntailmentCheckerType: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class menu.OWLAPIKeywords.Explanation.ExpansionStrategyType: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class menu.OWLAPIKeywords.Explanation.ExplanationProgressMonitorType: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class menu.OWLAPIKeywords.Explanation: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class menu.OWLAPIKeywords.FileExtensions.Factbase: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class menu.OWLAPIKeywords.FileExtensions.Querybase: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class menu.OWLAPIKeywords.FileExtensions.Rulebase: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class menu.OWLAPIKeywords.FileExtensions: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class menu.OWLAPIKeywords.Service: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class menu.OWLAPIKeywords: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class owl_api.services.OWLAPIOperations: Returns the enum constant of this class with the specified name.
values() - Static method in enum class menu.OWLAPIKeywords.Explanation.ContractionStrategyType: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class menu.OWLAPIKeywords.Explanation.EntailmentCheckerType: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class menu.OWLAPIKeywords.Explanation.ExpansionStrategyType: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class menu.OWLAPIKeywords.Explanation.ExplanationProgressMonitorType: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class menu.OWLAPIKeywords.Explanation: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class menu.OWLAPIKeywords.FileExtensions.Factbase: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class menu.OWLAPIKeywords.FileExtensions.Querybase: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class menu.OWLAPIKeywords.FileExtensions.Rulebase: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class menu.OWLAPIKeywords.FileExtensions: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class menu.OWLAPIKeywords.Service: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class menu.OWLAPIKeywords: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class owl_api.services.OWLAPIOperations: Returns an array containing the constants of this enum class, in the order they are declared.

A B C D E F G H I L M N O P S T V
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form