Modifier and Type | Method and Description |
---|---|
OWLOntologyManager |
SingleExplanationGeneratorImpl.getOntologyManager() |
OWLOntologyManager |
SingleExplanationGenerator.getOntologyManager()
Gets the ontology manager.
|
OWLOntologyManager |
HSTExplanationGenerator.getOntologyManager() |
Constructor and Description |
---|
DefaultExplanationGenerator(OWLOntologyManager man,
OWLReasonerFactory reasonerFactory,
OWLOntology ontology,
ExplanationProgressMonitor progressMonitor)
Instantiates a new default explanation generator.
|
DefaultExplanationGenerator(OWLOntologyManager man,
OWLReasonerFactory reasonerFactory,
OWLOntology ontology,
OWLReasoner reasoner,
ExplanationProgressMonitor progressMonitor)
Instantiates a new default explanation generator.
|
Modifier and Type | Method and Description |
---|---|
static void |
OntologyUtils.addAxiom(OWLAxiom axiom,
Set<OWLOntology> ontologies,
OWLOntologyManager manager)
Add the axiom to all the given ontologies.
|
Constructor and Description |
---|
SemanticLocalityEvaluator(OWLOntologyManager man,
OWLReasonerFactory reasonerFactory)
Instantiates a new semantic locality evaluator.
|
Constructor and Description |
---|
MacroExpansionGCIVisitor(OWLOntologyManager outputManager,
OWLOntology inputOntology,
boolean shouldAddExpansionMarker) |
MacroExpansionGCIVisitor(OWLOntology inputOntology,
OWLOntologyManager outputManager,
boolean preserveAnnotationsWhenExpanding) |
Modifier and Type | Method and Description |
---|---|
OWLOntologyManager |
OWLAPIOwl2Obo.getManager()
Gets the manager.
|
OWLOntologyManager |
OWLAPIObo2Owl.getManager()
Gets the manager.
|
Modifier and Type | Method and Description |
---|---|
static void |
OWLAPIObo2Owl.convertURL(String iri,
String outFile,
OWLOntologyManager manager)
Static convenience method which: (1) creates an Obo2Owl bridge object (2) parses an obo file
from a URL (3) converts that to an OWL ontology (4) saves the OWL ontology as RDF/XML.
|
static void |
OWLAPIObo2Owl.convertURL(String iri,
String outFile,
String defaultOnt,
OWLOntologyManager manager)
See.
|
void |
OWLAPIOwl2Obo.setManager(OWLOntologyManager manager)
Sets the manager.
|
void |
OWLAPIObo2Owl.setManager(OWLOntologyManager manager)
Sets the manager.
|
static String |
OwlStringTools.translate(Collection<OWLAxiom> axioms,
OWLOntologyManager translationManager)
Deprecated.
|
static Collection<OWLAxiom> |
OwlStringTools.translate(String axioms,
OWLOntologyManager translationManager)
Parse the axioms from the given axiom string.
|
Constructor and Description |
---|
OWLAPIObo2Owl(OWLOntologyManager manager) |
OWLAPIOwl2Obo(OWLOntologyManager translationManager) |
Modifier and Type | Method and Description |
---|---|
static OWLOntologyManager |
OWLManager.createConcurrentOWLOntologyManager()
Creates an OWL ontology manager that is configured with the standard parsers and storers and
provides locking for concurrent access.
|
static OWLOntologyManager |
OWLManager.createOWLOntologyManager()
Creates an OWL ontology manager that is configured with standard parsers, storers etc.
|
OWLOntologyManager |
OWLManager.get() |
Modifier and Type | Method and Description |
---|---|
static OWLOntology |
OWLFunctionalSyntaxFactory.Ontology(OWLOntologyManager man,
OWLAxiom... axioms) |
Modifier and Type | Method and Description |
---|---|
OWLOntologyChange |
OWLOntologyChangeRecord.createOntologyChange(OWLOntologyManager manager)
Creates an
OWLOntologyChange from the OWLOntologyID and
OWLOntologyChangeData associated with this OWLOntologyChangeRecord object. |
Constructor and Description |
---|
CoerceConstantsIntoDataPropertyRange(OWLOntologyManager m,
Collection<OWLOntology> ontologies)
Instantiates a new coerce constants into data property range.
|
ShortForm2AnnotationGenerator(OWLDataFactory df,
OWLOntologyManager ontologyManager,
OWLOntology ontology,
ShortFormProvider shortFormProvider,
IRI annotationIRI)
Instantiates a new short form2 annotation generator.
|
ShortForm2AnnotationGenerator(OWLDataFactory df,
OWLOntologyManager ontologyManager,
OWLOntology ontology,
ShortFormProvider shortFormProvider,
IRI annotationIRI,
String languageTag)
Instantiates a new short form2 annotation generator.
|
Constructor and Description |
---|
BlackBoxOWLDebugger(OWLOntologyManager owlOntologyManager,
OWLOntology ontology,
OWLReasonerFactory reasonerFactory)
Instantiates a new black box owl debugger.
|
BlackBoxOWLDebugger(OWLOntologyManager owlOntologyManager,
OWLOntology ontology,
OWLReasonerFactory reasonerFactory,
int fastPruningWindowSize)
Instantiates a new black box owl debugger.
|
Modifier and Type | Method and Description |
---|---|
OWLOntologyManager |
OWLMetric.getManager()
Gets the ontology manager which, amongst other things can be used to obtain the imports
closure of the current ontology.
|
OWLOntologyManager |
AbstractOWLMetric.getManager() |
Modifier and Type | Method and Description |
---|---|
OWLOntologyManager |
OWLOntologyManagerFactory.get()
Creates a new ontology manager.
|
OWLOntologyManager |
OWLOntology.getOWLOntologyManager()
Gets the manager that manages this ontology.
|
Modifier and Type | Method and Description |
---|---|
OWLOntology |
OWLOntologyBuilder.createOWLOntology(OWLOntologyManager manager,
OWLOntologyID ontologyID) |
OWLOntology |
OWLOntologyFactory.createOWLOntology(OWLOntologyManager manager,
OWLOntologyID ontologyID,
IRI documentIRI,
OWLOntologyFactory.OWLOntologyCreationHandler handler)
Creates an (empty) ontology.
|
OWLOntology |
OWLOntologyFactory.loadOWLOntology(OWLOntologyManager manager,
OWLOntologyDocumentSource documentSource,
OWLOntologyFactory.OWLOntologyCreationHandler handler,
OWLOntologyLoaderConfiguration configuration)
Creates and loads an
OWLOntology . |
void |
OWLOntology.setOWLOntologyManager(OWLOntologyManager manager)
Sets the manager for this ontology.
|
Modifier and Type | Method and Description |
---|---|
default OWLOntology |
ModuleExtractor.extractAsOntology(Stream<OWLEntity> signature,
OWLOntologyManager ontologyManager,
IRI ontologyIRI)
Extracts a module as an
OWLOntology with respect to the given signature over the
given axiom base. |
Constructor and Description |
---|
SemanticLocalityEvaluator(LocalityClass localityClass,
OWLOntologyManager ontologyManager,
OWLReasonerFactory reasonerFactory)
Instantiates a new
SemanticLocalityEvaluator |
SemanticLocalityModuleExtractor(LocalityClass localityClass,
Stream<OWLAxiom> axiomBase,
OWLOntologyManager ontologyManager,
OWLReasonerFactory reasonerFactory)
Instantiates a new
SemanticLocalityEvaluator . |
Constructor and Description |
---|
AbstractTranslator(OWLOntologyManager manager,
OWLOntology ontology,
OWLDocumentFormat format,
boolean useStrongTyping,
IndividualAppearance multiple,
Set<OWLAxiom> translatedAxioms) |
RDFTranslator(OWLOntologyManager manager,
OWLOntology ontology,
OWLDocumentFormat format,
boolean useStrongTyping,
IndividualAppearance occurrences,
AxiomAppearance axiomOccurrences,
AtomicInteger counter,
Map<Object,Integer> blankNodeMap,
Set<OWLAxiom> translatedAxioms) |
Modifier and Type | Method and Description |
---|---|
OWLOntologyManager |
OWLRDFConsumer.getOWLOntologyManager() |
Modifier and Type | Method and Description |
---|---|
OWLOntology |
OWLOntologyMerger.createMergedOntology(OWLOntologyManager ontologyManager,
IRI ontologyIRI) |
Constructor and Description |
---|
BidirectionalShortFormProviderAdapter(OWLOntologyManager man,
Collection<OWLOntology> ontologies,
ShortFormProvider shortFormProvider)
Creates a BidirectionalShortFormProvider that maps between the entities that are referenced
in the specified ontologies and the short forms of these entities.
|
OWLEntityRenamer(OWLOntologyManager owlOntologyManager,
Collection<OWLOntology> ontologies) |
OWLEntityURIConverter(OWLOntologyManager manager,
Collection<OWLOntology> ontologies,
OWLEntityURIConverterStrategy strategy)
Creates a converter that will convert the URIs of entities in the specified ontologies using
the specified conversion strategy.
|
OWLLiteralReplacer(OWLOntologyManager owlOntologyManager,
Set<OWLOntology> ontologies) |
OWLObjectDesharer(OWLOntologyManager m)
Creates an object duplicator that duplicates objects using the specified data factory and uri
replacement map.
|
OWLObjectDuplicator(Map<OWLEntity,IRI> entityIRIReplacementMap,
Map<OWLLiteral,OWLLiteral> literals,
OWLOntologyManager m)
Creates an object duplicator that duplicates objects using the specified data factory and uri
replacement map.
|
OWLObjectDuplicator(Map<OWLEntity,IRI> entityIRIReplacementMap,
Map<OWLLiteral,OWLLiteral> literals,
OWLOntologyManager m,
RemappingIndividualProvider anonProvider)
Creates an object duplicator that duplicates objects using the specified data factory and uri
replacement map.
|
OWLObjectDuplicator(Map<OWLEntity,IRI> entityIRIReplacementMap,
OWLOntologyManager m)
Creates an object duplicator that duplicates objects using the specified data factory and uri
replacement map.
|
OWLObjectDuplicator(OWLOntologyManager m)
Creates an object duplicator that duplicates objects using the specified data factory.
|
OWLObjectDuplicator(OWLOntologyManager m,
Map<IRI,IRI> iriReplacementMap)
Creates an object duplicator that duplicates objects using the specified data factory and uri
replacement map.
|
OWLObjectDuplicator(OWLOntologyManager m,
Map<IRI,IRI> iriReplacementMap,
RemappingIndividualProvider anonProvider)
Creates an object duplicator that duplicates objects using the specified data factory and uri
replacement map.
|
OWLOntologyImportsClosureSetProvider(OWLOntologyManager manager,
OWLOntology rootOntology)
Constructs an
OWLOntologySetProvider which provides a set
containing the imports closure of a given ontology. |
OWLOntologyIRIChanger(OWLOntologyManager owlOntologyManager) |
Constructor and Description |
---|
SemanticLocalityChecker(OWLReasonerFactory f,
OWLOntologyManager m) |
Constructor and Description |
---|
ExplanationOrdererImpl(OWLOntologyManager m)
Instantiates a new explanation orderer impl.
|
Modifier and Type | Class and Description |
---|---|
class |
OWLOntologyManagerImpl |
Modifier and Type | Method and Description |
---|---|
OWLOntologyManager |
OWLImmutableOntologyImpl.getOWLOntologyManager() |
Modifier and Type | Method and Description |
---|---|
OWLOntology |
OWLOntologyFactoryImpl.createOWLOntology(OWLOntologyManager manager,
OWLOntologyID ontologyID,
IRI documentIRI,
OWLOntologyFactory.OWLOntologyCreationHandler handler) |
OWLOntology |
OWLOntologyFactoryImpl.loadOWLOntology(OWLOntologyManager manager,
OWLOntologyDocumentSource documentSource,
OWLOntologyFactory.OWLOntologyCreationHandler handler,
OWLOntologyLoaderConfiguration configuration) |
void |
OWLImmutableOntologyImpl.setOWLOntologyManager(OWLOntologyManager manager) |
Constructor and Description |
---|
OWLImmutableOntologyImpl(OWLOntologyManager manager,
OWLOntologyID ontologyID) |
OWLOntologyImpl(OWLOntologyManager manager,
OWLOntologyID ontologyID) |
Modifier and Type | Method and Description |
---|---|
OWLOntologyManager |
ConcurrentOWLOntologyImpl.getOWLOntologyManager() |
Modifier and Type | Method and Description |
---|---|
OWLOntology |
NonConcurrentOWLOntologyBuilder.createOWLOntology(OWLOntologyManager manager,
OWLOntologyID ontologyID) |
OWLOntology |
ConcurrentOWLOntologyBuilder.createOWLOntology(OWLOntologyManager manager,
OWLOntologyID ontologyID) |
void |
ConcurrentOWLOntologyImpl.setOWLOntologyManager(OWLOntologyManager owlOntologyManager) |
Constructor and Description |
---|
SyntacticLocalityModuleExtractor(OWLOntologyManager man,
OWLOntologyLoaderConfiguration config,
Stream<OWLAxiom> axs,
ModuleType moduleType,
boolean excludeAssertions)
Creates a new module extractor for a subset of a given ontology, its manager, and a specified
type of locality.
|
SyntacticLocalityModuleExtractor(OWLOntologyManager man,
OWLOntology ont,
ModuleType moduleType)
Creates a new module extractor for a given ontology, its manager, and a specified type of
locality.
|
SyntacticLocalityModuleExtractor(OWLOntologyManager man,
Stream<OWLAxiom> axs,
ModuleType moduleType)
Creates a new module extractor for a subset of a given ontology, its manager, and a specified
type of locality.
|
SyntacticLocalityModuleExtractor(OWLOntologyManager man,
Stream<OWLAxiom> axs,
ModuleType moduleType,
boolean excludeAssertions)
Creates a new module extractor for a subset of a given ontology, its manager, and a specified
type of locality.
|
Copyright © 2020 The University of Manchester. All rights reserved.