| Modifier and Type | Method and Description |
|---|---|
OWLOntology |
SingleExplanationGeneratorImpl.getOntology() |
OWLOntology |
SingleExplanationGenerator.getOntology()
Gets the ontology.
|
OWLOntology |
HSTExplanationGenerator.getOntology() |
| Constructor and Description |
|---|
BlackBoxExplanation(OWLOntology ontology,
OWLReasonerFactory reasonerFactory,
OWLReasoner reasoner)
Instantiates a new black box explanation.
|
BlackBoxExplanation(OWLOntology ontology,
OWLReasonerFactory reasonerFactory,
OWLReasoner reasoner,
int fastPruningWindowSize)
Instantiates a new black box explanation.
|
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.
|
SingleExplanationGeneratorImpl(OWLOntology ontology,
OWLReasonerFactory reasonerFactory,
OWLReasoner reasoner)
Instantiates a new single explanation generator impl.
|
| Modifier and Type | Method and Description |
|---|---|
static Set<OWLOntology> |
OntologyUtils.removeAxiom(OWLAxiom axiom,
Stream<OWLOntology> ontologies)
Removes an axiom from all the given ontologies that contains the axiom and returns those
ontologies.
|
| Modifier and Type | Method and Description |
|---|---|
static boolean |
OntologyUtils.containsUnreferencedEntity(OWLOntology ontology,
OWLClassExpression desc)
Determines if a class description contains any unreferenced entities with respect to the
ontology that contains the entailments which are being explained.
|
| 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.
|
static void |
OntologyUtils.addAxiom(OWLAxiom axiom,
Stream<OWLOntology> ontologies)
Add the axiom to all the given ontologies.
|
static Set<OWLOntology> |
OntologyUtils.removeAxiom(OWLAxiom axiom,
Stream<OWLOntology> ontologies)
Removes an axiom from all the given ontologies that contains the axiom and returns those
ontologies.
|
| Constructor and Description |
|---|
DefinitionTracker(OWLOntology ontology)
Instantiates a new definition tracker.
|
| Modifier and Type | Method and Description |
|---|---|
OWLOntology |
MacroExpansionGCIVisitor.createGCIOntology() |
OWLOntology |
MacroExpansionVisitor.expandAll() |
| Modifier and Type | Method and Description |
|---|---|
void |
AbstractMacroExpansionVisitor.rebuild(OWLOntology input) |
| Constructor and Description |
|---|
MacroExpansionGCIVisitor(OWLOntologyManager outputManager,
OWLOntology inputOntology,
boolean shouldAddExpansionMarker) |
MacroExpansionGCIVisitor(OWLOntology inputOntology,
OWLOntologyManager outputManager,
boolean preserveAnnotationsWhenExpanding) |
MacroExpansionVisitor(OWLOntology ontology) |
MacroExpansionVisitor(OWLOntology ontology,
boolean shouldAddExpansionMarker) |
MacroExpansionVisitor(OWLOntology ontology,
boolean shouldTransferAnnotations,
boolean shouldAddExpansionMarker) |
MacroExpansionVisitor(OWLOntology inputOntology,
Set<OWLAnnotation> extraAnnotations,
boolean shouldTransferAnnotations,
boolean shouldAddExpansionMarker) |
ManchesterSyntaxTool(OWLOntology inputOntology)
Create a new parser instance for the given ontology.
|
ManchesterSyntaxTool(OWLOntology inputOntology,
Collection<OWLOntology> auxiliaryOntologies)
Create a new parser instance for the given ontologies.
|
| Constructor and Description |
|---|
ManchesterSyntaxTool(OWLOntology inputOntology,
Collection<OWLOntology> auxiliaryOntologies)
Create a new parser instance for the given ontologies.
|
| Modifier and Type | Method and Description |
|---|---|
OWLOntology |
OWLAPIObo2Owl.convert(OBODoc doc)
Convert.
|
OWLOntology |
OWLAPIObo2Owl.convert(OBODoc doc,
OWLOntology in)
Convert.
|
OWLOntology |
OWLAPIObo2Owl.convert(String oboFile)
Creates an OBOFormatParser object to parse a file and then converts it using the convert
method.
|
| Modifier and Type | Method and Description |
|---|---|
static void |
OboInOwlCardinalityTools.checkAnnotationCardinality(OWLOntology ontology)
Check the annotations for cardinality violations.
|
static void |
OboInOwlCardinalityTools.checkAnnotationCardinality(OWLOntology ontology,
OboInOwlCardinalityTools.AnnotationCardinalityReporter reporter)
Check the annotations for cardinality violations.
|
static void |
OboInOwlCardinalityTools.checkAnnotationCardinality(OWLOntology ontology,
OboInOwlCardinalityTools.AnnotationCardinalityReporter reporter,
OboInOwlCardinalityTools.AnnotationCardinalityConfictHandler handler)
Check the annotations for cardinality violations.
|
OWLOntology |
OWLAPIObo2Owl.convert(OBODoc doc,
OWLOntology in)
Convert.
|
OBODoc |
OWLAPIOwl2Obo.convert(OWLOntology ont)
Convert.
|
static String |
OWLAPIOwl2Obo.getDataVersion(OWLOntology ontology)
Gets the data version.
|
static String |
OWLAPIOwl2Obo.getIdentifierFromObject(OWLObject obj,
OWLOntology ont)
Retrieve the identifier for a given
OWLObject. |
static String |
OWLAPIOwl2Obo.getIdentifierFromObject(OWLObject obj,
OWLOntology ont,
String defaultValue)
Retrieve the identifier for a given
OWLObject. |
static String |
OWLAPIOwl2Obo.getOntologyId(OWLOntology ontology)
E.g.
|
static void |
OwlStringTools.translate(String axioms,
OWLOntology o)
Parse the axioms from the given axiom string.
|
| Constructor and Description |
|---|
OWLOntologyNameProvider(OWLOntology ont,
String defaultOboNamespace,
OBODoc result) |
| Modifier and Type | Method and Description |
|---|---|
static OWLOntology |
OWLFunctionalSyntaxFactory.Ontology(OWLOntologyManager man,
OWLAxiom... axioms) |
| Modifier and Type | Method and Description |
|---|---|
SetOntologyID |
SetOntologyIDData.createOntologyChange(OWLOntology ontology) |
RemoveOntologyAnnotation |
RemoveOntologyAnnotationData.createOntologyChange(OWLOntology ontology) |
RemoveImport |
RemoveImportData.createOntologyChange(OWLOntology ontology) |
RemoveAxiom |
RemoveAxiomData.createOntologyChange(OWLOntology ontology) |
abstract OWLOntologyChange |
OWLOntologyChangeData.createOntologyChange(OWLOntology ontology)
Creates an
OWLOntologyChange object that pertains to the
specified ontology, which when applied to the specified ontology
enacts the change described by this info object. |
AddOntologyAnnotation |
AddOntologyAnnotationData.createOntologyChange(OWLOntology ontology) |
AddImport |
AddImportData.createOntologyChange(OWLOntology ontology) |
AddAxiom |
AddAxiomData.createOntologyChange(OWLOntology ontology) |
| Modifier and Type | Method and Description |
|---|---|
Stream<OWLDataPropertyRangeAxiom> |
CoerceConstantsIntoDataPropertyRange.datatypes(Collection<OWLOntology> ontologies) |
| Constructor and Description |
|---|
AddClassExpressionClosureAxiom(OWLDataFactory dataFactory,
OWLClass cls,
OWLObjectPropertyExpression property,
Collection<OWLOntology> ontologies,
OWLOntology targetOntology)
Creates a composite change that will add a closure axiom for a given
class along a specified property.
|
ConvertEquivalentClassesToSuperClasses(OWLDataFactory dataFactory,
OWLClass cls,
Collection<OWLOntology> ontologies,
OWLOntology targetOntology,
boolean splitIntersections)
Instantiates a new convert equivalent classes to super classes.
|
ConvertSuperClassesToEquivalentClass(OWLDataFactory dataFactory,
OWLClass cls,
Collection<OWLOntology> ontologies,
OWLOntology targetOntology)
Instantiates a new convert super classes to equivalent class.
|
CreateValuePartition(OWLDataFactory dataFactory,
OWLClass valuePartitionClass,
Collection<OWLClass> valuePartionClasses,
OWLObjectProperty valuePartitionProperty,
OWLOntology targetOntology)
Creates a composite change that will create a value partition.
|
MakeClassesMutuallyDisjoint(OWLDataFactory dataFactory,
Collection<? extends OWLClassExpression> classExpressions,
boolean usePairwiseDisjointAxioms,
OWLOntology targetOntology)
Creates a composite change which makes a set of classes mutually
disjoint.
|
MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory,
OWLClass cls,
OWLOntology targetOntology)
Instantiates a new make primitive sub classes mutually disjoint.
|
MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory,
OWLClass cls,
OWLOntology targetOntology,
boolean usePairwiseDisjointAxioms)
Instantiates a new make primitive sub classes mutually disjoint.
|
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 |
|---|
AddClassExpressionClosureAxiom(OWLDataFactory dataFactory,
OWLClass cls,
OWLObjectPropertyExpression property,
Collection<OWLOntology> ontologies,
OWLOntology targetOntology)
Creates a composite change that will add a closure axiom for a given
class along a specified property.
|
AmalgamateSubClassAxioms(OWLDataFactory dataFactory,
Collection<OWLOntology> ontologies)
Instantiates a new amalgamate sub class axioms.
|
CoerceConstantsIntoDataPropertyRange(OWLOntologyManager m,
Collection<OWLOntology> ontologies)
Instantiates a new coerce constants into data property range.
|
ConvertEquivalentClassesToSuperClasses(OWLDataFactory dataFactory,
OWLClass cls,
Collection<OWLOntology> ontologies,
OWLOntology targetOntology,
boolean splitIntersections)
Instantiates a new convert equivalent classes to super classes.
|
ConvertPropertyAssertionsToAnnotations(OWLDataFactory dataFactory,
Collection<OWLOntology> ontologies)
Instantiates a new convert property assertions to annotations.
|
ConvertSuperClassesToEquivalentClass(OWLDataFactory dataFactory,
OWLClass cls,
Collection<OWLOntology> ontologies,
OWLOntology targetOntology)
Instantiates a new convert super classes to equivalent class.
|
RemoveAllDisjointAxioms(OWLDataFactory dataFactory,
Collection<OWLOntology> ontologies)
Instantiates a new removes the all disjoint axioms.
|
SplitSubClassAxioms(Collection<OWLOntology> ontologies,
OWLDataFactory dataFactory)
Creates a composite change to split subclass axioms into multiple more fine grained subclass
axioms.
|
| Modifier and Type | Method and Description |
|---|---|
OWLOntology |
OWLDebugger.getOWLOntology()
Gets the ontology.
|
OWLOntology |
AbstractOWLDebugger.getOWLOntology() |
| 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 |
|---|---|
OWLDocumentFormat |
DLSyntaxOWLParser.parse(OWLOntologyDocumentSource source,
OWLOntology ontology,
OWLOntologyLoaderConfiguration config) |
| Modifier and Type | Method and Description |
|---|---|
void |
DLSyntaxObjectRenderer.visit(OWLOntology ontology) |
| Modifier and Type | Method and Description |
|---|---|
OWLOntology |
OWLOntologyChecker.getOntology(String name) |
| Modifier and Type | Method and Description |
|---|---|
OWLDocumentFormat |
OWLFunctionalSyntaxOWLParser.parse(OWLOntologyDocumentSource source,
OWLOntology ontology,
OWLOntologyLoaderConfiguration config) |
void |
FunctionalSyntaxForAxiomsOnlyParser.parse(OWLOntology o,
OWLOntologyLoaderConfiguration config,
String content) |
void |
OWLFunctionalSyntaxParser.setUp(OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration) |
| Modifier and Type | Method and Description |
|---|---|
void |
OWLFunctionalSyntaxRenderer.render(OWLOntology ontology,
PrintWriter writer) |
void |
FunctionalSyntaxObjectRenderer.visit(OWLOntology ontology) |
| Constructor and Description |
|---|
FunctionalSyntaxObjectRenderer(OWLOntology ontology,
Writer writer) |
| Modifier and Type | Method and Description |
|---|---|
default OWLDocumentFormat |
OWLParser.parse(IRI documentIRI,
OWLOntology ontology)
Parses the ontology with a concrete representation available at
documentIRI and adds
its axioms to ontology. |
OWLDocumentFormat |
OWLParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration)
Parses the ontology with a concrete representation in
documentSource and adds its
axioms to ontology. |
void |
OWLRenderer.render(OWLOntology ontology,
OutputStream os)
Renders the specified ontology to a concrete representation which should be written to the
specified output stream.
|
void |
AbstractOWLRenderer.render(OWLOntology ontology,
OutputStream os) |
abstract void |
AbstractOWLRenderer.render(OWLOntology ontology,
PrintWriter writer)
Renders the specified ontology using the specified writer.
|
| Modifier and Type | Method and Description |
|---|---|
OWLDocumentFormat |
KRSSOWLParser.parse(OWLOntologyDocumentSource source,
OWLOntology ontology,
OWLOntologyLoaderConfiguration config) |
KRSSParser |
KRSSParser.setOntology(OWLOntology ontology) |
| Modifier and Type | Method and Description |
|---|---|
OWLDocumentFormat |
KRSS2OWLParser.parse(OWLOntologyDocumentSource source,
OWLOntology ontology,
OWLOntologyLoaderConfiguration config) |
KRSS2Parser |
KRSS2Parser.setOntology(OWLOntology ontology) |
| Modifier and Type | Method and Description |
|---|---|
void |
KRSSSyntaxRenderer.render(OWLOntology ontology,
PrintWriter writer) |
void |
KRSS2SyntaxRenderer.render(OWLOntology ontology,
PrintWriter writer) |
void |
KRSS2OWLSyntaxRenderer.render(OWLOntology ontology,
PrintWriter writer) |
void |
KRSSObjectRenderer.visit(OWLOntology ontology) |
void |
KRSS2ObjectRenderer.visit(OWLOntology ontology) |
void |
KRSS2OWLObjectRenderer.visit(OWLOntology ontology) |
| Constructor and Description |
|---|
KRSS2ObjectRenderer(OWLOntology ontology,
Writer writer) |
KRSS2OWLObjectRenderer(OWLOntology ontology,
Writer writer) |
KRSSObjectRenderer(OWLOntology ontology,
Writer writer) |
| Modifier and Type | Method and Description |
|---|---|
void |
LatexRenderer.render(OWLOntology o,
PrintWriter _w) |
void |
LatexObjectVisitor.visit(OWLOntology ontology) |
| Modifier and Type | Method and Description |
|---|---|
OWLDocumentFormat |
ManchesterOWLSyntaxOntologyParser.parse(OWLOntologyDocumentSource source,
OWLOntology ontology,
OWLOntologyLoaderConfiguration config) |
ManchesterSyntaxDocumentFormat |
ManchesterOWLSyntaxParserImpl.parseOntology(OWLOntology ont) |
void |
ManchesterOWLSyntaxParserImpl.setDefaultOntology(OWLOntology defaultOntology) |
void |
ManchesterOWLSyntaxFramesParser.setDefaultOntology(OWLOntology ontology) |
| Modifier and Type | Method and Description |
|---|---|
void |
ManchesterOWLSyntaxRenderer.render(OWLOntology ontology,
PrintWriter writer) |
boolean |
RenderingDirector.renderEmptyFrameSection(ManchesterOWLSyntax frameSectionKeyword,
OWLOntology... ontologies) |
void |
ManchesterOWLSyntaxObjectRenderer.visit(OWLOntology ontology) |
| Constructor and Description |
|---|
ManchesterOWLSyntaxFrameRenderer(OWLOntology ontology,
Writer writer,
ShortFormProvider entityShortFormProvider)
Instantiates a new manchester owl syntax frame renderer.
|
ManchesterOWLSyntaxPrefixNameShortFormProvider(OWLOntology ont)
Constructs a short form provider that reuses any prefix name mappings
obtainable from the format of the specified ontology (the manager will be
asked for the ontology format of the specified ontology).
|
| Constructor and Description |
|---|
ManchesterOWLSyntaxFrameRenderer(Collection<OWLOntology> ontologies,
Writer writer,
ShortFormProvider entityShortFormProvider)
Instantiates a new manchester owl syntax frame renderer.
|
| Modifier and Type | Method and Description |
|---|---|
OWLOntology |
OWLMetric.getOntology()
Gets the ontology which the value of the metric should be based on.
|
OWLOntology |
AbstractOWLMetric.getOntology() |
| Modifier and Type | Method and Description |
|---|---|
Stream<OWLOntology> |
AbstractOWLMetric.getOntologies()
Gets the ontologies.
|
| Modifier and Type | Method and Description |
|---|---|
static Set<OWLMetric<?>> |
AxiomTypeCountMetricFactory.createMetrics(OWLOntology o)
Creates a new AxiomTypeCountMetric object.
|
void |
OWLMetricManager.setOntology(OWLOntology ontology) |
void |
OWLMetric.setOntology(OWLOntology ontology)
Sets the "root" ontology.
|
void |
AbstractOWLMetric.setOntology(OWLOntology ontology) |
| Constructor and Description |
|---|
AbstractOWLMetric(OWLOntology o)
Instantiates a new abstract owl metric.
|
AverageAssertedNamedSuperclassCount(OWLOntology o)
Instantiates a new average asserted named superclass count.
|
AxiomCount(OWLOntology o)
Instantiates a new axiom count.
|
AxiomCountMetric(OWLOntology o)
Instantiates a new axiom count metric.
|
AxiomTypeMetric(OWLOntology o,
AxiomType<?> axiomType)
Instantiates a new axiom type metric.
|
DLExpressivity(OWLOntology o) |
DoubleValuedMetric(OWLOntology o)
Instantiates a new double valued metric.
|
GCICount(OWLOntology o) |
HiddenGCICount(OWLOntology o) |
ImportClosureSize(OWLOntology o)
Instantiates a new import closure size.
|
LogicalAxiomCount(OWLOntology o)
Instantiates a new logical axiom count.
|
MaximumNumberOfNamedSuperclasses(OWLOntology o)
Instantiates a new maximum number of named superclasses.
|
NumberOfClassesWithMultipleInheritance(OWLOntology o)
Instantiates a new number of classes with multiple inheritance.
|
ObjectCountMetric(OWLOntology o)
Instantiates a new object count metric.
|
ReferencedClassCount(OWLOntology o)
Instantiates a new referenced class count.
|
ReferencedDataPropertyCount(OWLOntology o)
Instantiates a new referenced data property count.
|
ReferencedIndividualCount(OWLOntology o)
Instantiates a new referenced individual count.
|
ReferencedObjectPropertyCount(OWLOntology o)
Instantiates a new referenced object property count.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
OWLMutableOntology
Marker interface for ontologies where mutating actions must have an effect.
|
| Modifier and Type | Method and Description |
|---|---|
OWLOntology |
OWLOntologyManager.copyOntology(OWLOntology toCopy,
OntologyCopy settings)
Copy an ontology from another manager to this one.
|
default OWLOntology |
OWLOntologyManager.createOntology()
Creates a new (empty) ontology that does not have an ontology IRI (and therefore does not
have a version IRI).
|
default OWLOntology |
OWLOntologyManager.createOntology(Collection<OWLAxiom> axioms)
Creates a new ontology that is initialised to contain specific axioms.
|
default OWLOntology |
OWLOntologyManager.createOntology(Collection<OWLAxiom> axioms,
IRI ontologyIRI)
Creates a new ontology that has the specified ontology IRI and is initialised to contain
specific axioms.
|
default OWLOntology |
OWLOntologyManager.createOntology(IRI ontologyIRI)
Creates a new (empty) ontology that has the specified ontology IRI (and no version IRI).
|
default OWLOntology |
OWLOntologyManager.createOntology(IRI ontologyIRI,
Collection<OWLOntology> ontologies)
Creates a new ontology that has the specified ontology IRI and is initialised to contain the
axioms that are contained in the specified ontologies.
|
default OWLOntology |
OWLOntologyManager.createOntology(IRI ontologyIRI,
Collection<OWLOntology> ontologies,
boolean copyLogicalAxiomsOnly)
Creates a new ontology that has the specified ontology IRI and is initialised to contain the
axioms that are contained in the specified ontologies.
|
OWLOntology |
OWLOntologyManager.createOntology(IRI ontologyIRI,
Stream<OWLOntology> ontologies,
boolean copyLogicalAxiomsOnly)
Creates a new ontology that has the specified ontology IRI and is initialised to contain the
axioms that are contained in the specified ontologies.
|
OWLOntology |
OWLOntologyManager.createOntology(OWLOntologyID ontologyID)
Creates a new (empty) ontology that has the specified ontology ID.
|
default OWLOntology |
OWLOntologyManager.createOntology(Stream<OWLAxiom> axioms)
Creates a new ontology that is initialised to contain specific axioms.
|
OWLOntology |
OWLOntologyManager.createOntology(Stream<OWLAxiom> axioms,
IRI ontologyIRI)
Creates a new ontology that has the specified ontology IRI and is initialised to contain
specific axioms.
|
OWLOntology |
OWLOntologyBuilder.createOWLOntology(OWLOntologyManager manager,
OWLOntologyID ontologyID) |
OWLOntology |
OWLOntologyFactory.createOWLOntology(OWLOntologyManager manager,
OWLOntologyID ontologyID,
IRI documentIRI,
OWLOntologyFactory.OWLOntologyCreationHandler handler)
Creates an (empty) ontology.
|
OWLOntology |
OWLOntologyManager.getImportedOntology(OWLImportsDeclaration declaration)
Given an imports declaration, obtains the ontology that this import has been resolved to.
|
OWLOntology |
OWLOntologyChange.getOntology()
Gets the ontology that the change is/was applied to.
|
OWLOntology |
OWLOntologyManager.getOntology(IRI ontologyIRI)
Gets a previously loaded/created ontology that has the specified ontology IRI, regardless of
version IRI.
|
OWLOntology |
OWLOntologyManager.getOntology(OWLOntologyID ontologyID) |
OWLOntology |
HasGetOntologyById.getOntology(OWLOntologyID ontologyID)
Get a previously loaded/created ontology that has the specified ontology ID.
|
OWLOntology |
OWLOntologyManager.loadOntology(IRI ontologyIRI)
Loads an ontology that is assumed to have the specified
ontologyIRI as its IRI or
version IRI. |
default OWLOntology |
OWLOntologyManager.loadOntologyFromOntologyDocument(File file)
Loads an ontology from an ontology document contained in a local file.
|
default OWLOntology |
OWLOntologyManager.loadOntologyFromOntologyDocument(InputStream inputStream)
Loads an ontology from an ontology document obtained from an input stream.
|
default OWLOntology |
OWLOntologyManager.loadOntologyFromOntologyDocument(IRI documentIRI)
Loads an ontology from an ontology document specified by an IRI.
|
default OWLOntology |
OWLOntologyManager.loadOntologyFromOntologyDocument(OWLOntologyDocumentSource documentSource)
A convenience method that load an ontology from an input source.
|
OWLOntology |
OWLOntologyManager.loadOntologyFromOntologyDocument(OWLOntologyDocumentSource documentSource,
OWLOntologyLoaderConfiguration config)
A convenience method that load an ontology from an input source with specified configuration.
|
OWLOntology |
OWLOntologyFactory.loadOWLOntology(OWLOntologyManager manager,
OWLOntologyDocumentSource documentSource,
OWLOntologyFactory.OWLOntologyCreationHandler handler,
OWLOntologyLoaderConfiguration configuration)
Creates and loads an
OWLOntology. |
| Modifier and Type | Method and Description |
|---|---|
Stream<OWLOntology> |
HasDirectImports.directImports()
Stream of loaded ontologies that this ontology is related to via the directlyImports
relation.
|
Stream<OWLOntology> |
OWLOntologyManager.directImports(OWLOntology ontology)
Stream of loaded ontologies that the specified ontology is related to via the
directlyImports relation as defined in Section 3.4 of the OWL 2 Structural specification
|
default Set<OWLOntology> |
HasDirectImports.getDirectImports()
Gets the set of loaded ontologies that this ontology is related to via the
directlyImports relation.
|
default Set<OWLOntology> |
OWLOntologyManager.getDirectImports(OWLOntology ontology)
Gets the set of loaded ontologies that the specified ontology is related to via the
directlyImports relation as defined in Section 3.4 of the OWL 2 Structural specification
|
default Set<OWLOntology> |
OWLOntology.getImports()
Gets the set of loaded ontologies that this ontology is related to via the
transitive closure of the
directlyImports relation.
For example, if this ontology imports ontology B, and ontology B imports ontology C, then this method will return the set consisting of ontology B and ontology C. |
default Set<OWLOntology> |
OWLOntologyManager.getImports(OWLOntology ontology)
Gets the set of ontologies that are in the transitive closure of the directly imports
relation.
|
default Set<OWLOntology> |
HasImportsClosure.getImportsClosure()
Gets the set of loaded ontologies that this ontology is related to via the
reflexive transitive closure of the directlyImports relation as defined in Section
3.4 of the OWL 2 Structural Specification.
|
default Set<OWLOntology> |
OWLOntologyManager.getImportsClosure(OWLOntology ontology)
Gets the imports closure for the specified ontology.
|
default Set<OWLOntology> |
HasGetOntologies.getOntologies() |
default Set<OWLOntology> |
OWLOntologyManager.getOntologies(OWLAxiom axiom)
Gets the ontologies that are managed by this manager that contain the specified axiom.
|
List<OWLOntology> |
OWLOntologyManager.getSortedImportsClosure(OWLOntology ontology)
Gets the topologically ordered imports closure.
|
default Set<OWLOntology> |
OWLOntologyManager.getVersions(IRI ontology)
Deprecated.
|
Stream<OWLOntology> |
OWLOntology.imports()
Gets the stream of loaded ontologies that this ontology is related to via the
transitive closure of the
directlyImports relation.
For example, if this ontology imports ontology B, and ontology B imports ontology C, then this method will return the set consisting of ontology B and ontology C. |
Stream<OWLOntology> |
OWLOntologyManager.imports(OWLOntology ontology)
Gets the stream of ontologies that are in the transitive closure of the directly imports
relation.
|
Stream<OWLOntology> |
HasImportsClosure.importsClosure()
Gets the imports closure, including the root object.
|
Stream<OWLOntology> |
OWLOntologyManager.importsClosure(OWLOntology ontology)
Imports closure stream for the specified ontology.
|
Stream<OWLOntology> |
HasGetOntologies.ontologies() |
default Stream<OWLOntology> |
OWLOntologyManager.ontologies(OWLAxiom axiom)
Gets the ontologies that are managed by this manager that contain the specified axiom.
|
default Stream<OWLOntology> |
OWLOntologyManager.versions(IRI ontology)
Gets the versions (if any) of the ontology that have the specified IRI
|
| Modifier and Type | Method and Description |
|---|---|
ChangeApplied |
HasAddAxiom.addAxiom(OWLOntology ont,
OWLAxiom axiom)
A convenience method that adds a single axiom to an ontology.
|
default ChangeApplied |
HasAddAxioms.addAxioms(OWLOntology ont,
Collection<? extends OWLAxiom> axioms)
A convenience method that adds a collection of axioms to an ontology.
|
ChangeApplied |
HasAddAxioms.addAxioms(OWLOntology ont,
Stream<? extends OWLAxiom> axioms)
A convenience method that adds a stream of axioms to an ontology.
|
boolean |
OWLOntologyManager.contains(OWLOntology ontology) |
OWLOntology |
OWLOntologyManager.copyOntology(OWLOntology toCopy,
OntologyCopy settings)
Copy an ontology from another manager to this one.
|
Stream<OWLOntology> |
OWLOntologyManager.directImports(OWLOntology ontology)
Stream of loaded ontologies that the specified ontology is related to via the
directlyImports relation as defined in Section 3.4 of the OWL 2 Structural specification
|
default Set<OWLOntology> |
OWLOntologyManager.getDirectImports(OWLOntology ontology)
Gets the set of loaded ontologies that the specified ontology is related to via the
directlyImports relation as defined in Section 3.4 of the OWL 2 Structural specification
|
default Set<OWLOntology> |
OWLOntologyManager.getImports(OWLOntology ontology)
Gets the set of ontologies that are in the transitive closure of the directly imports
relation.
|
default Set<OWLOntology> |
OWLOntologyManager.getImportsClosure(OWLOntology ontology)
Gets the imports closure for the specified ontology.
|
default OWLDocumentFormat |
OWLOntologyManager.getNonnullOntologyFormat(OWLOntology ontology)
Gets the ontology format for the specified ontology, ensuring it is not null (an error is
thrown if the ontology has no format).
|
IRI |
OWLOntologyManager.getOntologyDocumentIRI(OWLOntology ontology)
Gets the document IRI for a given ontology.
|
OWLDocumentFormat |
OWLOntologyManager.getOntologyFormat(OWLOntology ontology)
Gets the ontology format for the specified ontology.
|
List<OWLOntology> |
OWLOntologyManager.getSortedImportsClosure(OWLOntology ontology)
Gets the topologically ordered imports closure.
|
Stream<OWLOntology> |
OWLOntologyManager.imports(OWLOntology ontology)
Gets the stream of ontologies that are in the transitive closure of the directly imports
relation.
|
Stream<OWLOntology> |
OWLOntologyManager.importsClosure(OWLOntology ontology)
Imports closure stream for the specified ontology.
|
static boolean |
OWLDocumentFormat.isMissingType(OWLEntity entity,
OWLOntology ontology)
Determines if a declaration axiom (type triple) needs to be added to the specified ontology
for the given entity.
|
void |
OWLOntologyFactory.OWLOntologyCreationHandler.ontologyCreated(OWLOntology ontology)
The factory calls this method as soon as it has created an ontology.
|
ChangeApplied |
HasRemoveAxiom.removeAxiom(OWLOntology ont,
OWLAxiom axiom)
Deprecated.
|
default ChangeApplied |
HasRemoveAxioms.removeAxioms(OWLOntology ont,
Collection<? extends OWLAxiom> axioms)
A convenience method that removes a set of axioms from an ontology.
|
ChangeApplied |
HasRemoveAxioms.removeAxioms(OWLOntology ont,
Stream<? extends OWLAxiom> axioms)
A convenience method that removes a set of axioms from an ontology.
|
default void |
OWLOntologyManager.removeOntology(OWLOntology ontology)
Attempts to remove an ontology.
|
default void |
OWLOntologyManager.saveOntology(OWLOntology ontology)
Saves the specified ontology.
|
default void |
OWLOntologyManager.saveOntology(OWLOntology ontology,
IRI documentIRI)
Saves the specified ontology, using the specified document IRI to determine where/how the
ontology should be saved.
|
default void |
OWLOntologyManager.saveOntology(OWLOntology ontology,
OutputStream outputStream)
Saves the specified ontology, to the specified output stream
|
default void |
OWLOntologyManager.saveOntology(OWLOntology ontology,
OWLDocumentFormat ontologyFormat)
Saves the specified ontology in the specified ontology format to its document URI.
|
void |
OWLOntologyManager.saveOntology(OWLOntology ontology,
OWLDocumentFormat ontologyFormat,
IRI documentIRI)
Saves the specified ontology to the specified document IRI in the specified ontology format.
|
default void |
OWLOntologyManager.saveOntology(OWLOntology ontology,
OWLDocumentFormat ontologyFormat,
OutputStream outputStream)
Saves the specified ontology to the specified output stream in the specified ontology format.
|
void |
OWLOntologyManager.saveOntology(OWLOntology ontology,
OWLDocumentFormat ontologyFormat,
OWLOntologyDocumentTarget documentTarget)
Saves the specified ontology to the specified output target in the specified ontology format.
|
default void |
OWLOntologyManager.saveOntology(OWLOntology ontology,
OWLOntologyDocumentTarget documentTarget)
Saves the specified ontology to the specified
OWLOntologyDocumentTarget. |
void |
OWLOntologyManager.setOntologyDocumentIRI(OWLOntology ontology,
IRI documentIRI)
Overrides the current document IRI for a given ontology.
|
void |
OWLOntologyManager.setOntologyFormat(OWLOntology ontology,
OWLDocumentFormat ontologyFormat)
Sets the format for the specified ontology.
|
void |
OWLOntologyFactory.OWLOntologyCreationHandler.setOntologyFormat(OWLOntology ontology,
OWLDocumentFormat format) |
void |
OWLStorer.storeOntology(OWLOntology ontology,
IRI documentIRI,
OWLDocumentFormat ontologyFormat)
Stores an ontology to the specified ontology document IRI in the
specified format.
|
void |
OWLStorer.storeOntology(OWLOntology ontology,
OWLOntologyDocumentTarget target,
OWLDocumentFormat format)
Stores an ontology to the specified target.
|
default O |
OWLNamedObjectVisitorEx.visit(OWLOntology ontology)
visit OWLOntology type
|
default void |
OWLNamedObjectVisitor.visit(OWLOntology ontology)
visit OWLOntology type
|
| Modifier and Type | Method and Description |
|---|---|
default OWLOntology |
OWLOntologyManager.createOntology(IRI ontologyIRI,
Collection<OWLOntology> ontologies)
Creates a new ontology that has the specified ontology IRI and is initialised to contain the
axioms that are contained in the specified ontologies.
|
default OWLOntology |
OWLOntologyManager.createOntology(IRI ontologyIRI,
Collection<OWLOntology> ontologies,
boolean copyLogicalAxiomsOnly)
Creates a new ontology that has the specified ontology IRI and is initialised to contain the
axioms that are contained in the specified ontologies.
|
OWLOntology |
OWLOntologyManager.createOntology(IRI ontologyIRI,
Stream<OWLOntology> ontologies,
boolean copyLogicalAxiomsOnly)
Creates a new ontology that has the specified ontology IRI and is initialised to contain the
axioms that are contained in the specified ontologies.
|
| Constructor and Description |
|---|
AddAxiom(OWLOntology ont,
OWLAxiom axiom) |
AddImport(OWLOntology ont,
OWLImportsDeclaration importDeclaration) |
AddOntologyAnnotation(OWLOntology ont,
OWLAnnotation annotation) |
AnnotationChange(OWLOntology ont,
OWLAnnotation annotation) |
ImportChange(OWLOntology ont,
OWLImportsDeclaration importDeclaration) |
OWLAxiomChange(OWLOntology ont,
OWLAxiom axiom) |
OWLOntologyChange(OWLOntology ont) |
RemoveAxiom(OWLOntology ont,
OWLAxiom axiom) |
RemoveImport(OWLOntology ont,
OWLImportsDeclaration importDeclaration) |
RemoveOntologyAnnotation(OWLOntology ont,
OWLAnnotation annotation) |
SetOntologyID(OWLOntology ont,
IRI ontologyIRI)
Creates a set ontology id change using the ontologyIRI, which will set
the ontology id to the new one.
|
SetOntologyID(OWLOntology ont,
OWLOntologyID ontologyID)
Creates a set ontology id change, which will set the ontology id to the
new one.
|
SpecificOntologyChangeBroadcastStrategy(OWLOntology ontology)
Constructs a change broadcast strategy which only causes changes that
have been applied to the specific ontology to be broadcast.
|
| Modifier and Type | Method and Description |
|---|---|
abstract Stream<OWLOntology> |
Imports.stream(HasImportsClosure o) |
| Modifier and Type | Method and Description |
|---|---|
abstract boolean |
AxiomAnnotations.contains(OWLOntology o,
OWLAxiom ax) |
| Modifier and Type | Method and Description |
|---|---|
OWLOntology |
OntologySegmenter.extractAsOntology(Set<OWLEntity> signature,
IRI iri)
Returns an ontology that is a segment of the ontology associated with this segmenter.
|
OWLOntology |
OntologySegmenter.extractAsOntology(Set<OWLEntity> signature,
IRI iri,
int superClassLevel,
int subClassLevel,
OWLReasoner reasoner)
Returns an ontology that is a segment of the ontology associated with this segmenter.
|
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 |
|---|
AtomicDecomposition(OWLOntology ontology)
Constructs the
AtomicDecomposition for the given axiom base based on the module
extraction an SyntacticLocalityModuleExtractor provides by using
LocalityClass.STAR. |
AtomicDecomposition(OWLOntology ontology,
Function<Stream<OWLAxiom>,? extends ModuleExtractor> function)
Constructs the
AtomicDecomposition for the given axiom base based on the module
extraction the ModuleExtractor the given Function supplies. |
| Modifier and Type | Method and Description |
|---|---|
OWLDocumentFormat |
OBOFormatOWLAPIParser.parse(OWLOntologyDocumentSource source,
OWLOntology in,
OWLOntologyLoaderConfiguration config) |
void |
OBOFormatRenderer.render(OWLOntology ontology,
OutputStream os) |
static void |
OBOFormatRenderer.render(OWLOntology ontology,
Writer writer,
OWLDocumentFormat format) |
| Modifier and Type | Method and Description |
|---|---|
OWLDocumentFormat |
OWLXMLParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration) |
| Modifier and Type | Method and Description |
|---|---|
void |
OWLXMLRenderer.render(OWLOntology ontology,
PrintWriter writer) |
static void |
OWLXMLRenderer.render(OWLOntology ontology,
PrintWriter writer,
OWLDocumentFormat format) |
void |
OWLXMLWriter.startDocument(OWLOntology ontology) |
void |
OWLXMLObjectRenderer.visit(OWLOntology ontology) |
| Constructor and Description |
|---|
OWLXMLWriter(PrintWriter writer,
OWLOntology ontology) |
| Modifier and Type | Method and Description |
|---|---|
OWLOntology |
OWLProfileViolation.getOntology() |
| Modifier and Type | Method and Description |
|---|---|
OWLProfileReport |
Profiles.checkOntology(OWLOntology ontology) |
OWLProfileReport |
OWLProfile.checkOntology(OWLOntology ontology)
Checks an ontology and its import closure to see if it is within this
profile.
|
OWLProfileReport |
OWL2RLProfile.checkOntology(OWLOntology ontology) |
OWLProfileReport |
OWL2QLProfile.checkOntology(OWLOntology ontology) |
OWLProfileReport |
OWL2Profile.checkOntology(OWLOntology ontology) |
OWLProfileReport |
OWL2ELProfile.checkOntology(OWLOntology ontology) |
OWLProfileReport |
OWL2DLProfile.checkOntology(OWLOntology ontology) |
default OWLProfileReport |
OWLProfile.checkOntologyClosureInProfiles(OWLOntology ontology,
Profiles... profiles)
Checks an ontology and its import closure to see if it is within the specified profiles.
|
List<OWLProfileViolation> |
OWLProfileReport.getViolations(OWLOntology o) |
void |
ProfileVisitor.visit(OWLOntology ontology) |
| Constructor and Description |
|---|
OWLProfileViolation(OWLOntology ontology,
OWLAxiom axiom,
Object o) |
| Constructor and Description |
|---|
OWLOntologyProfileWalker(Collection<OWLOntology> objects) |
OWLOntologyProfileWalker(Stream<OWLOntology> objects) |
| Modifier and Type | Method and Description |
|---|---|
OWLOntology |
UndeclaredEntityViolation.getOntology() |
| Modifier and Type | Method and Description |
|---|---|
static IRI |
AbsoluteIRIHelper.verifyAbsolute(IRI iri,
OWLDocumentFormat f,
OWLOntology o) |
| Constructor and Description |
|---|
RDFRendererBase(OWLOntology ontology) |
| Modifier and Type | Method and Description |
|---|---|
void |
AbstractTranslator.visit(OWLOntology ontology) |
| 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 |
|---|---|
OWLOntology |
OWLRDFConsumer.getOntology()
Gets the ontology.
|
| Modifier and Type | Method and Description |
|---|---|
OWLDocumentFormat |
RDFXMLParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration) |
| Constructor and Description |
|---|
OWLRDFConsumer(OWLOntology ontology,
AnonymousNodeChecker checker,
OWLOntologyLoaderConfiguration configuration) |
OWLRDFConsumer(OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration) |
| Constructor and Description |
|---|
OWLOntologyXMLNamespaceManager(OWLOntology ontology,
OWLDocumentFormat format) |
RDFXMLNamespaceManager(OWLOntology ontology,
OWLDocumentFormat format) |
RDFXMLRenderer(OWLOntology ontology,
PrintWriter w) |
RDFXMLRenderer(OWLOntology ontology,
PrintWriter w,
OWLDocumentFormat format) |
| Modifier and Type | Method and Description |
|---|---|
OWLDocumentFormat |
TurtleOntologyParser.parse(OWLOntologyDocumentSource source,
OWLOntology ontology,
OWLOntologyLoaderConfiguration config) |
| Constructor and Description |
|---|
OWLRDFConsumerAdapter(OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration) |
| Constructor and Description |
|---|
TurtleRenderer(OWLOntology ontology,
Writer writer,
OWLDocumentFormat format) |
| Modifier and Type | Method and Description |
|---|---|
OWLOntology |
OWLReasoner.getRootOntology()
Gets the "root" ontology that is loaded into this reasoner.
|
| Modifier and Type | Method and Description |
|---|---|
OWLReasoner |
OWLReasonerFactory.createNonBufferingReasoner(OWLOntology ontology)
Creates an OWLReasoner that reasons over the imports closure of the
specified ontology.
|
OWLReasoner |
OWLReasonerFactory.createNonBufferingReasoner(OWLOntology ontology,
OWLReasonerConfiguration config)
Creates an OWLReasoner that reasons over the imports closure of the
specified ontology.
|
OWLReasoner |
OWLReasonerFactory.createReasoner(OWLOntology ontology)
Creates a buffering reasoner that reasons over the imports closure of the
specified ontology.
|
OWLReasoner |
OWLReasonerFactory.createReasoner(OWLOntology ontology,
OWLReasonerConfiguration config)
Creates a buffering reasoner that reasons over the imports closure of the
specified ontology.
|
| Modifier and Type | Method and Description |
|---|---|
OWLOntology |
OWLReasonerBase.getRootOntology() |
| Modifier and Type | Method and Description |
|---|---|
OWLReasoner |
StructuralReasonerFactory.createNonBufferingReasoner(OWLOntology ontology) |
OWLReasoner |
StructuralReasonerFactory.createNonBufferingReasoner(OWLOntology ontology,
OWLReasonerConfiguration config) |
OWLReasoner |
StructuralReasonerFactory.createReasoner(OWLOntology ontology) |
OWLReasoner |
StructuralReasonerFactory.createReasoner(OWLOntology ontology,
OWLReasonerConfiguration config) |
| Constructor and Description |
|---|
StructuralReasoner(OWLOntology rootOntology,
OWLReasonerConfiguration configuration,
BufferingMode bufferingMode) |
| Modifier and Type | Method and Description |
|---|---|
static Stream<OWLAxiom> |
EntitySearcher.axiomsIgnoreAnnotations(OWLAxiom a,
OWLOntology ontology,
Imports imports)
Get matching axioms for a, ignoring annotations.
|
static boolean |
EntitySearcher.containsAxiom(OWLAxiom a,
OWLOntology ontology,
Imports imports)
Checks if the ontology contains axiom a, with or without imports closure.
|
static boolean |
EntitySearcher.containsAxiomIgnoreAnnotations(OWLAxiom a,
OWLOntology ontology,
boolean imports)
Checks if the ontology contains axiom a, with or without imports closure, ignoring annotations.
|
static Stream<OWLAnnotationAssertionAxiom> |
EntitySearcher.getAnnotationAssertionAxioms(OWLAnnotationSubject e,
OWLOntology ontology) |
static Stream<OWLAnnotationAssertionAxiom> |
EntitySearcher.getAnnotationAssertionAxioms(OWLEntity e,
OWLOntology ontology) |
static Stream<OWLAnnotation> |
EntitySearcher.getAnnotationObjects(OWLAnnotationSubject e,
OWLOntology ontology,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property; this
is restricted to the object of annotation assertion axioms.
|
static Stream<OWLAnnotation> |
EntitySearcher.getAnnotationObjects(OWLEntity e,
OWLOntology ontology)
Obtains the annotations on e; this is restricted to the object of annotation assertion
axioms.
|
static Stream<OWLAnnotation> |
EntitySearcher.getAnnotationObjects(OWLEntity e,
OWLOntology ontology,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property; this
is restricted to the object of annotation assertion axioms.
|
static Stream<OWLAnnotation> |
EntitySearcher.getAnnotations(OWLAnnotationSubject e,
OWLOntology ontology)
Gets the annotations for e.
|
static Stream<OWLAnnotation> |
EntitySearcher.getAnnotations(OWLAnnotationSubject e,
OWLOntology ontology,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property.
|
static Stream<OWLAnnotation> |
EntitySearcher.getAnnotations(OWLEntity e,
OWLOntology ontology)
Gets the annotations for e.
|
static Stream<OWLAnnotation> |
EntitySearcher.getAnnotations(OWLEntity e,
OWLOntology ontology,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property.
|
static Collection<OWLAxiom> |
EntitySearcher.getAxiomsIgnoreAnnotations(OWLAxiom a,
OWLOntology ontology,
Imports imports)
Get matching axioms for a, ignoring annotations.
|
static Stream<OWLLiteral> |
EntitySearcher.getDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> |
EntitySearcher.getDataPropertyValues(OWLIndividual i,
OWLOntology ontology) |
static Stream<OWLIndividual> |
EntitySearcher.getDifferentIndividuals(OWLIndividual e,
OWLOntology ontology)
Gets the individuals asserted to be different to e in the specified ontology.
|
static Stream<OWLClassExpression> |
EntitySearcher.getDisjointClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be disjoint with e by axioms in the specified
ontology.
|
static Stream<OWLAnnotationProperty> |
EntitySearcher.getDisjointProperties(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the annotation properties which have been asserted to be disjoint with e in the
specified ontology.
|
static Stream<OWLDataProperty> |
EntitySearcher.getDisjointProperties(OWLDataProperty e,
OWLOntology ontology)
Gets the data properties which have been asserted to be disjoint with e in the specified
ontology.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getDisjointProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the object properties which have been asserted to be disjoint with e in the specified
ontology.
|
static Stream<IRI> |
EntitySearcher.getDomains(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the asserted domains of e.
|
static Stream<OWLClassExpression> |
EntitySearcher.getDomains(OWLDataProperty e,
OWLOntology ontology)
Gets the asserted domains of e.
|
static Stream<OWLClassExpression> |
EntitySearcher.getDomains(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the asserted domains of e.
|
static Stream<OWLClassExpression> |
EntitySearcher.getEquivalentClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be equivalent with e by axioms in the specified
ontology.
|
static Stream<OWLAnnotationProperty> |
EntitySearcher.getEquivalentProperties(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the annotation properties which have been asserted to be equivalent with e by axioms in
the specified ontology.
|
static Stream<OWLDataPropertyExpression> |
EntitySearcher.getEquivalentProperties(OWLDataProperty e,
OWLOntology ontology)
Gets the data properties which have been asserted to be equivalent with e by axioms in the
specified ontology.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getEquivalentProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the object properties which have been asserted to be equivalent with e by axioms in the
specified ontology.
|
static Stream<OWLIndividual> |
EntitySearcher.getIndividuals(OWLClass e,
OWLOntology ontology)
Gets the individuals that have been asserted to be an instance of e by axioms in the
specified ontology.
|
static Stream<OWLIndividual> |
EntitySearcher.getInstances(OWLClassExpression e,
OWLOntology ontology) |
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getInverses(OWLObjectPropertyExpression e,
OWLOntology ontology) |
static Stream<OWLLiteral> |
EntitySearcher.getNegativeDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> |
EntitySearcher.getNegativeDataPropertyValues(OWLIndividual i,
OWLOntology ontology) |
static Stream<OWLIndividual> |
EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i,
OWLOntology ontology) |
static Stream<OWLIndividual> |
EntitySearcher.getObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
EntitySearcher.getObjectPropertyValues(OWLIndividual i,
OWLOntology ontology) |
static Stream<IRI> |
EntitySearcher.getRanges(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the ranges of e that have been asserted in the specified ontology.
|
static Stream<OWLDataRange> |
EntitySearcher.getRanges(OWLDataProperty e,
OWLOntology ontology)
Gets the ranges of e that have been asserted in the specified ontology.
|
static Stream<OWLClassExpression> |
EntitySearcher.getRanges(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the ranges of e that have been asserted in the specified ontology.
|
static Stream<OWLAxiom> |
EntitySearcher.getReferencingAxioms(OWLEntity e,
OWLOntology ontology)
Gets the axioms in the specified ontology that contain e in their signature.
|
static Stream<OWLAxiom> |
EntitySearcher.getReferencingAxioms(OWLEntity e,
OWLOntology ontology,
Imports includeImports)
Gets the axioms in the specified ontology and possibly its imports closure that contain e in
their signature.
|
static Stream<OWLIndividual> |
EntitySearcher.getSameIndividuals(OWLIndividual e,
OWLOntology ontology)
Gets the individuals asserted to be same as e in the specified ontology.
|
static Stream<OWLClassExpression> |
EntitySearcher.getSubClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be subclasses of e in the specified
ontology.
|
static Stream<OWLAnnotationProperty> |
EntitySearcher.getSubProperties(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Stream<OWLDataProperty> |
EntitySearcher.getSubProperties(OWLDataProperty e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getSubProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Stream<OWLClassExpression> |
EntitySearcher.getSuperClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be superclasses of e in the specified
ontology.
|
static Stream<OWLAnnotationProperty> |
EntitySearcher.getSuperProperties(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the annotation properties which are asserted to be super-properties of e in the
specified ontology.
|
static Stream<OWLDataProperty> |
EntitySearcher.getSuperProperties(OWLDataProperty e,
OWLOntology ontology)
Gets the data properties which are asserted to be super-properties of e in the specified
ontology.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getSuperProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the object property expressions (entities or inverses) which are asserted to be
super-properties of e in the specified ontology.
|
static Stream<OWLClassExpression> |
EntitySearcher.getTypes(OWLIndividual e,
OWLOntology ontology) |
static boolean |
EntitySearcher.hasDataPropertyValue(OWLIndividual i,
OWLDataPropertyExpression p,
OWLLiteral lit,
OWLOntology ontology) |
static boolean |
EntitySearcher.hasDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
OWLOntology ontology) |
static boolean |
EntitySearcher.hasNegativeDataPropertyValue(OWLIndividual i,
OWLDataPropertyExpression p,
OWLLiteral lit,
OWLOntology ontology) |
static boolean |
EntitySearcher.hasNegativeDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
OWLOntology ontology) |
static boolean |
EntitySearcher.hasNegativeObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
OWLOntology ontology) |
static boolean |
EntitySearcher.hasNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
static boolean |
EntitySearcher.hasObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
OWLOntology ontology) |
static boolean |
EntitySearcher.hasObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
static boolean |
EntitySearcher.isAsymmetric(OWLObjectPropertyExpression e,
OWLOntology ontology)
Checks if e is declared asymmetric in the ontology.
|
static boolean |
EntitySearcher.isDefined(OWLClass c,
OWLOntology ontology)
Checks if c is defined (is included in equivalent axioms) in the ontology.
|
static boolean |
EntitySearcher.isFunctional(OWLDataProperty e,
OWLOntology ontology)
Checks if e is declared functional in the ontology.
|
static boolean |
EntitySearcher.isFunctional(OWLObjectPropertyExpression e,
OWLOntology ontology)
Checks if e is declared functional in the ontology.
|
static boolean |
EntitySearcher.isInverseFunctional(OWLObjectPropertyExpression e,
OWLOntology ontology)
Checks if e is declared inverse functional in the ontology.
|
static boolean |
EntitySearcher.isIrreflexive(OWLObjectPropertyExpression e,
OWLOntology ontology)
Checks if e is declared irreflexive in the ontology.
|
static boolean |
EntitySearcher.isReflexive(OWLObjectPropertyExpression e,
OWLOntology ontology)
Checks if e is declared reflexive in the ontology.
|
static boolean |
EntitySearcher.isSymmetric(OWLObjectPropertyExpression e,
OWLOntology ontology)
Checks if e is declared symmetric in the ontology.
|
static boolean |
EntitySearcher.isTransitive(OWLObjectPropertyExpression e,
OWLOntology ontology)
Checks if e is declared transitive in the ontology.
|
| Modifier and Type | Method and Description |
|---|---|
static boolean |
EntitySearcher.containsAxiom(OWLAxiom a,
Stream<OWLOntology> ontologies,
Imports imports)
Checks if any of the ontologies contains axiom a, with or without imports closure.
|
static boolean |
EntitySearcher.containsAxiomIgnoreAnnotations(OWLAxiom a,
Stream<OWLOntology> ontologies,
boolean imports)
Checks if any of the ontologies contains axiom a, with or without imports closure.
|
static Stream<OWLAnnotation> |
EntitySearcher.getAnnotationObjects(OWLAnnotationSubject e,
Stream<OWLOntology> ontologies,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property; this
is restricted to the object of annotation assertion axioms.
|
static Stream<OWLAnnotation> |
EntitySearcher.getAnnotationObjects(OWLEntity e,
Stream<OWLOntology> ontologies,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property; this
is restricted to the object of annotation assertion axioms.
|
static Stream<OWLAnnotation> |
EntitySearcher.getAnnotations(OWLAnnotationSubject e,
Stream<OWLOntology> ontologies,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property.
|
static Stream<OWLAnnotation> |
EntitySearcher.getAnnotations(OWLEntity e,
Stream<OWLOntology> ontologies,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property.
|
static Stream<OWLLiteral> |
EntitySearcher.getDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
Stream<OWLOntology> ontologies) |
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> |
EntitySearcher.getDataPropertyValues(OWLIndividual i,
Stream<OWLOntology> ontologies) |
static Stream<OWLIndividual> |
EntitySearcher.getDifferentIndividuals(OWLIndividual e,
Stream<OWLOntology> ontologies)
Gets the individuals asserted to be different to e in the specified ontologies.
|
static Stream<OWLClassExpression> |
EntitySearcher.getDisjointClasses(OWLClass e,
Stream<OWLOntology> ontologies)
Gets the classes which have been asserted to be disjoint with e by axioms in the specified
ontologies.
|
static Stream<OWLAnnotationProperty> |
EntitySearcher.getDisjointProperties(OWLAnnotationProperty e,
Stream<OWLOntology> ontologies)
Gets the annotation properties which have been asserted to be disjoint with e in the
specified ontologies.
|
static Stream<OWLDataProperty> |
EntitySearcher.getDisjointProperties(OWLDataProperty e,
Stream<OWLOntology> ontologies)
Gets the data properties which have been asserted to be disjoint with e in the specified
ontologies.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getDisjointProperties(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Gets the object properties which have been asserted to be disjoint with e in the specified
ontologies.
|
static Stream<IRI> |
EntitySearcher.getDomains(OWLAnnotationProperty e,
Stream<OWLOntology> ontologies)
Gets the asserted domains of e by examining the axioms in the specified ontologies.
|
static Stream<OWLClassExpression> |
EntitySearcher.getDomains(OWLDataProperty e,
Stream<OWLOntology> ontologies)
Gets the asserted domains of e by examining the axioms in the specified ontologies.
|
static Stream<OWLClassExpression> |
EntitySearcher.getDomains(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Gets the asserted domains of e by examining the axioms in the specified ontologies.
|
static Stream<OWLClassExpression> |
EntitySearcher.getEquivalentClasses(OWLClass e,
Stream<OWLOntology> ontologies)
Gets the classes which have been asserted to be equivalent with e by axioms in the specified
ontologies.
|
static Stream<OWLAnnotationProperty> |
EntitySearcher.getEquivalentProperties(OWLAnnotationProperty e,
Stream<OWLOntology> ontologies)
Gets the annotation properties which have been asserted to be equivalent with e by axioms in
the specified ontologies.
|
static Stream<OWLDataPropertyExpression> |
EntitySearcher.getEquivalentProperties(OWLDataProperty e,
Stream<OWLOntology> ontologies)
Gets the data properties which have been asserted to be equivalent with e by axioms in the
specified ontologies.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getEquivalentProperties(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Gets the object properties which have been asserted to be equivalent with e by axioms in the
specified ontologies.
|
static Stream<OWLIndividual> |
EntitySearcher.getIndividuals(OWLClass e,
Stream<OWLOntology> ontologies)
Gets the individuals that have been asserted to be an instance of e by axioms in the
specified ontologies.
|
static Stream<OWLIndividual> |
EntitySearcher.getInstances(OWLClassExpression e,
Stream<OWLOntology> ontologies) |
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getInverses(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies) |
static Stream<OWLLiteral> |
EntitySearcher.getNegativeDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
Stream<OWLOntology> ontologies) |
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> |
EntitySearcher.getNegativeDataPropertyValues(OWLIndividual i,
Stream<OWLOntology> ontologies) |
static Stream<OWLIndividual> |
EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Stream<OWLOntology> ontologies) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i,
Stream<OWLOntology> ontologies) |
static Stream<OWLIndividual> |
EntitySearcher.getObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Stream<OWLOntology> ontologies) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
EntitySearcher.getObjectPropertyValues(OWLIndividual i,
Stream<OWLOntology> ontologies) |
static Stream<IRI> |
EntitySearcher.getRanges(OWLAnnotationProperty e,
Stream<OWLOntology> ontologies)
Gets the asserted ranges of e by examining the axioms in the specified ontologies.
|
static Stream<OWLDataRange> |
EntitySearcher.getRanges(OWLDataProperty e,
Stream<OWLOntology> ontologies)
Gets the asserted ranges of e by examining the axioms in the specified ontologies.
|
static Stream<OWLClassExpression> |
EntitySearcher.getRanges(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Gets the asserted ranges of e by examining the axioms in the specified ontologies.
|
static Stream<OWLIndividual> |
EntitySearcher.getSameIndividuals(OWLIndividual e,
Stream<OWLOntology> ontologies)
Gets the individuals asserted to be same as e in the specified ontologies.
|
static Stream<OWLClassExpression> |
EntitySearcher.getSubClasses(OWLClass e,
Stream<OWLOntology> ontologies)
Gets the classes which have been asserted to be subclasses of e in the specified
ontologies.
|
static Stream<OWLAnnotationProperty> |
EntitySearcher.getSubProperties(OWLAnnotationProperty e,
Stream<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of e in the specified ontologies.
|
static Stream<OWLDataProperty> |
EntitySearcher.getSubProperties(OWLDataProperty e,
Stream<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of e in the specified ontologies.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getSubProperties(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of e in the specified ontologies.
|
static Stream<OWLClassExpression> |
EntitySearcher.getSuperClasses(OWLClass e,
Stream<OWLOntology> ontologies)
Gets the classes which have been asserted to be superclasses of e in the specified
ontologies.
|
static Stream<OWLAnnotationProperty> |
EntitySearcher.getSuperProperties(OWLAnnotationProperty e,
Stream<OWLOntology> ontologies)
Gets the properties which are asserted to be super-properties of e in the specified ontologies.
|
static Stream<OWLDataProperty> |
EntitySearcher.getSuperProperties(OWLDataProperty e,
Stream<OWLOntology> ontologies)
Gets the properties which are asserted to be super-properties of e in the specified ontologies.
|
static Stream<OWLObjectPropertyExpression> |
EntitySearcher.getSuperProperties(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Gets the properties which are asserted to be super-properties of e in the specified ontologies.
|
static Stream<OWLClassExpression> |
EntitySearcher.getTypes(OWLIndividual e,
Stream<OWLOntology> ontologies) |
static boolean |
EntitySearcher.hasDataPropertyValue(OWLIndividual i,
OWLDataPropertyExpression p,
OWLLiteral lit,
Stream<OWLOntology> ontologies) |
static boolean |
EntitySearcher.hasDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
Stream<OWLOntology> ontologies) |
static boolean |
EntitySearcher.hasNegativeDataPropertyValue(OWLIndividual i,
OWLDataPropertyExpression p,
OWLLiteral lit,
Stream<OWLOntology> ontologies) |
static boolean |
EntitySearcher.hasNegativeDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
Stream<OWLOntology> ontologies) |
static boolean |
EntitySearcher.hasNegativeObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
Stream<OWLOntology> ontologies) |
static boolean |
EntitySearcher.hasNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Stream<OWLOntology> ontologies) |
static boolean |
EntitySearcher.hasObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
Stream<OWLOntology> ontologies) |
static boolean |
EntitySearcher.hasObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Stream<OWLOntology> ontologies) |
static boolean |
EntitySearcher.isAsymmetric(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Checks if e is declared asymmetric in a collection of ontologies.
|
static boolean |
EntitySearcher.isDefined(OWLClass c,
Stream<OWLOntology> ontologies)
Checks if c is defined (is included in equivalent axioms) in a collection of ontologies.
|
static boolean |
EntitySearcher.isFunctional(OWLDataProperty e,
Stream<OWLOntology> ontologies)
Checks if e is declared functional in a collection of ontologies.
|
static boolean |
EntitySearcher.isFunctional(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Checks if e is declared functional in a collection of ontologies.
|
static boolean |
EntitySearcher.isInverseFunctional(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Checks if e is declared inverse functional in a collection of ontologies.
|
static boolean |
EntitySearcher.isIrreflexive(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Checks if e is declared irreflexive in a collection of ontologies.
|
static boolean |
EntitySearcher.isReflexive(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Checks if e is declared reflexive in a collection of ontologies.
|
static boolean |
EntitySearcher.isSymmetric(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Checks if e is declared symmetric in a collection of ontologies.
|
static boolean |
EntitySearcher.isTransitive(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Checks if e is declared transitive in a collection of ontologies.
|
static Stream<IRI> |
Searcher.ontologiesIRIs(Stream<OWLOntology> ontologies)
Transform a collection of ontologies to a collection of IRIs of those ontologies.
|
| Modifier and Type | Method and Description |
|---|---|
OWLOntology |
OWLOntologyMerger.createMergedOntology(OWLOntologyManager ontologyManager,
IRI ontologyIRI) |
OWLOntology |
OWLOntologyWalkerVisitorEx.getCurrentOntology() |
OWLOntology |
OWLOntologyWalkerVisitor.getCurrentOntology() |
OWLOntology |
OntologyAxiomPair.getOntology() |
OWLOntology |
OWLObjectWalker.getOntology()
Gets the last ontology to be visited.
|
OWLOntology |
OWLObjectDuplicator.visit(OWLOntology ontology) |
OWLOntology |
OWLObjectDesharer.visit(OWLOntology ontology) |
| Modifier and Type | Method and Description |
|---|---|
Map<OWLOntology,Set<O>> |
ImportsStructureObjectSorter.getObjects()
Gets a map that maps ontologies to sets of associated objects.
|
Stream<OWLOntology> |
OWLOntologySingletonSetProvider.ontologies() |
Stream<OWLOntology> |
OWLOntologyImportsClosureSetProvider.ontologies() |
| Modifier and Type | Method and Description |
|---|---|
List<OWLOntologyChange> |
OWLObjectTransformer.change(OWLOntology ontology)
Create the required changes for this transformation to be applied to the input.
|
void |
InferredOntologyGenerator.fillOntology(OWLDataFactory df,
OWLOntology ontology)
Adds 'inferred axioms' to an ontology using the generators that have been registered with
this
InferredAxiomGenerator. |
List<OWLOntologyChange> |
OWLOntologyIRIChanger.getChanges(OWLOntology ontology,
IRI newIRI)
Changes the URI of the specified ontology to the new URI.
|
String |
OntologyIRIShortFormProvider.getShortForm(OWLOntology ont) |
Stream<O> |
ImportsStructureObjectSorter.ObjectSelector.objects(OWLOntology ontology) |
void |
OWLZipSaver.saveImportsClosure(OWLOntology root,
OutputStream out)
Save the root ontology as root in the index and its imports closure as companion ontologies.
|
void |
SimpleRendererDebug.setPrefixesFromOntologyFormat(OWLOntology ontology,
boolean processImportedOntologies)
Resets the short form provider and adds prefix name to prefix mappings based on the specified
ontology's format (if it is a prefix format) and possibly the ontologies in the imports
closure.
|
void |
SimpleRenderer.setPrefixesFromOntologyFormat(OWLOntology ontology,
boolean processImportedOntologies)
Resets the short form provider and adds prefix name to prefix mappings based on the specified
ontology's format (if it is a prefix format) and possibly the ontologies in the imports
closure.
|
void |
AbstractOWLStorer.storeOntology(OWLOntology ontology,
IRI documentIRI,
OWLDocumentFormat ontologyFormat) |
void |
AbstractOWLStorer.storeOntology(OWLOntology ontology,
OWLOntologyDocumentTarget target,
OWLDocumentFormat format) |
void |
StructureWalker.visit(OWLOntology ontology) |
void |
SimpleRendererDebug.visit(OWLOntology ontology) |
void |
SimpleRenderer.visit(OWLOntology ontology) |
OWLOntology |
OWLObjectDuplicator.visit(OWLOntology ontology) |
OWLOntology |
OWLObjectDesharer.visit(OWLOntology ontology) |
Collection<OWLObject> |
OWLObjectComponentCollector.visit(OWLOntology ontology) |
Collection<OWLEntity> |
OWLEntityCollector.visit(OWLOntology ontology) |
Collection<OWLClassExpression> |
OWLClassExpressionCollector.visit(OWLOntology ontology) |
void |
OWLAnonymousIndividualsWithMultipleOccurrences.visit(OWLOntology ontology) |
void |
OWLAnnotationPropertyTransformer.visit(OWLOntology ontology) |
Integer |
MaximumModalDepthFinder.visit(OWLOntology ontology) |
O |
DelegatingObjectVisitorEx.visit(OWLOntology ontology) |
| Modifier and Type | Method and Description |
|---|---|
String |
OWLZipSaver.catalogIndex(Collection<OWLOntology> roots,
Collection<OWLOntology> ontologies)
Prepare a catalog index; this method can be used as a
BiFunction
for OWLZipSaver.setIndex(BiFunction). |
String |
OWLZipSaver.catalogIndex(Collection<OWLOntology> roots,
Collection<OWLOntology> ontologies)
Prepare a catalog index; this method can be used as a
BiFunction
for OWLZipSaver.setIndex(BiFunction). |
static Collection<Set<OWLObjectPropertyExpression>> |
OWLObjectPropertyManager.getEquivalentObjectProperties(Stream<OWLOntology> ontologies) |
String |
OWLZipSaver.propertiesIndex(Collection<OWLOntology> roots,
Collection<OWLOntology> ontologies)
Prepare a properties index; this method can be used as a
BiFunction for OWLZipSaver.setIndex(BiFunction). |
String |
OWLZipSaver.propertiesIndex(Collection<OWLOntology> roots,
Collection<OWLOntology> ontologies)
Prepare a properties index; this method can be used as a
BiFunction for OWLZipSaver.setIndex(BiFunction). |
void |
OWLZipSaver.saveImportsClosures(Collection<OWLOntology> roots,
OutputStream out)
Save the root ontologies as root in the index and their imports closures as companion
ontologies.
|
void |
OWLZipSaver.saveOntologies(Collection<OWLOntology> roots,
Collection<OWLOntology> ontologies,
OutputStream out)
Save the ontologies in the index, marking as root the ontologies in the roots collection; the
other ontologies will be saved as companion ontologies.
|
void |
OWLZipSaver.saveOntologies(Collection<OWLOntology> roots,
Collection<OWLOntology> ontologies,
OutputStream out)
Save the ontologies in the index, marking as root the ontologies in the roots collection; the
other ontologies will be saved as companion ontologies.
|
void |
OWLZipSaver.saveOntologies(Collection<OWLOntology> ontologies,
OutputStream out)
Save the ontologies in the index and their content as companion ontologies; no ontology will
be marked as root.
|
void |
OWLZipSaver.setIndex(BiFunction<Collection<OWLOntology>,Collection<OWLOntology>,String> index) |
void |
OWLZipSaver.setIndex(BiFunction<Collection<OWLOntology>,Collection<OWLOntology>,String> index) |
static void |
OWLObjectPropertyManager.tarjan(Stream<OWLOntology> ontologies,
OWLObjectPropertyExpression prop,
int index,
Deque<OWLObjectPropertyExpression> stack,
Map<OWLObjectPropertyExpression,Integer> indexMap,
Map<OWLObjectPropertyExpression,Integer> lowlinkMap,
Set<Set<OWLObjectPropertyExpression>> result,
Set<OWLObjectPropertyExpression> processed,
Set<OWLObjectPropertyExpression> stackProps) |
String |
OWLZipSaver.yamlIndex(Collection<OWLOntology> roots,
Collection<OWLOntology> ontologies)
Prepare a yaml index; this method can be used as a
BiFunction for
OWLZipSaver.setIndex(BiFunction). |
String |
OWLZipSaver.yamlIndex(Collection<OWLOntology> roots,
Collection<OWLOntology> ontologies)
Prepare a yaml index; this method can be used as a
BiFunction for
OWLZipSaver.setIndex(BiFunction). |
| Constructor and Description |
|---|
ImportsStructureEntitySorter(OWLOntology ontology) |
ImportsStructureObjectSorter(OWLOntology ontology,
ImportsStructureObjectSorter.ObjectSelector<O> objectSelector)
Creates a sorter for the specified ontology, whose imports closure is
obtained with the specified manager, and for each ontology whose objects
are selected using the specified object selector.
|
OntologyAxiomPair(OWLOntology ontology,
OWLAxiom axiom) |
OWLEntityRemover(OWLOntology ontology)
Creates an entity remover, which will remove entities (axioms referring
to the entities from the specified ontologies).
|
OWLObjectPropertyManager(OWLOntology ont) |
OWLOntologyImportsClosureSetProvider(OWLOntologyManager manager,
OWLOntology rootOntology)
Constructs an
OWLOntologySetProvider which provides a set
containing the imports closure of a given ontology. |
OWLOntologySingletonSetProvider(OWLOntology ontology)
Constructs an
OWLOntologySingletonSetProvider which provides a
singleton set contain the specified ontology. |
| Constructor and Description |
|---|
BidirectionalShortFormProviderAdapter(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.
|
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.
|
DLExpressivityChecker(Collection<OWLOntology> ontologies) |
OWLEntityRemover(Collection<OWLOntology> ontologies)
Creates an entity remover, which will remove entities (axioms referring
to the entities from the specified ontologies).
|
OWLEntityRemover(Stream<OWLOntology> ontologies)
Creates an entity remover, which will remove entities (axioms referring
to the entities from the specified ontologies).
|
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) |
OWLOntologyWalker(Collection<OWLOntology> objects) |
SimpleRootClassChecker(Collection<OWLOntology> ontologies)
Creates a root class checker, which examines axioms contained in
ontologies from the specified set in order to determine if a class is a
syntactic subclass of owl:Thing.
|
| Modifier and Type | Method and Description |
|---|---|
ManchesterSyntaxDocumentFormat |
ManchesterOWLSyntaxParser.parseOntology(OWLOntology ont) |
void |
ManchesterOWLSyntaxParser.setDefaultOntology(OWLOntology defaultOntology) |
| Modifier and Type | Method and Description |
|---|---|
List<OWLOntologyChange> |
BuilderImportsDeclaration.applyChanges(OWLOntology o) |
List<OWLOntologyChange> |
Builder.applyChanges(OWLOntology o)
If the builder is constructing an axiom, this method will add the axiom
and all needed changes to make the ontology fit in the expected profile;
the changes will be returned but there is no need to apply them, as they
have already been applied.
|
List<OWLOntologyChange> |
BaseBuilder.applyChanges(OWLOntology o) |
| Modifier and Type | Method and Description |
|---|---|
static List<OWLAxiom> |
AxiomSelector.selectAxioms(OWLOntology o) |
static List<OWLAxiom> |
AxiomSelector.selectAxioms(OWLOntology o,
boolean excludeAssertions) |
| Constructor and Description |
|---|
AtomicDecompositionImpl(OWLOntology o) |
AtomicDecompositionImpl(OWLOntology o,
ModuleType type) |
AtomicDecompositionImpl(OWLOntology o,
ModuleType type,
boolean excludeAssertions) |
| Constructor and Description |
|---|
OntologyBasedModularizer(OWLOntology ontology,
ModuleMethod moduleMethod) |
| Modifier and Type | Class and Description |
|---|---|
class |
OWLImmutableOntologyImpl |
class |
OWLOntologyImpl |
| Modifier and Type | Method and Description |
|---|---|
Stream<OWLOntology> |
OWLImmutableOntologyImpl.directImports() |
Stream<OWLOntology> |
OWLOntologyManagerImpl.directImports(OWLOntology ontology) |
List<OWLOntology> |
OWLOntologyManagerImpl.getSortedImportsClosure(OWLOntology ontology) |
Stream<OWLOntology> |
OWLImmutableOntologyImpl.imports() |
Stream<OWLOntology> |
OWLOntologyManagerImpl.imports(OWLOntology ontology) |
Stream<OWLOntology> |
OWLImmutableOntologyImpl.importsClosure() |
Stream<OWLOntology> |
OWLOntologyManagerImpl.importsClosure(OWLOntology ontology) |
Stream<OWLOntology> |
OWLOntologyManagerImpl.ontologies() |
Stream<OWLOntology> |
OWLOntologyManagerImpl.ontologies(OWLAxiom axiom) |
Stream<OWLOntology> |
OWLOntologyManagerImpl.versions(IRI ontology) |
| Modifier and Type | Method and Description |
|---|---|
ChangeApplied |
OWLOntologyManagerImpl.addAxiom(OWLOntology ont,
OWLAxiom axiom) |
ChangeApplied |
OWLOntologyManagerImpl.addAxioms(OWLOntology ont,
Stream<? extends OWLAxiom> axioms) |
boolean |
OWLOntologyManagerImpl.contains(OWLOntology ontology) |
OWLOntology |
OWLOntologyManagerImpl.copyOntology(OWLOntology toCopy,
OntologyCopy settings) |
Stream<OWLOntology> |
OWLOntologyManagerImpl.directImports(OWLOntology ontology) |
IRI |
OWLOntologyManagerImpl.getOntologyDocumentIRI(OWLOntology ontology) |
OWLDocumentFormat |
OWLOntologyManagerImpl.getOntologyFormat(OWLOntology ontology) |
List<OWLOntology> |
OWLOntologyManagerImpl.getSortedImportsClosure(OWLOntology ontology) |
Stream<OWLOntology> |
OWLOntologyManagerImpl.imports(OWLOntology ontology) |
Stream<OWLOntology> |
OWLOntologyManagerImpl.importsClosure(OWLOntology ontology) |
void |
OWLOntologyManagerImpl.ontologyCreated(OWLOntology ontology) |
ChangeApplied |
OWLOntologyManagerImpl.removeAxiom(OWLOntology ont,
OWLAxiom axiom) |
ChangeApplied |
OWLOntologyManagerImpl.removeAxioms(OWLOntology ont,
Stream<? extends OWLAxiom> axioms) |
void |
OWLOntologyManagerImpl.removeOntology(OWLOntology ontology) |
void |
OWLOntologyManagerImpl.saveOntology(OWLOntology ontology) |
void |
OWLOntologyManagerImpl.saveOntology(OWLOntology ontology,
IRI documentIRI) |
void |
OWLOntologyManagerImpl.saveOntology(OWLOntology ontology,
OutputStream outputStream) |
void |
OWLOntologyManagerImpl.saveOntology(OWLOntology ontology,
OWLDocumentFormat ontologyFormat) |
void |
OWLOntologyManagerImpl.saveOntology(OWLOntology ontology,
OWLDocumentFormat ontologyFormat,
IRI documentIRI) |
void |
OWLOntologyManagerImpl.saveOntology(OWLOntology ontology,
OWLDocumentFormat ontologyFormat,
OutputStream outputStream) |
void |
OWLOntologyManagerImpl.saveOntology(OWLOntology ontology,
OWLDocumentFormat ontologyFormat,
OWLOntologyDocumentTarget documentTarget) |
void |
OWLOntologyManagerImpl.saveOntology(OWLOntology ontology,
OWLOntologyDocumentTarget documentTarget) |
void |
OWLOntologyManagerImpl.setOntologyDocumentIRI(OWLOntology ontology,
IRI documentIRI) |
void |
OWLOntologyManagerImpl.setOntologyFormat(OWLOntology ontology,
OWLDocumentFormat ontologyFormat) |
| Modifier and Type | Method and Description |
|---|---|
OWLOntology |
OWLOntologyManagerImpl.createOntology(IRI ontologyIRI,
Stream<OWLOntology> ontologies,
boolean copyLogicalAxiomsOnly) |
| Modifier and Type | Class and Description |
|---|---|
class |
ConcurrentOWLOntologyImpl
Matthew Horridge Stanford Center for Biomedical Informatics Research 03/04/15
|
| Modifier and Type | Method and Description |
|---|---|
OWLOntology |
NonConcurrentOWLOntologyBuilder.createOWLOntology(OWLOntologyManager manager,
OWLOntologyID ontologyID) |
OWLOntology |
ConcurrentOWLOntologyBuilder.createOWLOntology(OWLOntologyManager manager,
OWLOntologyID ontologyID) |
| Modifier and Type | Method and Description |
|---|---|
Stream<OWLOntology> |
ConcurrentOWLOntologyImpl.directImports() |
Set<OWLOntology> |
ConcurrentOWLOntologyImpl.getDirectImports() |
Set<OWLOntology> |
ConcurrentOWLOntologyImpl.getImports() |
Set<OWLOntology> |
ConcurrentOWLOntologyImpl.getImportsClosure() |
Stream<OWLOntology> |
ConcurrentOWLOntologyImpl.imports() |
Stream<OWLOntology> |
ConcurrentOWLOntologyImpl.importsClosure() |
| Constructor and Description |
|---|
ConcurrentOWLOntologyImpl(OWLOntology delegate,
ReadWriteLock readWriteLock)
Constructs a ConcurrentOWLOntology that provides concurrent access to a delegate
OWLOntology. |
| Modifier and Type | Method and Description |
|---|---|
OWLOntology |
SyntacticLocalityModuleExtractor.extractAsOntology(Set<OWLEntity> signature,
IRI iri) |
OWLOntology |
SyntacticLocalityModuleExtractor.extractAsOntology(Set<OWLEntity> signature,
IRI iri,
int superClassLevel,
int subClassLevel,
OWLReasoner reasoner) |
| Constructor and Description |
|---|
SyntacticLocalityModuleExtractor(OWLOntologyManager man,
OWLOntology ont,
ModuleType moduleType)
Creates a new module extractor for a given ontology, its manager, and a specified type of
locality.
|
Copyright © 2020 The University of Manchester. All rights reserved.