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,
Set<OWLOntology> ontologies,
OWLOntologyManager manager)
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 Set<OWLOntology> |
OntologyUtils.removeAxiom(OWLAxiom axiom,
Set<OWLOntology> ontologies,
OWLOntologyManager manager)
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() |
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.
|
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) |
Constructor and Description |
---|
AddClassExpressionClosureAxiom(OWLDataFactory dataFactory,
OWLClass cls,
OWLObjectPropertyExpression property,
Set<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,
Set<OWLOntology> ontologies,
OWLOntology targetOntology,
boolean splitIntersections)
Instantiates a new convert equivalent classes to super classes.
|
ConvertSuperClassesToEquivalentClass(OWLDataFactory dataFactory,
OWLClass cls,
Set<OWLOntology> ontologies,
OWLOntology targetOntology)
Instantiates a new convert super classes to equivalent class.
|
CreateValuePartition(OWLDataFactory dataFactory,
OWLClass valuePartitionClass,
Set<OWLClass> valuePartionClasses,
OWLObjectProperty valuePartitionProperty,
OWLOntology targetOntology)
Creates a composite change that will create a value partition.
|
MakeClassesMutuallyDisjoint(OWLDataFactory dataFactory,
Set<? 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,
Set<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,
Set<OWLOntology> ontologies)
Instantiates a new amalgamate sub class axioms.
|
CoerceConstantsIntoDataPropertyRange(OWLDataFactory dataFactory,
Set<OWLOntology> ontologies)
Instantiates a new coerce constants into data property range.
|
ConvertEquivalentClassesToSuperClasses(OWLDataFactory dataFactory,
OWLClass cls,
Set<OWLOntology> ontologies,
OWLOntology targetOntology,
boolean splitIntersections)
Instantiates a new convert equivalent classes to super classes.
|
ConvertPropertyAssertionsToAnnotations(OWLDataFactory dataFactory,
Set<OWLOntology> ontologies)
Instantiates a new convert property assertions to annotations.
|
ConvertSuperClassesToEquivalentClass(OWLDataFactory dataFactory,
OWLClass cls,
Set<OWLOntology> ontologies,
OWLOntology targetOntology)
Instantiates a new convert super classes to equivalent class.
|
RemoveAllDisjointAxioms(OWLDataFactory dataFactory,
Set<OWLOntology> ontologies)
Instantiates a new removes the all disjoint axioms.
|
SplitSubClassAxioms(Set<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() |
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 documentSource,
OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration) |
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 documentSource,
OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration) |
void |
OWLFunctionalSyntaxParser.setUp(OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration) |
Modifier and Type | Method and Description |
---|---|
void |
OWLFunctionalSyntaxRenderer.render(OWLOntology ontology,
Writer writer) |
void |
FunctionalSyntaxObjectRenderer.visit(OWLOntology ontology) |
Constructor and Description |
---|
FunctionalSyntaxObjectRenderer(OWLOntology ontology,
Writer writer) |
Modifier and Type | Method and Description |
---|---|
OWLDocumentFormat |
OWLParser.parse(IRI documentIRI,
OWLOntology ontology)
Parses the ontology with a concrete representation available at
documentIRI and adds
its axioms to ontology . |
OWLDocumentFormat |
AbstractOWLParser.parse(IRI documentIRI,
OWLOntology 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,
Writer writer)
Renders the specified ontology using the specified writer.
|
Modifier and Type | Method and Description |
---|---|
OWLDocumentFormat |
KRSSOWLParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration) |
Modifier and Type | Method and Description |
---|---|
OWLDocumentFormat |
KRSS2OWLParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration) |
Modifier and Type | Method and Description |
---|---|
void |
KRSSSyntaxRenderer.render(OWLOntology ontology,
Writer writer) |
void |
KRSS2SyntaxRenderer.render(OWLOntology ontology,
Writer writer) |
void |
KRSS2OWLSyntaxRenderer.render(OWLOntology ontology,
Writer writer) |
void |
KRSSObjectRenderer.visit(OWLOntology ontology) |
void |
KRSS2ObjectRenderer.visit(OWLOntology ontology) |
void |
KRSS2OWLObjectRenderer.visit(OWLOntology ontology) |
Constructor and Description |
---|
KRSS2ObjectRenderer(OWLOntology ontology,
Writer writer) |
KRSSObjectRenderer(OWLOntology ontology,
Writer writer) |
Modifier and Type | Method and Description |
---|---|
void |
LatexRenderer.render(OWLOntology ontology,
Writer writer) |
void |
LatexObjectVisitor.visit(OWLOntology ontology) |
Modifier and Type | Method and Description |
---|---|
OWLDocumentFormat |
ManchesterOWLSyntaxOntologyParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration) |
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,
Writer writer) |
boolean |
RenderingDirector.renderEmptyFrameSection(ManchesterOWLSyntax frameSectionKeyword,
OWLOntology... ontologies) |
void |
ManchesterOWLSyntaxObjectRenderer.visit(OWLOntology ontology) |
void |
ManchesterOWLSyntaxFrameRenderer.writeOntologyHeader(OWLOntology ontology)
Write ontology header.
|
void |
ManchesterOWLSyntaxFrameRenderer.writeSection(ManchesterOWLSyntax keyword,
Collection<?> content,
String delimiter,
boolean newline,
OWLOntology... ontologiesList)
Write section.
|
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(Set<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 |
---|---|
Set<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 |
Modifier and Type | Method and Description |
---|---|
OWLOntology |
OWLOntologyManager.copyOntology(OWLOntology toCopy,
OntologyCopy settings)
Copy an ontology from another manager to this one.
|
OWLOntology |
OWLOntologyManager.createOntology()
Creates a new (empty) ontology that does not have an ontology IRI (and therefore does not
have a version IRI).
|
OWLOntology |
OWLOntologyManager.createOntology(IRI ontologyIRI)
Creates a new (empty) ontology that has the specified ontology IRI (and no version IRI).
|
OWLOntology |
OWLOntologyManager.createOntology(IRI ontologyIRI,
Set<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.
|
OWLOntology |
OWLOntologyManager.createOntology(IRI ontologyIRI,
Set<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.
|
OWLOntology |
OWLOntologyManager.createOntology(Set<OWLAxiom> axioms)
Creates a new ontology that is initialised to contain specific axioms.
|
OWLOntology |
OWLOntologyManager.createOntology(Set<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. |
OWLOntology |
OWLOntologyManager.loadOntologyFromOntologyDocument(File file)
Loads an ontology from an ontology document contained in a local file.
|
OWLOntology |
OWLOntologyManager.loadOntologyFromOntologyDocument(InputStream inputStream)
Loads an ontology from an ontology document obtained from an input stream.
|
OWLOntology |
OWLOntologyManager.loadOntologyFromOntologyDocument(IRI documentIRI)
Loads an ontology from an ontology document specified by an IRI.
|
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 |
---|---|
Set<OWLOntology> |
OWLOntology.getDirectImports()
Gets the set of loaded ontologies that this ontology is related to via the
directlyImports relation.
|
Set<OWLOntology> |
HasDirectImports.getDirectImports()
Gets the direct set of imported ontologies.
|
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
|
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. |
Set<OWLOntology> |
OWLOntologyManager.getImports(OWLOntology ontology)
Gets the set of ontologies that are in the transitive closure of the directly imports
relation.
|
Set<OWLOntology> |
OWLOntology.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.
|
Set<OWLOntology> |
HasImportsClosure.getImportsClosure()
Gets the imports closure
|
Set<OWLOntology> |
OWLOntologyManager.getImportsClosure(OWLOntology ontology)
Gets the imports closure for the specified ontology.
|
Set<OWLOntology> |
HasGetOntologies.getOntologies()
Gets the (possibly empty) set of
OWLOntology objects contained within
this object. |
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.
|
Set<OWLOntology> |
OWLOntologyManager.getVersions(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.
|
ChangeApplied |
HasAddAxioms.addAxioms(OWLOntology ont,
Set<? extends OWLAxiom> axioms)
A convenience method that adds a set 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.
|
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
|
Set<OWLOntology> |
OWLOntologyManager.getImports(OWLOntology ontology)
Gets the set of ontologies that are in the transitive closure of the directly imports
relation.
|
Set<OWLOntology> |
OWLOntologyManager.getImportsClosure(OWLOntology ontology)
Gets the imports closure for the specified ontology.
|
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.
|
static boolean |
OWLDocumentFormatImpl.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)
A convenience method that removes a single axiom from an ontology.
|
ChangeApplied |
HasRemoveAxioms.removeAxioms(OWLOntology ont,
Set<? extends OWLAxiom> axioms)
A convenience method that removes a set of axioms from an ontology.
|
void |
OWLOntologyManager.removeOntology(OWLOntology ontology)
Attempts to remove an ontology.
|
void |
OWLOntologyManager.saveOntology(OWLOntology ontology)
Saves the specified ontology.
|
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.
|
void |
OWLOntologyManager.saveOntology(OWLOntology ontology,
OutputStream outputStream)
Saves the specified ontology, to the specified output stream
|
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.
|
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.
|
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.
|
O |
OWLNamedObjectVisitorEx.visit(OWLOntology ontology)
visit OWLOntology type
|
void |
OWLNamedObjectVisitor.visit(OWLOntology ontology)
visit OWLOntology type
|
Modifier and Type | Method and Description |
---|---|
OWLOntology |
OWLOntologyManager.createOntology(IRI ontologyIRI,
Set<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.
|
OWLOntology |
OWLOntologyManager.createOntology(IRI ontologyIRI,
Set<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 |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
OWLDocumentFormat |
OBOFormatOWLAPIParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration) |
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,
Writer writer) |
static void |
OWLXMLRenderer.render(OWLOntology ontology,
Writer writer,
OWLDocumentFormat format) |
void |
OWLXMLWriter.startDocument(OWLOntology ontology) |
void |
OWLXMLObjectRenderer.visit(OWLOntology ontology) |
Constructor and Description |
---|
OWLXMLWriter(Writer 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(Set<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,
AxiomAppearance appearance,
AtomicInteger nextNode,
Map<Object,Integer> blankNodeMap,
Set<OWLAxiom> translatedAxioms) |
RDFTranslator(OWLOntologyManager manager,
OWLOntology ontology,
OWLDocumentFormat format,
boolean useStrongTyping,
IndividualAppearance occurrences,
AxiomAppearance axiomOccurrences,
AtomicInteger nextNode,
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,
Writer w) |
RDFXMLRenderer(OWLOntology ontology,
Writer w,
OWLDocumentFormat format) |
Modifier and Type | Method and Description |
---|---|
OWLDocumentFormat |
TurtleOntologyParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration) |
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 boolean |
EntitySearcher.containsAxiom(OWLAxiom a,
OWLOntology o,
boolean imports)
Checks if o contains axiom a, with or without imports closure.
|
static boolean |
EntitySearcher.containsAxiomIgnoreAnnotations(OWLAxiom a,
OWLOntology o,
boolean imports)
Checks if o contains axiom a, with or without imports closure, ignoring annotations.
|
static Collection<OWLAnnotationAssertionAxiom> |
EntitySearcher.getAnnotationAssertionAxioms(OWLAnnotationSubject e,
OWLOntology ontology) |
static Collection<OWLAnnotationAssertionAxiom> |
EntitySearcher.getAnnotationAssertionAxioms(OWLEntity e,
OWLOntology ontology) |
static Collection<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 Collection<OWLAnnotation> |
EntitySearcher.getAnnotationObjects(OWLEntity e,
OWLOntology ontology)
Obtains the annotations on e; this is restricted to the object of annotation assertion
axioms.
|
static Collection<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 Collection<OWLAnnotation> |
EntitySearcher.getAnnotations(OWLAnnotationSubject e,
OWLOntology ontology)
Gets the annotations for e.
|
static Collection<OWLAnnotation> |
EntitySearcher.getAnnotations(OWLAnnotationSubject e,
OWLOntology ontology,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property.
|
static Collection<OWLAnnotation> |
EntitySearcher.getAnnotations(OWLEntity e,
OWLOntology ontology)
Gets the annotations for e.
|
static Collection<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 o,
boolean imports)
Get matching axioms for a, ignoring annotations.
|
static Collection<OWLLiteral> |
EntitySearcher.getDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> |
EntitySearcher.getDataPropertyValues(OWLIndividual i,
OWLOntology ontology) |
static Collection<OWLIndividual> |
EntitySearcher.getDifferentIndividuals(OWLIndividual e,
OWLOntology ontology)
Gets the individuals asserted to be different to e in the specified ontology.
|
static Collection<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 Collection<OWLDataPropertyExpression> |
EntitySearcher.getDisjointProperties(OWLDataProperty e,
OWLOntology ontology)
Gets the data properties which have been asserted to be disjoint with e in the specified
ontology.
|
static Collection<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 <P extends OWLPropertyExpression> |
EntitySearcher.getDisjointProperties(P e,
OWLOntology ontology)
Gets the properties which have been asserted to be disjoint with e in the specified ontology.
|
static Collection<IRI> |
EntitySearcher.getDomains(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the asserted domains of e.
|
static Collection<OWLClassExpression> |
EntitySearcher.getDomains(OWLDataProperty e,
OWLOntology ontology)
Gets the asserted domains of e.
|
static Collection<OWLClassExpression> |
EntitySearcher.getDomains(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the asserted domains of e.
|
static Collection<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 Collection<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 Collection<OWLObjectPropertyExpression> |
EntitySearcher.getEquivalentProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology and returns the class
expressions corresponding to equivalent classes of e.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getEquivalentProperties(P e,
OWLOntology ontology)
Gets the properties which have been asserted to be equivalent with e by axioms in the
specified ontology.
|
static Collection<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 Collection<OWLIndividual> |
EntitySearcher.getInstances(OWLClassExpression e,
OWLOntology ontology) |
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.getInverses(OWLObjectPropertyExpression e,
OWLOntology ontology) |
static Collection<OWLLiteral> |
EntitySearcher.getNegativeDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> |
EntitySearcher.getNegativeDataPropertyValues(OWLIndividual i,
OWLOntology ontology) |
static Collection<OWLIndividual> |
EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i,
OWLOntology ontology) |
static Collection<OWLIndividual> |
EntitySearcher.getObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
EntitySearcher.getObjectPropertyValues(OWLIndividual i,
OWLOntology ontology) |
static Collection<IRI> |
EntitySearcher.getRanges(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the ranges of e that have been asserted in the specified ontology.
|
static Collection<OWLDataRange> |
EntitySearcher.getRanges(OWLDataProperty e,
OWLOntology ontology)
Gets the ranges of e that have been asserted in the specified ontology.
|
static Collection<OWLClassExpression> |
EntitySearcher.getRanges(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the ranges of e that have been asserted in the specified ontology.
|
static Collection<OWLAxiom> |
EntitySearcher.getReferencingAxioms(OWLEntity e,
OWLOntology ontology)
Gets the axioms in the specified ontology that contain e in their signature.
|
static Collection<OWLAxiom> |
EntitySearcher.getReferencingAxioms(OWLEntity e,
OWLOntology ontology,
boolean includeImports)
Gets the axioms in the specified ontology and possibly its imports closure that contain e in
their signature.
|
static Collection<OWLIndividual> |
EntitySearcher.getSameIndividuals(OWLIndividual e,
OWLOntology ontology)
Gets the individuals asserted to be same as e in the specified ontology.
|
static Collection<OWLClassExpression> |
EntitySearcher.getSubClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be subclasses of e in the specified
ontology.
|
static Collection<OWLAnnotationProperty> |
EntitySearcher.getSubProperties(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLAnnotationProperty> |
EntitySearcher.getSubProperties(OWLAnnotationProperty e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLDataPropertyExpression> |
EntitySearcher.getSubProperties(OWLDataPropertyExpression e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLDataPropertyExpression> |
EntitySearcher.getSubProperties(OWLDataPropertyExpression e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.getSubProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.getSubProperties(OWLObjectPropertyExpression e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getSubProperties(P e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getSubProperties(P e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLClassExpression> |
EntitySearcher.getSuperClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be superclasses of e in the specified
ontology.
|
static Collection<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 Collection<OWLAnnotationProperty> |
EntitySearcher.getSuperProperties(OWLAnnotationProperty e,
OWLOntology ontology,
boolean imports)
Gets the annotation properties which are asserted to be super-properties of e in the
specified ontology.
|
static Collection<OWLDataPropertyExpression> |
EntitySearcher.getSuperProperties(OWLDataPropertyExpression e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLDataPropertyExpression> |
EntitySearcher.getSuperProperties(OWLDataPropertyExpression e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.getSuperProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the properties which are asserted to be super-properties of e in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.getSuperProperties(OWLObjectPropertyExpression e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be super-properties of e in the specified ontology.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getSuperProperties(P e,
OWLOntology ontology)
Gets the properties which are asserted to be super-properties of e in the specified ontology.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getSuperProperties(P e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be super-properties of e in the specified ontology.
|
static Collection<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 o)
Checks if e is declared asymmetric in o.
|
static boolean |
EntitySearcher.isDefined(OWLClass c,
OWLOntology o)
Checks if c is defined (is included in equivalent axioms) in o.
|
static boolean |
EntitySearcher.isFunctional(OWLDataProperty e,
OWLOntology o)
Checks if e is declared functional in o.
|
static boolean |
EntitySearcher.isFunctional(OWLObjectPropertyExpression e,
OWLOntology o)
Checks if e is declared functional in o.
|
static boolean |
EntitySearcher.isInverseFunctional(OWLObjectPropertyExpression e,
OWLOntology o)
Checks if e is declared inverse functional in o.
|
static boolean |
EntitySearcher.isIrreflexive(OWLObjectPropertyExpression e,
OWLOntology o)
Checks if e is declared irreflexive in o.
|
static boolean |
EntitySearcher.isReflexive(OWLObjectPropertyExpression e,
OWLOntology o)
Checks if e is declared reflexive in o.
|
static boolean |
EntitySearcher.isSymmetric(OWLObjectPropertyExpression e,
OWLOntology o)
Checks if e is declared symmetric in o.
|
static boolean |
EntitySearcher.isTransitive(OWLObjectPropertyExpression e,
OWLOntology o)
Checks if e is declared transitive in o.
|
Modifier and Type | Method and Description |
---|---|
static boolean |
EntitySearcher.containsAxiom(OWLAxiom a,
Iterable<OWLOntology> ontologies,
boolean imports)
Checks if any of the ontologies contains axiom a, with or without imports closure.
|
static boolean |
EntitySearcher.containsAxiomIgnoreAnnotations(OWLAxiom a,
Iterable<OWLOntology> ontologies,
boolean imports)
Checks if any of the ontologies contains axiom a, with or without imports closure.
|
static Collection<OWLAnnotation> |
EntitySearcher.getAnnotationObjects(OWLAnnotationSubject e,
Iterable<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 Collection<OWLAnnotation> |
EntitySearcher.getAnnotationObjects(OWLEntity e,
Iterable<OWLOntology> ontologies)
Obtains the annotations on e; this is restricted to the object of annotation assertion
axioms.
|
static Collection<OWLAnnotation> |
EntitySearcher.getAnnotationObjects(OWLEntity e,
Iterable<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 Collection<OWLAnnotation> |
EntitySearcher.getAnnotations(OWLAnnotationSubject e,
Iterable<OWLOntology> ontologies,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property.
|
static Collection<OWLAnnotation> |
EntitySearcher.getAnnotations(OWLEntity e,
Iterable<OWLOntology> ontologies,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property.
|
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> |
EntitySearcher.getDataPropertyValues(OWLIndividual i,
Iterable<OWLOntology> ontologies) |
static Collection<OWLLiteral> |
EntitySearcher.getDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
Iterable<OWLOntology> ontologies) |
static Collection<OWLIndividual> |
EntitySearcher.getDifferentIndividuals(OWLIndividual e,
Iterable<OWLOntology> ontologies)
Gets the individuals asserted to be different to e in the specified ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getDisjointClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be disjoint with e by axioms in the specified
ontologies.
|
static Collection<OWLDataPropertyExpression> |
EntitySearcher.getDisjointProperties(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the data properties which have been asserted to be disjoint with e in the specified
ontologies.
|
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.getDisjointProperties(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the object properties which have been asserted to be disjoint with e in the specified
ontologies.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getDisjointProperties(P e,
Iterable<OWLOntology> ontologies)
Gets the properties which have been asserted to be disjoint with e in the specified
ontologies.
|
static Collection<IRI> |
EntitySearcher.getDomains(OWLAnnotationProperty e,
Iterable<OWLOntology> ontologies)
Gets the asserted domains of e by examining the axioms in the specified ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getDomains(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the asserted domains of e by examining the axioms in the specified ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getDomains(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the asserted domains of e by examining the axioms in the specified ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getEquivalentClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be equivalent with e by axioms in the specified
ontologies.
|
static Collection<OWLDataPropertyExpression> |
EntitySearcher.getEquivalentProperties(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the data properties which have been asserted to be equivalent with e by axioms in the
specified ontologies.
|
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.getEquivalentProperties(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
A convenience method that examines the axioms in the specified ontologies and returns the
class expressions corresponding to equivalent classes of e.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getEquivalentProperties(P e,
Iterable<OWLOntology> ontologies)
Gets the properties which have been asserted to be equivalent with e by axioms in the
specified ontologies.
|
static Collection<OWLIndividual> |
EntitySearcher.getIndividuals(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the individuals that have been asserted to be an instance of e by axioms in the
specified ontologies.
|
static Collection<OWLIndividual> |
EntitySearcher.getInstances(OWLClassExpression e,
Iterable<OWLOntology> ontologies) |
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.getInverses(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies) |
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> |
EntitySearcher.getNegativeDataPropertyValues(OWLIndividual i,
Iterable<OWLOntology> ontologies) |
static Collection<OWLLiteral> |
EntitySearcher.getNegativeDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
Iterable<OWLOntology> ontologies) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i,
Iterable<OWLOntology> ontologies) |
static Collection<OWLIndividual> |
EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Iterable<OWLOntology> ontologies) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
EntitySearcher.getObjectPropertyValues(OWLIndividual i,
Iterable<OWLOntology> ontologies) |
static Collection<OWLIndividual> |
EntitySearcher.getObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Iterable<OWLOntology> ontologies) |
static Collection<IRI> |
EntitySearcher.getRanges(OWLAnnotationProperty e,
Iterable<OWLOntology> ontologies)
Gets the asserted ranges of e by examining the axioms in the specified ontologies.
|
static Collection<OWLDataRange> |
EntitySearcher.getRanges(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the asserted ranges of e by examining the axioms in the specified ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getRanges(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the asserted ranges of e by examining the axioms in the specified ontologies.
|
static Collection<OWLIndividual> |
EntitySearcher.getSameIndividuals(OWLIndividual e,
Iterable<OWLOntology> ontologies)
Gets the individuals asserted to be same as e in the specified ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getSubClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be subclasses of e in the specified
ontologies.
|
static Collection<OWLAnnotationProperty> |
EntitySearcher.getSubProperties(OWLAnnotationProperty e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLDataPropertyExpression> |
EntitySearcher.getSubProperties(OWLDataPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.getSubProperties(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getSubProperties(P e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLClassExpression> |
EntitySearcher.getSuperClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be superclasses of e in the specified
ontologies.
|
static Collection<OWLAnnotationProperty> |
EntitySearcher.getSuperProperties(OWLAnnotationProperty e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be super-properties of e in the specified ontology.
|
static Collection<OWLDataPropertyExpression> |
EntitySearcher.getSuperProperties(OWLDataPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.getSuperProperties(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be super-properties of e in the specified ontology.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getSuperProperties(P e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be super-properties of e in the specified
ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getTypes(OWLIndividual e,
Iterable<OWLOntology> ontologies) |
static boolean |
EntitySearcher.hasDataPropertyValue(OWLIndividual i,
OWLDataPropertyExpression p,
OWLLiteral lit,
Iterable<OWLOntology> ontologies) |
static boolean |
EntitySearcher.hasDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
Iterable<OWLOntology> ontologies) |
static boolean |
EntitySearcher.hasNegativeDataPropertyValue(OWLIndividual i,
OWLDataPropertyExpression p,
OWLLiteral lit,
Iterable<OWLOntology> ontologies) |
static boolean |
EntitySearcher.hasNegativeDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
Iterable<OWLOntology> ontologies) |
static boolean |
EntitySearcher.hasNegativeObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
Iterable<OWLOntology> ontologies) |
static boolean |
EntitySearcher.hasNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Iterable<OWLOntology> ontologies) |
static boolean |
EntitySearcher.hasObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
Iterable<OWLOntology> ontologies) |
static boolean |
EntitySearcher.hasObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Iterable<OWLOntology> ontologies) |
static boolean |
EntitySearcher.isAsymmetric(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Checks if e is declared asymmetric in a collection of ontologies.
|
static boolean |
EntitySearcher.isDefined(OWLClass c,
Iterable<OWLOntology> ontologies)
Checks if c is defined (is included in equivalent axioms) in a collection of ontologies.
|
static boolean |
EntitySearcher.isFunctional(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Checks if e is declared functional in a collection of ontologies.
|
static boolean |
EntitySearcher.isFunctional(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Checks if e is declared functional in a collection of ontologies.
|
static boolean |
EntitySearcher.isInverseFunctional(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Checks if e is declared inverse functional in a collection of ontologies.
|
static boolean |
EntitySearcher.isIrreflexive(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Checks if e is declared irreflexive in a collection of ontologies.
|
static boolean |
EntitySearcher.isReflexive(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Checks if e is declared reflexive in a collection of ontologies.
|
static boolean |
EntitySearcher.isSymmetric(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Checks if e is declared symmetric in a collection of ontologies.
|
static boolean |
EntitySearcher.isTransitive(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Checks if e is declared transitive in a collection of ontologies.
|
static Collection<IRI> |
Searcher.ontologyIRIs(Iterable<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 |
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.
|
Set<OWLOntology> |
OWLOntologySingletonSetProvider.getOntologies() |
Set<OWLOntology> |
OWLOntologyImportsClosureSetProvider.getOntologies() |
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.
|
Set<O> |
ImportsStructureObjectSorter.ObjectSelector.getObjects(OWLOntology ontology) |
Set<OWLEntity> |
ImportsStructureEntitySorter.ReferencedEntitySelector.getObjects(OWLOntology ontology) |
String |
OntologyIRIShortFormProvider.getShortForm(OWLOntology ont) |
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,
OWLOntologyManager manager,
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) |
O |
OWLObjectVisitorExAdapter.visit(OWLOntology ontology) |
void |
OWLObjectVisitorAdapter.visit(OWLOntology ontology) |
void |
OWLObjectTypeIndexProvider.visit(OWLOntology ontology) |
void |
OWLObjectDuplicator.visit(OWLOntology ontology) |
OWLOntology |
OWLObjectDesharer.visit(OWLOntology ontology) |
void |
OWLObjectComponentCollector.visit(OWLOntology ontology) |
Collection<OWLEntity> |
OWLEntityCollector.visit(OWLOntology ontology) |
Set<OWLClassExpression> |
OWLClassExpressionCollector.visit(OWLOntology ontology) |
void |
OWLAnonymousIndividualsWithMultipleOccurrences.visit(OWLOntology ontology) |
void |
OWLAnnotationPropertyTransformer.visit(OWLOntology ontology) |
Integer |
MaximumModalDepthFinder.visit(OWLOntology ontology) |
void |
HashCode.visit(OWLOntology ontology) |
void |
DeprecatedOWLEntityCollector.visit(OWLOntology ontology)
Deprecated.
|
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(Set<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(Set<OWLOntology> ontologies,
OWLObjectPropertyExpression prop,
int index,
Stack<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) |
OWLObjectPropertyManager(OWLOntologyManager manager,
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(OWLOntologyManager man,
Set<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(Set<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(Set<OWLOntology> ontologies) |
OWLEntityRemover(Set<OWLOntology> ontologies)
Creates an entity remover, which will remove entities (axioms referring
to the entities from the specified ontologies).
|
OWLEntityRenamer(OWLOntologyManager owlOntologyManager,
Set<OWLOntology> ontologies) |
OWLEntityURIConverter(OWLOntologyManager manager,
Set<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(Set<OWLOntology> objects) |
ReferencedEntitySetProvider(Set<OWLOntology> ontologies) |
SimpleRootClassChecker(Set<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 | Class and Description |
---|---|
class |
OWLImmutableOntologyImpl |
class |
OWLOntologyImpl |
Modifier and Type | Method and Description |
---|---|
Set<OWLOntology> |
OWLImmutableOntologyImpl.getDirectImports() |
Set<OWLOntology> |
OWLOntologyManagerImpl.getDirectImports(OWLOntology ontology) |
Set<OWLOntology> |
OWLImmutableOntologyImpl.getImports() |
Set<OWLOntology> |
OWLOntologyManagerImpl.getImports(OWLOntology ontology) |
Set<OWLOntology> |
OWLImmutableOntologyImpl.getImportsClosure() |
Set<OWLOntology> |
OWLOntologyManagerImpl.getImportsClosure(OWLOntology ontology) |
Set<OWLOntology> |
OWLOntologyManagerImpl.getOntologies() |
Set<OWLOntology> |
OWLOntologyManagerImpl.getOntologies(OWLAxiom axiom) |
List<OWLOntology> |
OWLOntologyManagerImpl.getSortedImportsClosure(OWLOntology ontology) |
Set<OWLOntology> |
OWLOntologyManagerImpl.getVersions(IRI ontologyIRI) |
Modifier and Type | Method and Description |
---|---|
ChangeApplied |
OWLOntologyManagerImpl.addAxiom(OWLOntology ont,
OWLAxiom axiom) |
ChangeApplied |
OWLOntologyManagerImpl.addAxioms(OWLOntology ont,
Set<? extends OWLAxiom> axioms) |
boolean |
OWLOntologyManagerImpl.contains(OWLOntology ontology) |
OWLOntology |
OWLOntologyManagerImpl.copyOntology(OWLOntology toCopy,
OntologyCopy settings) |
Set<OWLOntology> |
OWLOntologyManagerImpl.getDirectImports(OWLOntology ontology) |
Set<OWLOntology> |
OWLOntologyManagerImpl.getImports(OWLOntology ontology) |
Set<OWLOntology> |
OWLOntologyManagerImpl.getImportsClosure(OWLOntology ontology) |
IRI |
OWLOntologyManagerImpl.getOntologyDocumentIRI(OWLOntology ontology) |
OWLDocumentFormat |
OWLOntologyManagerImpl.getOntologyFormat(OWLOntology ontology) |
List<OWLOntology> |
OWLOntologyManagerImpl.getSortedImportsClosure(OWLOntology ontology) |
void |
OWLOntologyManagerImpl.ontologyCreated(OWLOntology ontology) |
ChangeApplied |
OWLOntologyManagerImpl.removeAxiom(OWLOntology ont,
OWLAxiom axiom) |
ChangeApplied |
OWLOntologyManagerImpl.removeAxioms(OWLOntology ont,
Set<? 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) |
void |
OWLEntityCollectionContainerCollector.visit(OWLOntology ontology) |
Modifier and Type | Method and Description |
---|---|
OWLOntology |
OWLOntologyManagerImpl.createOntology(IRI ontologyIRI,
Set<OWLOntology> ontologies) |
OWLOntology |
OWLOntologyManagerImpl.createOntology(IRI ontologyIRI,
Set<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 |
---|---|
Set<OWLOntology> |
ConcurrentOWLOntologyImpl.getDirectImports() |
Set<OWLOntology> |
ConcurrentOWLOntologyImpl.getImports() |
Set<OWLOntology> |
ConcurrentOWLOntologyImpl.getImportsClosure() |
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.
|
SyntacticLocalityModuleExtractor(OWLOntologyManager man,
OWLOntology ont,
Set<OWLAxiom> axs,
ModuleType moduleType)
Deprecated.
use the constructor that takes an IRI rather than an ontology as second argument.
The second argument is used only in logging assertions and can be null.
|
Copyright © 2020 The University of Manchester. All rights reserved.