Index (OWLAPI-Lite 1.2.0 API)

A C D E G H I J L M O P R S T
All Classes and Interfaces|All Packages|Serialized Form

A

addVocab(OWLEntity) - Method in class io.github.kodymoodley.owlapilite.Parser: Adds a new OWLEntity instance to the parser i.e., a new class, property or individual name to the parsers vocabulary so that the user can construct OWLAxiom instances using this vocabulary from strings
allIndividualsDifferent() - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Makes all the individual names in the ontology refer to different individuals (simulate the unique name assumption)

C

createAxiom(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Creates a new OWLAxiom, adds this axiom to the currently selected ontology, and prints out the axiom to the console
createAxiom(String) - Method in class io.github.kodymoodley.owlapilite.Parser: Returns an OWLAxiom constructed from a string representation of the axiom in Manchester OWL Syntax
createClass(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Creates a new class name, adds this class to the parser's vocabulary and the currently selected ontology, and prints out the class to the console
createClasses(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Creates multiple class names, adds them to the parser vocabulary and the currently selected ontology
createClassExpression(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Creates an anonymous class expression and prints out the class expression to the console
createClassExpression(String) - Method in class io.github.kodymoodley.owlapilite.Parser: Returns an OWLClassExpression constructed from a string representation of the expression in Manchester OWL Syntax
createDataProperties(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Creates multiple data properties, adds them to the parser vocabulary and the currently selected ontology
createDataProperty(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Creates a new data property, adds this data property to the parser's vocabulary and the currently selected ontology, and prints out the data property to the console
createDProperties(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Alias for createDataProperties method.
createDProperty(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Alias for createDataProperty method.
createIndividual(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Creates a new individual name, adds this individual name to the parser's vocabulary and the currently selected ontology, and prints out the individual name to the console
createIndividuals(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Creates multiple individual names, adds them to the parser vocabulary and the currently selected ontology
createObjectProperties(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Creates multiple object properties, adds them to the parser vocabulary and the currently selected ontology
createObjectProperty(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Creates a new object property, adds this object property to the parser's vocabulary and the currently selected ontology, and prints out the object property to the console
createObjectProperty(String, int, int, int) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Creates a new object property, adds this object property to the parser's vocabulary and the currently selected ontology, and prints out the object property to the console
createObjectPropertyAssertion(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Creates role axiom from string
createOntology(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Creates a new OWL ontology given a string representation of an IRI
createOProperties(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Alias for createObjectProperties method.
createOProperty(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Alias for createObjectProperty method.
createOProperty(String, int, int, int) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Alias for createOProperty method Creates a new object property, adds this object property to the parser's vocabulary and the currently selected ontology, and prints out the object property to the console
createOPropertyAssertion(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Alias for createObjectPropertyAssertion method

D

dataFactory - Static variable in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: OWLDataFactory instance
differentIndividuals(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Makes the specified individual names in the ontology refer to different individuals (simulate the unique name assumption for a subset of individual names)

E

ELK - Static variable in class io.github.kodymoodley.owlapilite.SelectedReasoner: ELK OWL 2 EL Reasoner selection instance
explainEntailment(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: prints to console output the explanations (justifications) for the entailment of the axiom (represented by the given string in Manchester OWL Syntax)
explainInconsistency() - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: prints to console output the explanations (justifications) for the inconsistency of the ontology.
explainUnsatisfiability(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: prints to console output the explanations (justifications) for the unsatisfiability of a class expression (represented by the given string in Manchester OWL Syntax).
explanationGenerator - Variable in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: An instance of a default explanation generator for computing justifications for entailments

G

generateShortForm(OWLEntity) - Method in class io.github.kodymoodley.owlapilite.Provider: Gets the human-readable label from the OWLEntity
getAllObjectPropertyAssertions() - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: for each object property in the ontology, print all object property assertions they are involved in to console output
getAllOPropertyAssertions() - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: Alias for getAllObjectPropertyAssertions method.
getAllTypes() - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: for each individual in the ontology, prints all atomic classes to console output, such that the individual is an instance of these classes
getEquivalentClasses(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: prints all atomic equivalent classes of a given class expression string to console output
getInstance() - Static method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Static method to get hold of a OWLAPILiteFactory instance
getInstance() - Static method in class io.github.kodymoodley.owlapilite.Parser: Returns Parser instance.
getInstance(SelectedReasoner) - Static method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Static method to get hold of a OWLAPILiteFactory instance
getInstances(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: for a given class expression, print all its instances to console output
getName() - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: print the name of the selected OWL reasoner to console output
getName() - Method in class io.github.kodymoodley.owlapilite.SelectedReasoner: returns a string representation of the SelectedReasoner instance name
getObjectPropertyAssertions(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: for a given object property, print all object property assertions it is involved in, to console output
getOntologies() - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Prints the IRI strings of each ontology that has been created so far using this instance of OWLAPILiteFactory
getOntology() - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Prints the IRI string of the currently selected ontology
getOPropertyAssertions(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: Alias for getObjectPropertyAssertions method.
getOWLProfile() - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: print the name of the OWL 2 profile that this reasoner supports to console output
getOWLProfile() - Method in class io.github.kodymoodley.owlapilite.SelectedReasoner: returns a string representation of the OWL 2 Profile supported by the SelectedReasoner instance
getParser() - Method in class io.github.kodymoodley.owlapilite.Parser: Gets the core Manchester OWL parser instance
getProfile() - Method in class io.github.kodymoodley.owlapilite.SelectedReasoner: Alias for getOWLProfile method.
getSubClasses(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: prints all atomic subclasses (both direct and indirect) of a given class expression string to console output
getSuperClasses(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: prints all atomic superclasses (both direct and indirect) of a given class expression string to console output
getTypes(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: prints all atomic classes to console output, such that the individual (represented by the given string) is an instance of these classes
getUnsatisfiableClasses() - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: prints all unsatisfiable class names in the ontology associated with this OWLAPILiteReasoner instance to console output

H

HERMIT - Static variable in class io.github.kodymoodley.owlapilite.SelectedReasoner: HermiT OWL 2 DL Reasoner selection instance

I

inconsistencyExpFac - Variable in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: An instance of Matthew Horridge's explanation generator factory for inconsistent ontologies
inconsistencyExplanationGenerator - Variable in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: An instance of Matthew Horridge's explanation generator for inconsistent ontologies
io.github.kodymoodley.owlapilite - package io.github.kodymoodley.owlapilite
isConsistent() - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: prints Yes to console output if the ontology associated with this OWLAPILiteReasoner instance is consistent, prints No otherwise
isEntailed(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: prints Yes to console output if the given string represents an OWLAxiom in Manchester OWL Syntax that is entailed by the ontology.
isSatisfiable(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: prints Yes to console output if the given string represents an OWLClassExpression in Manchester OWL Syntax that is satisfiable w.r.t.

J

JFACT - Static variable in class io.github.kodymoodley.owlapilite.SelectedReasoner: JFACT OWL 2 DL Reasoner selection instance

L

loadFromFile(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Loads an OWL ontology from local file into the OWLAPILiteFactory instance.
loadFromURL(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Loads an OWL ontology from a remote URL into the OWLAPILiteFactory instance.

M

makeAntiSymmetric(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Makes an existing object property in the ontology asymmetric
makeIRReflexive(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Makes an existing object property in the ontology irreflexive
makeReflexive(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Makes an existing object property in the ontology reflexive
makeSymmetric(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Makes an existing object property in the ontology symmetric
makeTransitive(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Makes an existing object property in the ontology transitive

O

ontology - Variable in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: the OWLOntology object being reasoned with
ontologyIRI - Variable in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: the IRI of the ontology being reasoned with
OWLAPILiteFactory - Class in io.github.kodymoodley.owlapilite: Core class for OWLAPI-Lite which provides access to all methods for constructing and editing OWL ontologies.
OWLAPILiteFactory() - Constructor for class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Public constructor for OWLAPILiteFactory
OWLAPILiteReasoner - Class in io.github.kodymoodley.owlapilite: Class for OWLAPI-Lite which provides access to methods for reasoning with OWL ontologies.
OWLAPILiteReasoner(OWLReasonerFactory, OWLOntology, Parser, SelectedReasoner) - Constructor for class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: OWLAPILiteReasoner constructor
owlReasoner - Variable in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: OWLAPILiteReasoner instance

P

parser - Variable in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: Parser instance
Parser - Class in io.github.kodymoodley.owlapilite: Represents a Parser wrapper class for working with the Manchester OWL syntax.
print(OWLAxiom) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Prints an OWLAxiom object to console output
printExplanation(Set, int) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: prints a single explanation with a given integer id
printExplanation(Explanation, int) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: prints a single explanation with a given integer id
printOntology() - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Prints a grouped list of the main logical entities in the ontology to console (classes, properties, individuals, TBox, ABox, RBox etc.)
printOntologyStats() - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Prints OWLOntology metrics to console output e.g.
Provider - Class in io.github.kodymoodley.owlapilite: Represents a Provider class providing a default implementation for getting a short form, human-readable label for an entity with an IRI from an ontology.
Provider() - Constructor for class io.github.kodymoodley.owlapilite.Provider: Creates a new MyClass.

R

reasoner - Variable in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: the OWLReasoner object which is responsible for reasoning
reasonerFactory - Variable in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: OWLReasonerFactory instance
REASONERS - Static variable in class io.github.kodymoodley.owlapilite.SelectedReasoner: ArrayList of all OWL 2 reasoner selection instances which OWLAPI-Lite is able to use
removeAxiom(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Removes axiom from the currently selected ontology
removeAxiom(OWLAxiom) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Removes axiom from the currently selected ontology
removeAxioms(Set) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Removes a set of axioms from the currently selected ontology
removeClass(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Removes class name from the parser vocabulary and currently selected ontology
removeClasses(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Removes multiple class names from the parser vocabulary and currently selected ontology
removeDataProperties(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Removes multiple data properties from the parser vocabulary and currently selected ontology
removeDataProperty(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Removes a data property from the parser vocabulary and currently selected ontology
removeDProperties(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Alias for removeDataProperties method.
removeDProperty(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Alias for removeDataProperty method.
removeIndividual(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Removes individual name from the parser vocabulary and currently selected ontology
removeIndividuals(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Removes multiple individual names from the parser vocabulary and currently selected ontology
removeObjectProperties(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Removes multiple object properties from the parser vocabulary and currently selected ontology
removeObjectProperty(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Removes an object property from the parser vocabulary and currently selected ontology
removeOntology() - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Removes selected ontology from the current context (OWLAPILiteFactory instance)
removeOntology(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Removes an ontology from the current context (OWLAPILiteFactory instance)
removeOntology(OWLOntology) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Removes an ontology from the current context (OWLAPILiteFactory instance)
removeOProperties(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Alias for removeObjectProperties method.
removeOProperty(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Alias for removeObjectProperty method.
renderer - Static variable in class io.github.kodymoodley.owlapilite.Parser: a Manchester OWL Syntax renderer instance for rendering OWL entities in short form
resetOntology() - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Removes all axioms (logical and otherwise) from the ontology

S

saveOntology(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Saves the currently selected ontology to a local file in Manchester OWL syntax
selectedReasoner - Variable in class io.github.kodymoodley.owlapilite.OWLAPILiteReasoner: SelectedReasoner instance
SelectedReasoner - Class in io.github.kodymoodley.owlapilite: Represents a SelectedReasoner class that catalogues / enumerates metadata about OWL 2 reasoners which OWLAPI-Lite is able to interact with.
setFullIRIRendering(boolean) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Set the type of rendering for OWL entities whenever the client prints a class, property, axiom etc.
setNamespace(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Changes the namespace of current context.
setOntology(String) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Sets the currently selected (active) ontology to be the one denoted by the input IRI string
setOntology(OWLOntology) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Sets the currently selected (active) ontology to be the one denoted by the input OWLOntology reference
setOWLReasoner(SelectedReasoner) - Method in class io.github.kodymoodley.owlapilite.OWLAPILiteFactory: Set or initialise the OWLReasonerFactory implementation to use for this OWLAPILiteFactory instance, based on the reasoner selected
setString(String) - Method in class io.github.kodymoodley.owlapilite.Parser: Sets the working string for the parser

T

toString() - Method in class io.github.kodymoodley.owlapilite.SelectedReasoner: returns a string representation of the SelectedReasoner instance

A C D E G H I J L M O P R S T
All Classes and Interfaces|All Packages|Serialized Form