| 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.
|
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) |
| 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()
Gets the oWL ontology.
|
OWLOntology |
AbstractOWLDebugger.getOWLOntology() |
| Constructor and Description |
|---|
BlackBoxOWLDebugger(OWLOntologyManager owlOntologyManager,
OWLOntology ontology,
OWLReasonerFactory reasonerFactory)
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) |
| 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)
Instantiates a new dL expressivity.
|
DoubleValuedMetric(OWLOntology o)
Instantiates a new double valued metric.
|
GCICount(OWLOntology o)
Instantiates a new gCI count.
|
HiddenGCICount(OWLOntology o)
Instantiates a new hidden gci count.
|
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 and no version IRI.
|
OWLOntology |
OWLOntologyManager.getOntology(OWLOntologyID ontologyID)
Gets a previously loaded/created ontology that has the specified ontology
ID
|
OWLOntology |
HasGetOntologyById.getOntology(OWLOntologyID ontologyID)
Get the ontology with the specified 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(IRI documentIRI,
OWLOntology ontology) |
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)
Checks an ontology and its import closure to see if it is within this
profile.
|
OWLProfileReport |
OWL2QLProfile.checkOntology(OWLOntology ontology)
Checks an ontology and its import closure to see if it is within this
profile.
|
OWLProfileReport |
OWL2Profile.checkOntology(OWLOntology ontology)
Checks an ontology and its import closure to see if it is within this
profile.
|
OWLProfileReport |
OWL2ELProfile.checkOntology(OWLOntology ontology) |
OWLProfileReport |
OWL2DLProfile.checkOntology(OWLOntology ontology)
Checks an ontology and its import closure to see if it is within this
profile.
|
| 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() |
| 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,
boolean useStrongTyping,
IndividualAppearance multiple) |
RDFTranslator(OWLOntologyManager manager,
OWLOntology ontology,
boolean useStrongTyping,
IndividualAppearance occurrences) |
| 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)
Instantiates a new oWLRDF consumer.
|
OWLRDFConsumer(OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration)
Instantiates a new oWLRDF consumer.
|
| 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 this entity 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 this entity; 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 this entity 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 this entity.
|
static Collection<OWLAnnotation> |
EntitySearcher.getAnnotations(OWLAnnotationSubject e,
OWLOntology ontology,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on this entity where the annotation has the
specified annotation property.
|
static Collection<OWLAnnotation> |
EntitySearcher.getAnnotations(OWLEntity e,
OWLOntology ontology)
Gets the annotations for this entity.
|
static Collection<OWLAnnotation> |
EntitySearcher.getAnnotations(OWLEntity e,
OWLOntology ontology,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on this entity 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 different individuals in the specified ontology.
|
static Collection<OWLClassExpression> |
EntitySearcher.getDisjointClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontology.
|
static Collection<OWLDataPropertyExpression> |
EntitySearcher.getDisjointProperties(OWLDataProperty e,
OWLOntology ontology)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.getDisjointProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontology.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getDisjointProperties(P e,
OWLOntology ontology)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontology.
|
static Collection<IRI> |
EntitySearcher.getDomains(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the asserted domains of this property.
|
static Collection<OWLClassExpression> |
EntitySearcher.getDomains(OWLDataProperty e,
OWLOntology ontology)
Gets the asserted domains of this property.
|
static Collection<OWLClassExpression> |
EntitySearcher.getDomains(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the asserted domains of this property.
|
static Collection<OWLClassExpression> |
EntitySearcher.getEquivalentClasses(OWLClass e,
OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology
and returns the class expressions corresponding to equivalent classes of
this class.
|
static Collection<OWLDataPropertyExpression> |
EntitySearcher.getEquivalentProperties(OWLDataProperty e,
OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology
and returns the class expressions corresponding to equivalent classes of
this class.
|
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
this class.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getEquivalentProperties(P e,
OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology
and returns the class expressions corresponding to equivalent classes of
this class.
|
static Collection<OWLIndividual> |
EntitySearcher.getIndividuals(OWLClass e,
OWLOntology ontology)
Gets the individuals that have been asserted to be an instance of this
class 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 this property that have been asserted in the specified
ontology.
|
static Collection<OWLDataRange> |
EntitySearcher.getRanges(OWLDataProperty e,
OWLOntology ontology)
Gets the ranges of this property that have been asserted in the specified
ontology.
|
static Collection<OWLClassExpression> |
EntitySearcher.getRanges(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the ranges of this property 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 this entity 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 this entity in their signature.
|
static Collection<OWLIndividual> |
EntitySearcher.getSameIndividuals(OWLIndividual e,
OWLOntology ontology)
Gets the same individuals in the specified ontology.
|
static Collection<OWLClassExpression> |
EntitySearcher.getSubClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be subclasses of this
class in the specified ontology.
|
static Collection<OWLAnnotationProperty> |
EntitySearcher.getSubProperties(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of this
property 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 this
property in the specified ontology.
|
static Collection<OWLDataPropertyExpression> |
EntitySearcher.getSubProperties(OWLDataPropertyExpression e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of this
property 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 this
property in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.getSubProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of this
property 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 this
property 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 this
property 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 this
property in the specified ontology.
|
static Collection<OWLClassExpression> |
EntitySearcher.getSuperClasses(OWLClass e,
OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology
and return the class expressions corresponding to super classes of this
class.
|
static Collection<OWLAnnotationProperty> |
EntitySearcher.getSuperProperties(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static Collection<OWLAnnotationProperty> |
EntitySearcher.getSuperProperties(OWLAnnotationProperty e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static Collection<OWLDataPropertyExpression> |
EntitySearcher.getSuperProperties(OWLDataPropertyExpression e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of this
property 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 this
property in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.getSuperProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.getSuperProperties(OWLObjectPropertyExpression e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getSuperProperties(P e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getSuperProperties(P e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be sub-properties of this
property 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 this entity 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 this entity; 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 this entity 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 this entity where the annotation has the
specified annotation property.
|
static Collection<OWLAnnotation> |
EntitySearcher.getAnnotations(OWLEntity e,
Iterable<OWLOntology> ontologies,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on this entity 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 different individuals 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 this class
by axioms in the specified ontologies.
|
static Collection<OWLDataPropertyExpression> |
EntitySearcher.getDisjointProperties(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontologies.
|
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.getDisjointProperties(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontologies.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getDisjointProperties(P e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontologies.
|
static Collection<IRI> |
EntitySearcher.getDomains(OWLAnnotationProperty e,
Iterable<OWLOntology> ontologies)
Gets the asserted domains of this property by examining the axioms in the
specified ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getDomains(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the asserted domains of this property by examining the axioms in the
specified ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getDomains(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the asserted domains of this property by examining the axioms in the
specified ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getEquivalentClasses(OWLClass 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
this class.
|
static Collection<OWLDataPropertyExpression> |
EntitySearcher.getEquivalentProperties(OWLDataProperty 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
this class.
|
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
this class.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getEquivalentProperties(P 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
this class.
|
static Collection<OWLIndividual> |
EntitySearcher.getIndividuals(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the individuals that have been asserted to be an instance of this
class by axioms in the speficied 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 this property by examining the axioms in the
specified ontologies.
|
static Collection<OWLDataRange> |
EntitySearcher.getRanges(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the asserted ranges of this property by examining the axioms in the
specified ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getRanges(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the asserted ranges of this property by examining the axioms in the
specified ontologies.
|
static Collection<OWLIndividual> |
EntitySearcher.getSameIndividuals(OWLIndividual e,
Iterable<OWLOntology> ontologies)
Gets the same individuals 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 this
class 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 this
property 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 this
property 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 this
property 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 this
property in the specified ontology.
|
static Collection<OWLClassExpression> |
EntitySearcher.getSuperClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
A convenience method that examines the axioms in the specified ontologies
and returns the class expression corresponding to the asserted super
classes of this class.
|
static Collection<OWLAnnotationProperty> |
EntitySearcher.getSuperProperties(OWLAnnotationProperty e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of this
property 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 this
property in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.getSuperProperties(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static <P extends OWLPropertyExpression> |
EntitySearcher.getSuperProperties(P e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
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.
|
| 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 |
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 |
SimpleRenderer.visit(OWLOntology ontology) |
O |
OWLObjectVisitorExAdapter.visit(OWLOntology ontology) |
void |
OWLObjectVisitorAdapter.visit(OWLOntology ontology) |
void |
OWLObjectTypeIndexProvider.visit(OWLOntology ontology) |
void |
OWLObjectDuplicator.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 |
|---|---|
static Collection<Set<OWLObjectPropertyExpression>> |
OWLObjectPropertyManager.getEquivalentObjectProperties(Set<OWLOntology> ontologies) |
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) |
| 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 shortforms 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 contructor 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 © 2016 The University of Manchester. All Rights Reserved.