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 |
---|---|
OWLOntologyFormat |
KRSS2OWLParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology) |
OWLOntologyFormat |
KRSS2OWLParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration) |
void |
KRSS2Parser.setOntology(OWLOntology ontology,
OWLDataFactory dataFactory)
Sets the ontology.
|
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 ontology1) |
void |
KRSS2ObjectRenderer.visit(OWLOntology ontology1) |
void |
KRSS2OWLObjectRenderer.visit(OWLOntology onto) |
Constructor and Description |
---|
KRSS2ObjectRenderer(OWLOntologyManager manager,
OWLOntology ontology,
Writer writer)
Deprecated.
|
KRSS2ObjectRenderer(OWLOntology ontology,
Writer writer) |
KRSS2OWLObjectRenderer(OWLOntology ontology,
Writer writer) |
KRSSObjectRenderer(OWLOntologyManager manager,
OWLOntology ontology,
Writer writer)
Deprecated.
|
KRSSObjectRenderer(OWLOntology ontology,
Writer writer) |
Modifier and Type | Method and Description |
---|---|
OWLOntologyFormat |
KRSSOWLParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology) |
OWLOntologyFormat |
KRSSOWLParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration) |
void |
KRSSParser.setOntology(OWLOntology ontology,
OWLDataFactory dataFactory)
Sets the ontology.
|
Modifier and Type | Method and Description |
---|---|
OWLOntologyFormat |
OWLFunctionalSyntaxOWLParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology) |
OWLOntologyFormat |
OWLFunctionalSyntaxOWLParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration) |
void |
OWLFunctionalSyntaxParser.setUp(OWLOntologyManager man,
OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration)
Deprecated.
|
void |
OWLFunctionalSyntaxParser.setUp(OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration)
Sets the up.
|
Modifier and Type | Method and Description |
---|---|
void |
OWLFunctionalSyntaxRenderer.render(OWLOntology ontology,
Writer writer) |
void |
OWLObjectRenderer.visit(OWLOntology ontology1) |
Constructor and Description |
---|
OWLObjectRenderer(OWLOntologyManager man,
OWLOntology ontology,
Writer writer)
Deprecated.
|
OWLObjectRenderer(OWLOntology ontology,
Writer writer)
Instantiates a new oWL object renderer.
|
Modifier and Type | Method and Description |
---|---|
void |
LatexRenderer.render(OWLOntology ontology,
Writer writer) |
void |
LatexObjectVisitor.visit(OWLOntology ontology) |
Modifier and Type | Method and Description |
---|---|
OWLOntology |
OntologyAxiomPair.getOntology() |
Modifier and Type | Method and Description |
---|---|
OWLOntologyFormat |
ManchesterOWLSyntaxOntologyParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology) |
OWLOntologyFormat |
ManchesterOWLSyntaxOntologyParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration) |
ManchesterOWLSyntaxOntologyFormat |
ManchesterOWLSyntaxParser.parseOntology(OWLOntology ont) |
ManchesterOWLSyntaxOntologyFormat |
ManchesterOWLSyntaxEditorParser.parseOntology(OWLOntology ont) |
void |
ManchesterOWLSyntaxFramesParser.setDefaultOntology(OWLOntology ontology) |
void |
ManchesterOWLSyntaxEditorParser.setDefaultOntology(OWLOntology defaultOntology) |
Constructor and Description |
---|
OntologyAxiomPair(OWLOntology ontology,
OWLAxiom axiom) |
Modifier and Type | Method and Description |
---|---|
void |
OWLXMLRenderer.render(OWLOntology ontology,
Writer writer) |
void |
OWLXMLRenderer.render(OWLOntology ontology,
Writer writer,
OWLOntologyFormat 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 |
OWLXMLParserHandler.getOntology() |
OWLOntology |
OWLOntologyHandler.getOWLObject() |
OWLOntology |
OWLImportsHandler.getOWLObject() |
Modifier and Type | Method and Description |
---|---|
OWLOntologyFormat |
OWLXMLParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology) |
OWLOntologyFormat |
OWLXMLParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration) |
Constructor and Description |
---|
OWLXMLParserHandler(OWLOntology ontology) |
OWLXMLParserHandler(OWLOntologyManager owlOntologyManager,
OWLOntology ontology)
Deprecated.
manager unnecessary
|
OWLXMLParserHandler(OWLOntologyManager owlOntologyManager,
OWLOntology ontology,
OWLElementHandler<?> topHandler)
Deprecated.
manager unnecessary
|
OWLXMLParserHandler(OWLOntologyManager owlOntologyManager,
OWLOntology ontology,
OWLElementHandler<?> topHandler,
OWLOntologyLoaderConfiguration configuration)
Deprecated.
manager is unnecessary
|
OWLXMLParserHandler(OWLOntologyManager owlOntologyManager,
OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration)
Deprecated.
manager is unnecessary
|
OWLXMLParserHandler(OWLOntology ontology,
OWLElementHandler<?> topHandler) |
OWLXMLParserHandler(OWLOntology ontology,
OWLElementHandler<?> topHandler,
OWLOntologyLoaderConfiguration configuration)
Creates an OWLXML handler with the specified top level handler.
|
OWLXMLParserHandler(OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractTranslator.visit(OWLOntology ontologyToVisit) |
Constructor and Description |
---|
AbstractTranslator(OWLOntologyManager manager,
OWLOntology ontology,
boolean useStrongTyping,
IndividualAppearance multiple) |
RDFTranslator(OWLOntologyManager manager,
OWLOntology ontology,
boolean useStrongTyping,
IndividualAppearance occurrences) |
Constructor and Description |
---|
RDFXMLNamespaceManager(OWLOntologyManager man,
OWLOntology ontology) |
RDFXMLNamespaceManager(OWLOntology ontology,
OWLOntologyFormat format) |
RDFXMLRenderer(OWLOntologyManager manager,
OWLOntology ontology,
Writer w)
Deprecated.
|
RDFXMLRenderer(OWLOntologyManager manager,
OWLOntology ontology,
Writer w,
OWLOntologyFormat format)
Deprecated.
|
RDFXMLRenderer(OWLOntology ontology,
Writer w) |
RDFXMLRenderer(OWLOntology ontology,
Writer w,
OWLOntologyFormat format) |
Modifier and Type | Method and Description |
---|---|
OWLOntology |
RDFRendererBase.getOntology() |
Constructor and Description |
---|
RDFRendererBase(OWLOntology ontology) |
RDFRendererBase(OWLOntology ontology,
OWLOntologyManager manager)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
OWLOntology |
OWLRDFConsumer.getOntology()
Gets the ontology.
|
Modifier and Type | Method and Description |
---|---|
OWLOntologyFormat |
RDFXMLParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology) |
OWLOntologyFormat |
RDFXMLParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration) |
Constructor and Description |
---|
OWLRDFConsumer(OWLOntology ontology,
AnonymousNodeChecker checker,
OWLOntologyLoaderConfiguration configuration)
Instantiates a new oWLRDF consumer.
|
OWLRDFConsumer(OWLOntologyManager owlOntologyManager,
OWLOntology ontology,
AnonymousNodeChecker checker,
OWLOntologyLoaderConfiguration configuration)
Deprecated.
|
Constructor and Description |
---|
TurtleRenderer(OWLOntology ontology,
OWLOntologyManager manager,
Writer writer,
OWLOntologyFormat format)
Deprecated.
|
TurtleRenderer(OWLOntology ontology,
Writer writer,
OWLOntologyFormat format) |
Constructor and Description |
---|
OWLOntologyXMLNamespaceManager(OWLOntologyManager man,
OWLOntology ontology) |
OWLOntologyXMLNamespaceManager(OWLOntology ontology,
OWLOntologyFormat format) |
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) |
ConvertSuperClassesToEquivalentClass(OWLDataFactory dataFactory,
OWLClass cls,
Set<OWLOntology> ontologies,
OWLOntology targetOntology) |
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,
Set<OWLOntology> ontologies,
OWLOntology targetOntology) |
MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory,
OWLClass cls,
Set<OWLOntology> ontologies,
OWLOntology targetOntology,
boolean usePairwiseDisjointAxioms) |
ShortForm2AnnotationGenerator(OWLOntologyManager ontologyManager,
OWLOntology ontology,
ShortFormProvider shortFormProvider,
IRI annotationIRI) |
ShortForm2AnnotationGenerator(OWLOntologyManager ontologyManager,
OWLOntology ontology,
ShortFormProvider shortFormProvider,
IRI annotationIRI,
String languageTag) |
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(Set<OWLOntology> ontologies,
OWLDataFactory dataFactory) |
CoerceConstantsIntoDataPropertyRange(OWLDataFactory dataFactory,
Set<OWLOntology> ontologies) |
ConvertEquivalentClassesToSuperClasses(OWLDataFactory dataFactory,
OWLClass cls,
Set<OWLOntology> ontologies,
OWLOntology targetOntology,
boolean splitIntersections) |
ConvertPropertyAssertionsToAnnotations(OWLDataFactory dataFactory,
Set<OWLOntology> ontologies) |
ConvertSuperClassesToEquivalentClass(OWLDataFactory dataFactory,
OWLClass cls,
Set<OWLOntology> ontologies,
OWLOntology targetOntology) |
MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory,
OWLClass cls,
Set<OWLOntology> ontologies,
OWLOntology targetOntology) |
MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory,
OWLClass cls,
Set<OWLOntology> ontologies,
OWLOntology targetOntology,
boolean usePairwiseDisjointAxioms) |
RemoveAllDisjointAxioms(OWLDataFactory dataFactory,
Set<OWLOntology> ontologies) |
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 |
---|---|
static OWLOntology |
OWLFunctionalSyntaxFactory.Ontology(OWLOntologyManager man,
OWLAxiom... axioms) |
Modifier and Type | Method and Description |
---|---|
SetOntologyID |
SetOntologyIDData.createOntologyChange(OWLOntology ontology)
Creates the
SetOntologyID change
that describes setting an
OWLOntologyID for an
OWLOntology specified by the ontology parameter. |
RemoveOntologyAnnotation |
RemoveOntologyAnnotationData.createOntologyChange(OWLOntology ontology) |
RemoveImport |
RemoveImportData.createOntologyChange(OWLOntology ontology)
Creates the
AddImport change that
describes the removal of an OWLImportsDeclaration from an
OWLOntology specified by the ontology parameter. |
RemoveAxiom |
RemoveAxiomData.createOntologyChange(OWLOntology ontology)
Creates the
RemoveAxiom change that
describes an removal of an OWLAxiom
from an OWLOntology specified by the ontology parameter. |
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)
Creates the
AddImport change that describes an addition of an
OWLImportsDeclaration to an OWLOntology specified by the
ontology parameter. |
AddAxiom |
AddAxiomData.createOntologyChange(OWLOntology ontology)
Creates an
AddAxiom change that will add the OWLAxiom
described by this data to the OWLOntology specified by the
ontology parameter. |
Modifier and Type | Method and Description |
---|---|
OWLOntology |
OWLDebugger.getOWLOntology() |
OWLOntology |
AbstractOWLDebugger.getOWLOntology() |
Constructor and Description |
---|
BlackBoxOWLDebugger(OWLOntologyManager owlOntologyManager,
OWLOntology ontology,
OWLReasonerFactory reasonerFactory) |
Modifier and Type | Method and Description |
---|---|
OWLOntology |
OWLOntologyChecker.getOntology(String name) |
Modifier and Type | Method and Description |
---|---|
static boolean |
RDFOntologyFormat.isMissingType(OWLEntity entity,
OWLOntology ontology)
Determines if a declaration axiom (type triple) needs to be added to the
specified ontology for the given entity.
|
OWLOntologyFormat |
OWLParser.parse(IRI documentIRI,
OWLOntology ontology)
Parses the ontology with a concrete representation available at
documentIRI and adds its axioms to ontology . |
OWLOntologyFormat |
AbstractOWLParser.parse(IRI documentIRI,
OWLOntology ontology) |
OWLOntologyFormat |
OWLParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology)
Parses the ontology with a concrete representation in
documentSource and adds its axioms to ontology . |
OWLOntologyFormat |
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 |
---|---|
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() |
Modifier and Type | Method and Description |
---|---|
void |
OWLMetricManager.setOntology(OWLOntology ontology) |
void |
OWLMetric.setOntology(OWLOntology ontology)
Sets the "root" ontology.
|
void |
AbstractOWLMetric.setOntology(OWLOntology ontology) |
Modifier and Type | Interface and Description |
---|---|
interface |
OWLMutableOntology |
Modifier and Type | Method and Description |
---|---|
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 |
OWLOntologyFactory.createOWLOntology(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(OWLOntologyDocumentSource documentSource,
OWLOntologyFactory.OWLOntologyCreationHandler handler)
Creates and loads an
OWLOntology . |
OWLOntology |
OWLOntologyFactory.loadOWLOntology(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> |
OWLOntologyManager.getOntologies() |
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 |
---|---|
List<OWLOntologyChange> |
OWLOntologyManager.addAxiom(OWLOntology ont,
OWLAxiom axiom)
A convenience method that adds a single axiom to an ontology.
|
List<OWLOntologyChange> |
OWLOntologyManager.addAxioms(OWLOntology ont,
Set<? extends OWLAxiom> axioms)
A convenience method that adds a set of axioms to an ontology.
|
List<OWLOntologyChange> |
HasAddAxioms.addAxioms(OWLOntology ont,
Set<? extends OWLAxiom> axioms)
A convenience method that adds a set of axioms to an ontology.
|
Set<OWLAnnotationAssertionAxiom> |
OWLEntity.getAnnotationAssertionAxioms(OWLOntology ontology) |
Set<OWLAnnotation> |
OWLEntity.getAnnotations(OWLOntology ontology)
Gets the annotations for this entity.
|
Set<OWLAnnotation> |
OWLEntity.getAnnotations(OWLOntology ontology,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on this entity where the annotation has the
specified annotation property.
|
Set<OWLLiteral> |
OWLIndividual.getDataPropertyValues(OWLDataPropertyExpression property,
OWLOntology ontology)
Gets the values that this individual has for a specific data property
|
Map<OWLDataPropertyExpression,Set<OWLLiteral>> |
OWLIndividual.getDataPropertyValues(OWLOntology ontology)
Gets the data property values for this individual
|
Set<OWLIndividual> |
OWLIndividual.getDifferentIndividuals(OWLOntology ontology)
A convenience method that examines axioms in the specified ontology to
determine the individuals that are asserted to be different to this
individual.
|
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<OWLClassExpression> |
OWLClass.getDisjointClasses(OWLOntology ontology)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontology.
|
Set<P> |
OWLPropertyExpression.getDisjointProperties(OWLOntology ontology) |
Set<OWLClassExpression> |
OWLPropertyExpression.getDomains(OWLOntology ontology)
Gets the asserted domains of this property.
|
Set<OWLClassExpression> |
OWLClass.getEquivalentClasses(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.
|
Set<P> |
OWLPropertyExpression.getEquivalentProperties(OWLOntology ontology)
Gets the asserted/told equivalent properties by examining the axioms in
the specified ontology.
|
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.
|
Set<OWLIndividual> |
OWLClass.getIndividuals(OWLOntology ontology)
Gets the individuals that have been asserted to be an instance of this
class by axioms in the specified ontology.
|
Set<OWLObjectPropertyExpression> |
OWLObjectPropertyExpression.getInverses(OWLOntology ontology) |
Map<OWLDataPropertyExpression,Set<OWLLiteral>> |
OWLIndividual.getNegativeDataPropertyValues(OWLOntology ontology)
Gets the data property values that are explicitly asserted NOT to hold
for this individual
|
Map<OWLObjectPropertyExpression,Set<OWLIndividual>> |
OWLIndividual.getNegativeObjectPropertyValues(OWLOntology ontology)
Gets the object property values that are explicitly asserted NOT to hold
for this individual
|
Set<OWLIndividual> |
OWLIndividual.getObjectPropertyValues(OWLObjectPropertyExpression property,
OWLOntology ontology)
Gets the asserted object property values for this individual and the
specified property.
|
Map<OWLObjectPropertyExpression,Set<OWLIndividual>> |
OWLIndividual.getObjectPropertyValues(OWLOntology ontology)
Gets the object property values for this individual.
|
IRI |
OWLOntologyManager.getOntologyDocumentIRI(OWLOntology ontology)
Gets the document IRI for a given ontology.
|
OWLOntologyFormat |
OWLOntologyManager.getOntologyFormat(OWLOntology ontology)
Gets the ontology format for the specified ontology.
|
Set<R> |
OWLPropertyExpression.getRanges(OWLOntology ontology)
Gets the ranges of this property that have been asserted in the specified
ontology.
|
Set<OWLAxiom> |
OWLEntity.getReferencingAxioms(OWLOntology ontology)
Gets the axioms in the specified ontology that contain this entity in
their signature.
|
Set<OWLAxiom> |
OWLEntity.getReferencingAxioms(OWLOntology ontology,
boolean includeImports)
Gets the axioms in the specified ontology and possibly its imports
closure that contain this entity in their signature.
|
Set<OWLIndividual> |
OWLIndividual.getSameIndividuals(OWLOntology ontology) |
List<OWLOntology> |
OWLOntologyManager.getSortedImportsClosure(OWLOntology ontology)
Gets the topologically ordered imports closure.
|
Set<OWLClassExpression> |
OWLClass.getSubClasses(OWLOntology ontology)
Gets the classes which have been asserted to be subclasses of this
class in the specified ontology.
|
Set<P> |
OWLPropertyExpression.getSubProperties(OWLOntology ontology)
Gets the asserted/told sub properties by examining the axioms in the
specified ontology.
|
Set<OWLAnnotationProperty> |
OWLAnnotationProperty.getSubProperties(OWLOntology ontology)
Gets the annotation properties which are asserted to be sub-properties of
this annotation property in the specified ontology.
|
Set<OWLAnnotationProperty> |
OWLAnnotationProperty.getSubProperties(OWLOntology ontology,
boolean includeImportsClosure)
Gets the annotation properties which are asserted to be sub-properties of
this annotation property in the specified ontology and potentially its
imports closure.
|
Set<OWLClassExpression> |
OWLClass.getSuperClasses(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.
|
Set<P> |
OWLPropertyExpression.getSuperProperties(OWLOntology ontology)
Gets the asserted/told super properties by examining the axioms in the
specified ontology.
|
Set<OWLAnnotationProperty> |
OWLAnnotationProperty.getSuperProperties(OWLOntology ontology)
Gets the annotation properties which are asserted to be super-properties
of this annotation property in the specified ontology.
|
Set<OWLAnnotationProperty> |
OWLAnnotationProperty.getSuperProperties(OWLOntology ontology,
boolean includeImportsClosure)
Gets the annotation properties which are asserted to be super-properties
of this annotation property in the specified ontology and potentially its
imports closure.
|
Set<OWLClassExpression> |
OWLIndividual.getTypes(OWLOntology ontology)
A convenience method, which gets the types of this individual, that
correspond to the types asserted with axioms in the specified ontology.
|
boolean |
OWLIndividual.hasDataPropertyValue(OWLDataPropertyExpression property,
OWLLiteral value,
OWLOntology ontology)
Test whether a specific value for a specific data property on this
individual has been asserted.
|
boolean |
OWLIndividual.hasNegativeDataPropertyValue(OWLDataPropertyExpression property,
OWLLiteral literal,
OWLOntology ontology)
Test whether a specific value for a specific data property has been
asserted not to hold for this individual.
|
boolean |
OWLIndividual.hasNegativeObjectPropertyValue(OWLObjectPropertyExpression property,
OWLIndividual individual,
OWLOntology ontology)
Test whether a specific value for a specific object property has been
asserted not to hold for this individual.
|
boolean |
OWLIndividual.hasObjectPropertyValue(OWLObjectPropertyExpression property,
OWLIndividual individual,
OWLOntology ontology)
Test whether a specific value for a specific object property on this
individual has been asserted.
|
boolean |
OWLObjectPropertyExpression.isAsymmetric(OWLOntology ontology) |
boolean |
OWLClass.isDefined(OWLOntology ontology)
Determines if this class is a top level class in an
OWLEquivalentClassesAxiom in the
specified ontology. |
boolean |
OWLPropertyExpression.isFunctional(OWLOntology ontology)
Determines if this property is functional in the specified ontology.
|
boolean |
OWLObjectPropertyExpression.isInverseFunctional(OWLOntology ontology)
Determines if the specified ontology specifies that this property is
inverse functional.
|
boolean |
OWLObjectPropertyExpression.isIrreflexive(OWLOntology ontology) |
boolean |
OWLObjectPropertyExpression.isReflexive(OWLOntology ontology) |
boolean |
OWLObjectPropertyExpression.isSymmetric(OWLOntology ontology) |
boolean |
OWLObjectPropertyExpression.isTransitive(OWLOntology ontology) |
void |
OWLOntologyFactory.OWLOntologyCreationHandler.ontologyCreated(OWLOntology ontology)
The factory calls this method as soon as it has created an ontology.
|
List<OWLOntologyChange> |
OWLOntologyManager.removeAxiom(OWLOntology ont,
OWLAxiom axiom)
A convenience method that removes a single axiom from an ontology.
|
List<OWLOntologyChange> |
OWLOntologyManager.removeAxioms(OWLOntology ont,
Set<? extends OWLAxiom> axioms)
A convenience method that removes a set of axioms from an ontology.
|
List<OWLOntologyChange> |
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,
OWLOntologyDocumentTarget documentTarget)
Saves the specified ontology to the specified
OWLOntologyDocumentTarget . |
void |
OWLOntologyManager.saveOntology(OWLOntology ontology,
OWLOntologyFormat ontologyFormat)
Saves the specified ontology in the specified ontology format to its
document URI.
|
void |
OWLOntologyManager.saveOntology(OWLOntology ontology,
OWLOntologyFormat ontologyFormat,
IRI documentIRI)
Saves the specified ontology to the specified document IRI in the
specified ontology format.
|
void |
OWLOntologyManager.saveOntology(OWLOntology ontology,
OWLOntologyFormat ontologyFormat,
OutputStream outputStream)
Saves the specified ontology to the specified output stream in the
specified ontology format.
|
void |
OWLOntologyManager.saveOntology(OWLOntology ontology,
OWLOntologyFormat ontologyFormat,
OWLOntologyDocumentTarget documentTarget)
Saves the specified ontology to the specified output target in the
specified ontology format.
|
void |
OWLOntologyManager.setOntologyDocumentIRI(OWLOntology ontology,
IRI documentIRI)
Overrides the current document IRI for a given ontology.
|
void |
OWLOntologyManager.setOntologyFormat(OWLOntology ontology,
OWLOntologyFormat ontologyFormat)
Sets the format for the specified ontology.
|
void |
OWLOntologyFactory.OWLOntologyCreationHandler.setOntologyFormat(OWLOntology ontology,
OWLOntologyFormat format) |
void |
OWLOntologyStorer.storeOntology(OWLOntology ontology,
IRI documentIRI,
OWLOntologyFormat ontologyFormat)
Stores an ontology to the specified ontology document IRI in the
specified format.
|
void |
OWLOntologyStorer.storeOntology(OWLOntologyManager manager,
OWLOntology ontology,
IRI documentIRI,
OWLOntologyFormat ontologyFormat)
Deprecated.
use storeOntology(ontology, documentIRI, ontologyFormat)
|
void |
OWLOntologyStorer.storeOntology(OWLOntologyManager manager,
OWLOntology ontology,
OWLOntologyDocumentTarget target,
OWLOntologyFormat format)
Deprecated.
|
void |
OWLOntologyStorer.storeOntology(OWLOntology ontology,
OWLOntologyDocumentTarget target,
OWLOntologyFormat 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.
|
Set<OWLClassExpression> |
OWLClass.getDisjointClasses(Set<OWLOntology> ontologies)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontologies.
|
Set<P> |
OWLPropertyExpression.getDisjointProperties(Set<OWLOntology> ontologies) |
Set<OWLClassExpression> |
OWLPropertyExpression.getDomains(Set<OWLOntology> ontologies)
Gets the asserted domains of this property by examining the axioms in the
specified ontologies.
|
Set<OWLClassExpression> |
OWLClass.getEquivalentClasses(Set<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.
|
Set<P> |
OWLPropertyExpression.getEquivalentProperties(Set<OWLOntology> ontologies)
Gets the asserted equivalent properties by examining the axioms in the
specified ontologies.
|
Set<OWLIndividual> |
OWLClass.getIndividuals(Set<OWLOntology> ontologies)
Gets the individuals that have been asserted to be an instance of this
class by axioms in the speficied ontologies.
|
Set<OWLObjectPropertyExpression> |
OWLObjectPropertyExpression.getInverses(Set<OWLOntology> ontologies) |
Set<R> |
OWLPropertyExpression.getRanges(Set<OWLOntology> ontologies)
Gets the asserted ranges of this property by examining the axioms in the
specified ontologies.
|
Set<OWLClassExpression> |
OWLClass.getSubClasses(Set<OWLOntology> ontologies)
Gets the classes which have been asserted to be subclasses of this
class in the specified ontologies.
|
Set<P> |
OWLPropertyExpression.getSubProperties(Set<OWLOntology> ontologies)
Gets the asserted sub properties by examining the axioms in the specified
ontologies.
|
Set<OWLAnnotationProperty> |
OWLAnnotationProperty.getSubProperties(Set<OWLOntology> ontologies)
Gets the annotation properties which are asserted to be sub-properties of
this annotation property in the specified set of ontologies.
|
Set<OWLClassExpression> |
OWLClass.getSuperClasses(Set<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.
|
Set<P> |
OWLPropertyExpression.getSuperProperties(Set<OWLOntology> ontologies)
Gets the asserted super properties by examining the axioms in the
specified set of ontologies.
|
Set<OWLAnnotationProperty> |
OWLAnnotationProperty.getSuperProperties(Set<OWLOntology> ontologies)
Gets the annotation properties which are asserted to be super-properties
of this annotation property in the specified set of ontologies.
|
Set<OWLClassExpression> |
OWLIndividual.getTypes(Set<OWLOntology> ontologies)
A convenience method that gets the types of this individual by examining
the specified ontologies.
|
boolean |
OWLObjectPropertyExpression.isAsymmetric(Set<OWLOntology> ontologies) |
boolean |
OWLClass.isDefined(Set<OWLOntology> ontologies)
Determines if this class is a top level class in an
OWLEquivalentClassesAxiom in at
least one of the specified ontologies. |
boolean |
OWLPropertyExpression.isFunctional(Set<OWLOntology> ontologies)
Determines if the property is functional because there is an axiom in one
of the specified ontologies that assert this to be the case.
|
boolean |
OWLObjectPropertyExpression.isInverseFunctional(Set<OWLOntology> ontologies) |
boolean |
OWLObjectPropertyExpression.isIrreflexive(Set<OWLOntology> ontologies) |
boolean |
OWLObjectPropertyExpression.isReflexive(Set<OWLOntology> ontologies) |
boolean |
OWLObjectPropertyExpression.isSymmetric(Set<OWLOntology> ontologies) |
boolean |
OWLObjectPropertyExpression.isTransitive(Set<OWLOntology> 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 |
---|---|
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) |
Constructor and Description |
---|
OWLOntologyProfileWalker(Set<OWLOntology> objects) |
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 |
---|---|
OWLOntology |
OWLOntologyMerger.createMergedOntology(OWLOntologyManager ontologyManager,
IRI ontologyIRI) |
OWLOntology |
OWLOntologyWalkerVisitor.getCurrentOntology() |
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 |
---|---|
void |
InferredOntologyGenerator.fillOntology(OWLOntologyManager manager,
OWLOntology ontology)
Adds 'inferred axioms' to an ontology using the generators that have been
registered with this
InferredAxiomGenerator . |
List<OWLOntologyChange> |
OWLOntologyURIChanger.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 |
AbstractOWLOntologyStorer.storeOntology(OWLOntology ontology,
IRI documentIRI,
OWLOntologyFormat ontologyFormat) |
void |
AbstractOWLOntologyStorer.storeOntology(OWLOntologyManager manager,
OWLOntology ontology,
IRI documentIRI,
OWLOntologyFormat ontologyFormat) |
void |
AbstractOWLOntologyStorer.storeOntology(OWLOntologyManager manager,
OWLOntology ontology,
OWLOntologyDocumentTarget target,
OWLOntologyFormat format) |
void |
AbstractOWLOntologyStorer.storeOntology(OWLOntology ontology,
OWLOntologyDocumentTarget target,
OWLOntologyFormat format) |
void |
StructureWalker.visit(OWLOntology ontologyToVisit) |
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) |
void |
OWLEntityCollector.visit(OWLOntology ontology) |
Set<OWLClassExpression> |
OWLClassExpressionCollector.visit(OWLOntology ontology) |
void |
OWLAnonymousIndividualsWithMultipleOccurrences.visit(OWLOntology ontology) |
Integer |
MaximumModalDepthFinder.visit(OWLOntology ontology) |
void |
HashCode.visit(OWLOntology ontology) |
O |
DelegatingObjectVisitorEx.visit(OWLOntology ontology) |
void |
DLExpressivityChecker.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,
OWLOntologyManager manager) |
ImportsStructureObjectSorter(OWLOntology ontology,
OWLOntologyManager manager,
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.
|
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 shortforms of
these entities.
|
DLExpressivityChecker(Set<OWLOntology> ontologies) |
OWLEntityRemover(OWLOntologyManager owlOntologyManager,
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.
|
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 | Class and Description |
---|---|
class |
OWLOntologyImpl |
Modifier and Type | Method and Description |
---|---|
Set<OWLOntology> |
OWLOntologyImpl.getDirectImports() |
Set<OWLOntology> |
OWLOntologyManagerImpl.getDirectImports(OWLOntology ontology) |
Set<OWLOntology> |
OWLOntologyImpl.getImports() |
Set<OWLOntology> |
OWLOntologyManagerImpl.getImports(OWLOntology ontology) |
Set<OWLOntology> |
OWLOntologyImpl.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 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) |
static Set<OWLAnnotationAssertionAxiom> |
ImplUtils.getAnnotationAxioms(OWLEntity entity,
Set<OWLOntology> ontologies) |
static Set<OWLAnnotation> |
ImplUtils.getAnnotations(OWLEntity entity,
OWLAnnotationProperty annotationProperty,
Set<OWLOntology> ontologies) |
static Set<OWLAnnotation> |
ImplUtils.getAnnotations(OWLEntity entity,
Set<OWLOntology> ontologies) |
Set<OWLClassExpression> |
OWLClassImpl.getDisjointClasses(Set<OWLOntology> ontologies) |
Set<P> |
OWLPropertyExpressionImpl.getDisjointProperties(Set<OWLOntology> ontologies) |
Set<OWLClassExpression> |
OWLPropertyExpressionImpl.getDomains(Set<OWLOntology> ontologies) |
Set<OWLClassExpression> |
OWLClassImpl.getEquivalentClasses(Set<OWLOntology> ontologies) |
Set<P> |
OWLPropertyExpressionImpl.getEquivalentProperties(Set<OWLOntology> ontologies) |
Set<OWLIndividual> |
OWLClassImpl.getIndividuals(Set<OWLOntology> ontologies) |
Set<OWLObjectPropertyExpression> |
OWLObjectPropertyExpressionImpl.getInverses(Set<OWLOntology> ontologies) |
Set<R> |
OWLPropertyExpressionImpl.getRanges(Set<OWLOntology> ontologies) |
Set<OWLClassExpression> |
OWLClassImpl.getSubClasses(Set<OWLOntology> ontologies) |
Set<P> |
OWLPropertyExpressionImpl.getSubProperties(Set<OWLOntology> ontologies) |
Set<OWLAnnotationProperty> |
OWLAnnotationPropertyImpl.getSubProperties(Set<OWLOntology> ontologies) |
Set<OWLClassExpression> |
OWLClassImpl.getSuperClasses(Set<OWLOntology> ontologies) |
Set<P> |
OWLPropertyExpressionImpl.getSuperProperties(Set<OWLOntology> ontologies) |
Set<OWLAnnotationProperty> |
OWLAnnotationPropertyImpl.getSuperProperties(Set<OWLOntology> ontologies) |
Set<OWLClassExpression> |
OWLIndividualImpl.getTypes(Set<OWLOntology> ontologies) |
boolean |
OWLObjectPropertyExpressionImpl.isAsymmetric(Set<OWLOntology> ontologies) |
boolean |
OWLClassImpl.isDefined(Set<OWLOntology> ontologies) |
boolean |
OWLObjectPropertyExpressionImpl.isFunctional(Set<OWLOntology> ontologies) |
boolean |
OWLDataPropertyImpl.isFunctional(Set<OWLOntology> ontologies) |
boolean |
OWLObjectPropertyExpressionImpl.isInverseFunctional(Set<OWLOntology> ontologies) |
boolean |
OWLObjectPropertyExpressionImpl.isIrreflexive(Set<OWLOntology> ontologies) |
boolean |
OWLObjectPropertyExpressionImpl.isReflexive(Set<OWLOntology> ontologies) |
boolean |
OWLObjectPropertyExpressionImpl.isSymmetric(Set<OWLOntology> ontologies) |
boolean |
OWLObjectPropertyExpressionImpl.isTransitive(Set<OWLOntology> ontologies) |
Modifier and Type | Method and Description |
---|---|
Set<OWLOntology> |
ManchesterOWLSyntaxFrameRenderer.getOntologies()
Gets the ontologies.
|
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.writeRules(Collection<SWRLRule> rules,
OWLOntology... ontologiesToWrite)
Writes out the specified rules.
|
void |
ManchesterOWLSyntaxFrameRenderer.writeSection(ManchesterOWLSyntax keyword,
Collection<?> content,
String delimeter,
boolean newline,
OWLOntology... ontologiesList)
Write section.
|
void |
ManchesterOWLSyntaxFrameRenderer.writeSection(ManchesterOWLSyntax keyword,
SectionMap content,
String delimeter,
boolean newline,
OWLOntology... ontologiesList)
Write section.
|
Constructor and Description |
---|
ManchesterOWLSyntaxFrameRenderer(OWLOntologyManager owlOntologyManager,
OWLOntology ontology,
Writer writer,
ShortFormProvider entityShortFormProvider)
Deprecated.
|
ManchesterOWLSyntaxFrameRenderer(OWLOntologyManager owlOntologyManager,
Set<OWLOntology> ontologies,
OWLOntology defaultOntology,
Writer writer,
ShortFormProvider entityShortFormProvider)
Deprecated.
|
ManchesterOWLSyntaxFrameRenderer(OWLOntology ontology,
Writer writer,
ShortFormProvider entityShortFormProvider)
Instantiates a new manchester owl syntax frame renderer.
|
ManchesterOWLSyntaxFrameRenderer(Set<OWLOntology> ontologies,
OWLOntology defaultOntology,
Writer writer,
ShortFormProvider entityShortFormProvider)
Deprecated.
|
ManchesterOWLSyntaxPrefixNameShortFormProvider(OWLOntologyManager man,
OWLOntology ont)
Deprecated.
|
Constructor and Description |
---|
ManchesterOWLSyntaxFrameRenderer(OWLOntologyManager owlOntologyManager,
Set<OWLOntology> ontologies,
OWLOntology defaultOntology,
Writer writer,
ShortFormProvider entityShortFormProvider)
Deprecated.
|
ManchesterOWLSyntaxFrameRenderer(Set<OWLOntology> ontologies,
OWLOntology defaultOntology,
Writer writer,
ShortFormProvider entityShortFormProvider)
Deprecated.
|
ManchesterOWLSyntaxFrameRenderer(Set<OWLOntology> ontologies,
Writer writer,
ShortFormProvider entityShortFormProvider)
Instantiates a new manchester owl syntax frame renderer.
|
Modifier and Type | Method and Description |
---|---|
OWLOntologyFormat |
TurtleOntologyParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology) |
OWLOntologyFormat |
TurtleOntologyParser.parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration) |
Constructor and Description |
---|
OWLRDFConsumerAdapter(OWLOntology ontology,
AnonymousNodeChecker checker,
OWLOntologyLoaderConfiguration configuration)
Instantiates a new oWLRDF consumer adapter.
|
OWLRDFConsumerAdapter(OWLOntologyManager owlOntologyManager,
OWLOntology ontology,
AnonymousNodeChecker checker,
OWLOntologyLoaderConfiguration configuration)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
void |
DLSyntaxObjectRenderer.visit(OWLOntology ontology) |
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)
Creates a new module extractor for a subset of a given ontology, its
manager, and a specified type of locality.
|
Copyright © 2017 The University of Manchester. All Rights Reserved.