Modifier and Type | Method and Description |
---|---|
boolean |
DefinitionTracker.isDefined(OWLEntity entity)
Checks if this entity is referred by a logical axiom in the imports
closure of the designated ontology.
|
Modifier and Type | Method and Description |
---|---|
boolean |
SyntacticLocalityEvaluator.isLocal(OWLAxiom axiom,
Collection<OWLEntity> signature) |
boolean |
SemanticLocalityEvaluator.isLocal(OWLAxiom axiom,
Collection<OWLEntity> signature) |
boolean |
LocalityEvaluator.isLocal(OWLAxiom axiom,
Collection<OWLEntity> signature)
Tests whether a given axiom is local with respect to a given signature.
|
Modifier and Type | Method and Description |
---|---|
String |
ManchesterSyntaxTool.getId(OWLEntity entity)
Translate the
OWLEntity identifier into the short form as expected by the parser. |
Modifier and Type | Method and Description |
---|---|
List<OWLAnnotationAssertionAxiom> |
OboInOwlCardinalityTools.AnnotationCardinalityConfictHandler.handleConflict(OWLEntity entity,
OWLAnnotationProperty property,
Collection<OWLAnnotationAssertionAxiom> axioms)
Resolve a conflict for a given annotation property and axioms.
|
void |
OboInOwlCardinalityTools.AnnotationCardinalityReporter.reportConflict(OWLEntity entity,
OWLAnnotationProperty property,
Collection<OWLAnnotationAssertionAxiom> axioms)
Report a conflict for a given annotation property and axioms.
|
boolean |
Obo2OWLConstants.Obo2OWLVocabulary.sameIRI(OWLEntity e) |
Modifier and Type | Method and Description |
---|---|
static OWLDeclarationAxiom |
OWLFunctionalSyntaxFactory.Declaration(OWLEntity entity) |
static OWLDeclarationAxiom |
OWLFunctionalSyntaxFactory.Declaration(OWLEntity entity,
Collection<OWLAnnotation> a) |
static OWLDeclarationAxiom |
OWLFunctionalSyntaxFactory.Declaration(OWLEntity entity,
OWLAnnotation... a) |
Modifier and Type | Method and Description |
---|---|
Stream<OWLEntity> |
OntologyAnnotationChangeData.signature() |
Modifier and Type | Method and Description |
---|---|
OWLEntity |
OWLFunctionalSyntaxParser.Entity() |
Modifier and Type | Method and Description |
---|---|
OWLEntity |
RDFResourceParseError.getParserGeneratedErrorEntity() |
Constructor and Description |
---|
RDFResourceParseError(OWLEntity parserGeneratedErrorEntity,
RDFNode mainNode,
Set<RDFTriple> mainNodeTriples) |
Modifier and Type | Method and Description |
---|---|
String |
ManchesterOWLSyntaxPrefixNameShortFormProvider.getShortForm(OWLEntity entity) |
Collection<OWLAxiom> |
ManchesterOWLSyntaxFrameRenderer.writeFrame(OWLEntity entity)
Write frame.
|
Modifier and Type | Class and Description |
---|---|
class |
EntityType<E extends OWLEntity>
Represents the different types of OWL 2 Entities.
|
Modifier and Type | Interface and Description |
---|---|
interface |
OWLAnnotationProperty
Represents an
AnnotationProperty in the OWL 2 specification.
|
interface |
OWLClass
Represents a Class in
the OWL 2 specification.
|
interface |
OWLDataProperty
Represents a Data
Property in the OWL 2 Specification.
|
interface |
OWLDatatype
Represents a
Datatype (named
data range) in the OWL 2 Specification.
|
interface |
OWLLogicalEntity
Deprecated.
this interface is redundant
|
interface |
OWLNamedIndividual
Represents a
Named
Individual in the OWL 2 Specification.
|
interface |
OWLObjectProperty
Represents an
Object
Property in the OWL 2 Specification.
|
interface |
OWLProperty
A marker interface for properties that aren't expression i.e.
|
Modifier and Type | Method and Description |
---|---|
OWLEntity |
OWLDeclarationAxiom.getEntity() |
Modifier and Type | Method and Description |
---|---|
Stream<OWLEntity> |
HasGetEntitiesInSignature.entitiesInSignature(IRI entityIRI) |
default Stream<OWLEntity> |
OWLSignature.entitiesInSignature(IRI iri,
Imports imports)
Gets the entities in the signature that have the specified IRI.
|
default Set<OWLEntity> |
HasGetEntitiesInSignature.getEntitiesInSignature(IRI entityIRI) |
default Set<OWLEntity> |
OWLSignatureBooleanArgs.getEntitiesInSignature(IRI iri,
boolean includeImportsClosure)
Deprecated.
|
default Set<OWLEntity> |
OWLSignature.getEntitiesInSignature(IRI iri,
Imports includeImportsClosure)
Gets the entities in the signature that have the specified IRI.
|
default Set<OWLEntity> |
HasSignature.getSignature()
Gets the signature of this object.
|
default Set<OWLEntity> |
OWLOntology.getSignature(Imports imports)
Gets the entities that are in the signature of this ontology.
|
Stream<OWLEntity> |
OWLAxiomChange.signature() |
default Stream<OWLEntity> |
HasSignature.signature() |
Stream<OWLEntity> |
AnnotationChange.signature() |
default Stream<OWLEntity> |
OWLOntology.signature(Imports imports)
Gets the entities that are in the signature of this ontology.
|
default Stream<OWLEntity> |
HasSignature.unsortedSignature() |
Modifier and Type | Method and Description |
---|---|
default boolean |
HasContainsEntityInSignature.containsEntityInSignature(OWLEntity owlEntity)
Determines if the signature of this object contains the specified entity.
|
default boolean |
OWLSignatureBooleanArgs.containsEntityInSignature(OWLEntity owlEntity,
boolean includeImportsClosure)
Deprecated.
|
default boolean |
OWLSignature.containsEntityInSignature(OWLEntity owlEntity,
Imports imports)
Determines if the signature contains the specified entity.
|
boolean |
OWLSignature.containsReference(OWLEntity entity)
|
default boolean |
OWLSignatureBooleanArgs.containsReference(OWLEntity entity,
boolean includeImportsClosure)
Deprecated.
|
default boolean |
OWLSignature.containsReference(OWLEntity entity,
Imports imports)
Deprecated.
|
default Stream<OWLDeclarationAxiom> |
OWLAxiomIndex.declarationAxioms(OWLEntity subject)
Gets the declaration axioms for specified entity.
|
default Set<OWLDeclarationAxiom> |
OWLAxiomIndex.getDeclarationAxioms(OWLEntity subject)
Gets the declaration axioms for specified entity.
|
boolean |
OWLOntology.isDeclared(OWLEntity owlEntity)
Determines if this ontology declares an entity i.e.
|
default boolean |
OWLOntology.isDeclared(OWLEntity owlEntity,
Imports imports)
Determines if this ontology or its imports closure declares an entity i.e.
|
static boolean |
OWLDocumentFormat.isMissingType(OWLEntity entity,
OWLOntology ontology)
Determines if a declaration axiom (type triple) needs to be added to the specified ontology
for the given entity.
|
Modifier and Type | Method and Description |
---|---|
static Collection<IRI> |
OWLDocumentFormat.determineIllegalPunnings(boolean add,
Stream<OWLEntity> signature,
Collection<IRI> punnedEntities) |
Modifier and Type | Method and Description |
---|---|
default OWLDeclarationAxiom |
DeclarationAxiomProvider.getOWLDeclarationAxiom(OWLEntity owlEntity)
Gets a declaration for an entity
|
OWLDeclarationAxiom |
DeclarationAxiomProvider.getOWLDeclarationAxiom(OWLEntity owlEntity,
Collection<OWLAnnotation> annotations)
Gets a declaration with zero or more annotations for an entity
|
Modifier and Type | Method and Description |
---|---|
<E extends OWLEntity> |
EntityByTypeProvider.getOWLEntity(EntityType<E> entityType,
IRI iri)
Gets an entity that has the specified IRI and is of the specified type.
|
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
OntologySegmenter.extract(Set<OWLEntity> signature)
Returns a set of axioms that is a segment of the ontology associated with this segmenter.
|
Set<OWLAxiom> |
OntologySegmenter.extract(Set<OWLEntity> signature,
int superClassLevel,
int subClassLevel,
OWLReasoner reasoner)
Returns a set of axioms that is a segment of the ontology associated with this segmenter.
|
default Stream<OWLAxiom> |
ModuleExtractor.extract(Stream<OWLEntity> signature)
Extracts a module with respect to the given signature against the axiom base of this
ModuleExtractor . |
Stream<OWLAxiom> |
ModuleExtractor.extract(Stream<OWLEntity> signature,
Optional<Predicate<OWLAxiom>> axiomFilter)
Extracts a module with respect to the given signature against the subset of the axiom base
this
ModuleExtractor s axiom base that matches the given Predicate , if any. |
default Stream<OWLAxiom> |
ModuleExtractor.extract(Stream<OWLEntity> signature,
Predicate<OWLAxiom> axiomFilter)
Extracts a module with respect to the given signature against the subset of the axiom base
this
ModuleExtractor s axiom base that matches the given Predicate . |
OWLOntology |
OntologySegmenter.extractAsOntology(Set<OWLEntity> signature,
IRI iri)
Returns an ontology that is a segment of the ontology associated with this segmenter.
|
OWLOntology |
OntologySegmenter.extractAsOntology(Set<OWLEntity> signature,
IRI iri,
int superClassLevel,
int subClassLevel,
OWLReasoner reasoner)
Returns an ontology that is a segment of the ontology associated with this segmenter.
|
default OWLOntology |
ModuleExtractor.extractAsOntology(Stream<OWLEntity> signature,
OWLOntologyManager ontologyManager,
IRI ontologyIRI)
Extracts a module as an
OWLOntology with respect to the given signature over the
given axiom base. |
Modifier and Type | Method and Description |
---|---|
Stream<OWLAxiom> |
LocalityModuleExtractor.extract(Stream<OWLEntity> signature,
Optional<Predicate<OWLAxiom>> axiomFilter) |
boolean |
SyntacticLocalityEvaluator.isLocal(OWLAxiom axiom,
Collection<OWLEntity> signature) |
boolean |
SemanticLocalityEvaluator.isLocal(OWLAxiom axiom,
Collection<OWLEntity> signature) |
boolean |
LocalityEvaluator.isLocal(OWLAxiom axiom,
Collection<OWLEntity> signature)
Tests whether the given axiom is local with respect to the given signature.
|
default boolean |
LocalityEvaluator.isLocal(OWLAxiom axiom,
Stream<OWLEntity> signature)
Tests whether the given axiom is local with respect to the given signature.
|
Modifier and Type | Method and Description |
---|---|
List<OWLProfileViolation> |
OWLProfileReport.getViolations(OWLEntity e) |
Modifier and Type | Method and Description |
---|---|
OWLEntity |
UseOfUndeclaredObjectProperty.getEntity() |
OWLEntity |
UseOfUndeclaredDatatype.getEntity() |
OWLEntity |
UseOfUndeclaredDataProperty.getEntity() |
OWLEntity |
UseOfUndeclaredClass.getEntity() |
OWLEntity |
UseOfUndeclaredAnnotationProperty.getEntity() |
OWLEntity |
UndeclaredEntityViolation.getEntity() |
Modifier and Type | Method and Description |
---|---|
<E extends OWLEntity> |
OWLRDFConsumer.generateAndLogParseError(EntityType<E> entityType,
IRI mainNode) |
Modifier and Type | Method and Description |
---|---|
Set<OWLEntity> |
RDFXMLNamespaceManager.getEntitiesWithInvalidQNames() |
Set<OWLEntity> |
RDFXMLRenderer.getUnserialisableEntities() |
Modifier and Type | Method and Description |
---|---|
Collection<OWLEntity> |
FreshEntitiesException.getEntities()
Gets the entities.
|
Constructor and Description |
---|
FreshEntitiesException(OWLEntity entity) |
FreshEntitiesException(OWLEntity entity,
Throwable t) |
Constructor and Description |
---|
FreshEntitiesException(Collection<OWLEntity> entities) |
FreshEntitiesException(Collection<OWLEntity> entities,
Throwable t) |
Modifier and Type | Method and Description |
---|---|
static Stream<OWLAnnotationAssertionAxiom> |
EntitySearcher.getAnnotationAssertionAxioms(OWLEntity e,
OWLOntology ontology) |
static Stream<OWLAnnotation> |
EntitySearcher.getAnnotationObjects(OWLEntity e,
OWLOntology ontology)
Obtains the annotations on e; this is restricted to the object of annotation assertion
axioms.
|
static Stream<OWLAnnotation> |
EntitySearcher.getAnnotationObjects(OWLEntity e,
OWLOntology ontology,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property; this
is restricted to the object of annotation assertion axioms.
|
static Stream<OWLAnnotation> |
EntitySearcher.getAnnotationObjects(OWLEntity e,
Stream<OWLOntology> ontologies,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property; this
is restricted to the object of annotation assertion axioms.
|
static Stream<OWLAnnotation> |
EntitySearcher.getAnnotations(OWLEntity e,
OWLOntology ontology)
Gets the annotations for e.
|
static Stream<OWLAnnotation> |
EntitySearcher.getAnnotations(OWLEntity e,
OWLOntology ontology,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property.
|
static Stream<OWLAnnotation> |
EntitySearcher.getAnnotations(OWLEntity e,
Stream<OWLOntology> ontologies,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property.
|
static Stream<OWLAxiom> |
EntitySearcher.getReferencingAxioms(OWLEntity e,
OWLOntology ontology)
Gets the axioms in the specified ontology that contain e in their signature.
|
static Stream<OWLAxiom> |
EntitySearcher.getReferencingAxioms(OWLEntity e,
OWLOntology ontology,
Imports includeImports)
Gets the axioms in the specified ontology and possibly its imports closure that contain e in
their signature.
|
Modifier and Type | Class and Description |
---|---|
class |
InferredEntityAxiomGenerator<E extends OWLEntity,A extends OWLAxiom>
Generates axioms which relate to inferred information for a specific entity.
|
interface |
OWLEntitySetProvider<E extends OWLEntity>
Provides a set of entities to inputs that require this.
|
Modifier and Type | Method and Description |
---|---|
OWLEntity |
CachingBidirectionalShortFormProvider.getEntity(String shortForm) |
OWLEntity |
BidirectionalShortFormProvider.getEntity(String shortForm)
A convenience method which gets an entity from its short form.
|
Modifier and Type | Method and Description |
---|---|
Stream<OWLEntity> |
CachingBidirectionalShortFormProvider.entities(String shortForm) |
Stream<OWLEntity> |
BidirectionalShortFormProvider.entities(String shortForm)
For a given short form this method obtains the entities which have this short form.
|
Set<OWLEntity> |
OWLEntityCollectingOntologyChangeListener.getEntities() |
default Set<OWLEntity> |
BidirectionalShortFormProvider.getEntities(String shortForm)
For a given short form this method obtains the entities which have this short form.
|
Collection<OWLEntity> |
OWLEntityCollector.visit(OWLAnnotationProperty property) |
Collection<OWLEntity> |
OWLEntityCollector.visit(OWLClass ce) |
Collection<OWLEntity> |
OWLEntityCollector.visit(OWLDataProperty property) |
Collection<OWLEntity> |
OWLEntityCollector.visit(OWLDatatype node) |
Collection<OWLEntity> |
OWLEntityCollector.visit(OWLNamedIndividual individual) |
Collection<OWLEntity> |
OWLEntityCollector.visit(OWLObjectProperty property) |
Collection<OWLEntity> |
OWLEntityCollector.visit(OWLOntology ontology) |
Modifier and Type | Method and Description |
---|---|
void |
CachingBidirectionalShortFormProvider.add(OWLEntity entity)
Adds an entity to the cache.
|
List<OWLOntologyChange> |
OWLEntityRenamer.changeIRI(OWLEntity entity,
IRI newIRI)
Changes the IRI of an entity for another IRI.
|
int |
OWLEntityIRIComparator.compare(OWLEntity o1,
OWLEntity o2) |
int |
OWLEntityComparator.compare(OWLEntity o1,
OWLEntity o2) |
IRI |
OWLEntityURIUnderscores2CamelBackConverterStrategy.getConvertedIRI(OWLEntity entity) |
IRI |
OWLEntityURIConverterStrategy.getConvertedIRI(OWLEntity entity) |
IRI |
OWLEntityTinyURIConversionStrategy.getConvertedIRI(OWLEntity entity) |
String |
OWLEntityFragmentProvider.getName(OWLEntity entity) |
String |
SimpleShortFormProvider.getShortForm(OWLEntity entity) |
String |
ShortFormProvider.getShortForm(OWLEntity entity)
Gets the short form for the specified entity.
|
String |
ShortFormFromRDFSLabelAxiomListProvider.getShortForm(OWLEntity entity) |
String |
QNameShortFormProvider.getShortForm(OWLEntity entity) |
String |
PropertyAssertionValueShortFormProvider.getShortForm(OWLEntity entity) |
String |
DefaultPrefixManager.getShortForm(OWLEntity entity) |
String |
CachingBidirectionalShortFormProvider.getShortForm(OWLEntity entity) |
String |
AnnotationValueShortFormProvider.getShortForm(OWLEntity entity) |
Modifier and Type | Method and Description |
---|---|
List<OWLOntologyChange> |
OWLEntityRenamer.changeIRI(Map<OWLEntity,IRI> entity2IRIMap) |
Constructor and Description |
---|
OWLAnnotationPropertyTransformer(Map<OWLEntity,OWLEntity> entityIRIReplacementMap,
OWLDataFactory dataFactory)
Creates an object duplicator that duplicates objects using the specified data factory and uri
replacement map.
|
OWLAnnotationPropertyTransformer(Map<OWLEntity,OWLEntity> entityIRIReplacementMap,
OWLDataFactory dataFactory)
Creates an object duplicator that duplicates objects using the specified data factory and uri
replacement map.
|
OWLAnnotationPropertyTransformer(OWLDataFactory dataFactory,
Map<OWLEntity,OWLEntity> iriReplacementMap)
Creates an object duplicator that duplicates objects using the specified data factory and uri
replacement map.
|
OWLAnnotationPropertyTransformer(OWLDataFactory dataFactory,
Map<OWLEntity,OWLEntity> iriReplacementMap)
Creates an object duplicator that duplicates objects using the specified data factory and uri
replacement map.
|
OWLEntityCollector(Collection<OWLEntity> toReturn) |
OWLObjectDuplicator(Map<OWLEntity,IRI> entityIRIReplacementMap,
Map<OWLLiteral,OWLLiteral> literals,
OWLOntologyManager m)
Creates an object duplicator that duplicates objects using the specified data factory and uri
replacement map.
|
OWLObjectDuplicator(Map<OWLEntity,IRI> entityIRIReplacementMap,
Map<OWLLiteral,OWLLiteral> literals,
OWLOntologyManager m,
RemappingIndividualProvider anonProvider)
Creates an object duplicator that duplicates objects using the specified data factory and uri
replacement map.
|
OWLObjectDuplicator(Map<OWLEntity,IRI> entityIRIReplacementMap,
OWLOntologyManager m)
Creates an object duplicator that duplicates objects using the specified data factory and uri
replacement map.
|
Modifier and Type | Method and Description |
---|---|
boolean |
OWL2Datatype.matches(OWLEntity e) |
Modifier and Type | Class and Description |
---|---|
class |
BaseEntityBuilder<T extends OWLEntity,B>
Abstract builder for entities.
|
Modifier and Type | Method and Description |
---|---|
OWLEntity |
BuilderEntity.buildObject() |
OWLEntity |
BuilderDeclaration.getEntity() |
Modifier and Type | Method and Description |
---|---|
BuilderDeclaration |
BuilderDeclaration.withEntity(OWLEntity arg) |
Constructor and Description |
---|
BuilderEntity(OWLEntity expected,
OWLDataFactory df)
Builder initialized from an existing object.
|
Modifier and Type | Method and Description |
---|---|
Set<OWLEntity> |
Signature.getSignature() |
List<OWLEntity> |
Signature.intersect(Signature s2) |
Stream<OWLEntity> |
AxiomWrapper.signature() |
Modifier and Type | Method and Description |
---|---|
boolean |
Signature.add(OWLEntity p) |
boolean |
Signature.contains(OWLEntity p) |
Collection<AxiomWrapper> |
SigIndex.getAxioms(OWLEntity entity)
given an entity, return a set of all axioms that contain this entity in a signature
|
Modifier and Type | Method and Description |
---|---|
void |
Signature.addAll(Stream<OWLEntity> p) |
Collection<AxiomWrapper> |
Decomposer.getModule(Stream<OWLEntity> signature,
boolean useSemantics,
ModuleType moduletype) |
Set<OWLAxiom> |
Decomposer.getNonLocal(Stream<OWLEntity> signature,
ModuleType moduletype) |
Constructor and Description |
---|
Signature(Stream<OWLEntity> sig) |
Modifier and Type | Method and Description |
---|---|
Collection<OWLEntity> |
Atom.getLabel() |
Set<OWLEntity> |
AtomicDecompositionImpl.getPrincipalIdealSignature(Atom atom) |
Set<OWLEntity> |
AtomicDecomposition.getPrincipalIdealSignature(Atom atom) |
Collection<OWLEntity> |
Atom.getSignature() |
Map<OWLEntity,Set<Atom>> |
AtomicDecompositionImpl.getTermBasedIndex() |
Map<OWLEntity,Set<Atom>> |
AtomicDecomposition.getTermBasedIndex() |
Modifier and Type | Method and Description |
---|---|
Stream<OWLAxiom> |
AtomicDecompositionImpl.getModule(Stream<OWLEntity> signature,
boolean useSemantics,
ModuleType moduletype) |
Stream<OWLAxiom> |
AtomicDecomposition.getModule(Stream<OWLEntity> signature,
boolean useSemantics,
ModuleType moduletype) |
void |
Atom.setLabel(Collection<OWLEntity> labelSignature) |
Modifier and Type | Method and Description |
---|---|
Collection<OWLAxiom> |
OntologyBasedModularizer.getModule(Stream<OWLEntity> entities,
ModuleType type) |
Modifier and Type | Class and Description |
---|---|
class |
OWL2DatatypeImpl
An optimised implementation of OWLDatatype for OWL2Datatypes.
|
class |
OWLAnnotationPropertyImpl |
class |
OWLClassImpl |
class |
OWLDataPropertyImpl |
class |
OWLDatatypeImpl |
class |
OWLNamedIndividualImpl |
class |
OWLObjectPropertyImpl |
Modifier and Type | Method and Description |
---|---|
<E extends OWLEntity> |
OWLDataFactoryImpl.getOWLEntity(EntityType<E> entityType,
IRI iri) |
Modifier and Type | Method and Description |
---|---|
OWLEntity |
OWLDeclarationAxiomImpl.getEntity() |
Modifier and Type | Method and Description |
---|---|
default Set<OWLEntity> |
HasIncrementalSignatureGenerationSupport.addSignatureEntitiesToSet(Set<OWLEntity> entities) |
Stream<OWLEntity> |
OWLImmutableOntologyImpl.entitiesInSignature(IRI iri) |
Stream<OWLEntity> |
OWLObjectImpl.signature() |
Stream<OWLEntity> |
OWLImmutableOntologyImpl.signature() |
Stream<OWLEntity> |
OWL2DatatypeImpl.signature() |
Stream<OWLEntity> |
OWLImmutableOntologyImpl.unsortedSignature() |
Modifier and Type | Method and Description |
---|---|
boolean |
OWLObjectImpl.containsEntityInSignature(OWLEntity owlEntity) |
boolean |
OWLImmutableOntologyImpl.containsEntityInSignature(OWLEntity owlEntity) |
boolean |
OWL2DatatypeImpl.containsEntityInSignature(OWLEntity owlEntity) |
boolean |
OWLImmutableOntologyImpl.containsReference(OWLEntity entity) |
boolean |
Internals.containsReference(OWLEntity entity) |
boolean |
OWLImmutableOntologyImpl.containsReference(OWLEntity entity,
Imports includeImportsClosure) |
OWLDeclarationAxiom |
OWLDataFactoryImpl.getOWLDeclarationAxiom(OWLEntity owlEntity,
Collection<OWLAnnotation> annotations) |
Stream<OWLAxiom> |
Internals.getReferencingAxioms(OWLEntity owlEntity) |
boolean |
OWLImmutableOntologyImpl.isDeclared(OWLEntity owlEntity) |
boolean |
Internals.isDeclared(OWLEntity e) |
Modifier and Type | Method and Description |
---|---|
default Set<OWLEntity> |
HasIncrementalSignatureGenerationSupport.addSignatureEntitiesToSet(Set<OWLEntity> entities) |
Constructor and Description |
---|
OWLDeclarationAxiomImpl(OWLEntity entity,
Collection<OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
Stream<OWLEntity> |
ConcurrentOWLOntologyImpl.entitiesInSignature(IRI iri) |
Stream<OWLEntity> |
ConcurrentOWLOntologyImpl.entitiesInSignature(IRI iri,
Imports imports) |
Set<OWLEntity> |
ConcurrentOWLOntologyImpl.getEntitiesInSignature(IRI iri) |
Set<OWLEntity> |
ConcurrentOWLOntologyImpl.getEntitiesInSignature(IRI iri,
boolean b) |
Set<OWLEntity> |
ConcurrentOWLOntologyImpl.getEntitiesInSignature(IRI iri,
Imports imports) |
Set<OWLEntity> |
ConcurrentOWLOntologyImpl.getSignature() |
Set<OWLEntity> |
ConcurrentOWLOntologyImpl.getSignature(Imports imports) |
Stream<OWLEntity> |
ConcurrentOWLOntologyImpl.signature() |
Stream<OWLEntity> |
ConcurrentOWLOntologyImpl.signature(Imports imports) |
Modifier and Type | Method and Description |
---|---|
boolean |
ConcurrentOWLOntologyImpl.containsEntityInSignature(OWLEntity owlEntity) |
boolean |
ConcurrentOWLOntologyImpl.containsEntityInSignature(OWLEntity owlEntity,
boolean b) |
boolean |
ConcurrentOWLOntologyImpl.containsEntityInSignature(OWLEntity owlEntity,
Imports imports) |
boolean |
ConcurrentOWLOntologyImpl.containsReference(OWLEntity owlEntity) |
boolean |
ConcurrentOWLOntologyImpl.containsReference(OWLEntity owlEntity,
boolean b) |
boolean |
ConcurrentOWLOntologyImpl.containsReference(OWLEntity owlEntity,
Imports imports) |
Stream<OWLDeclarationAxiom> |
ConcurrentOWLOntologyImpl.declarationAxioms(OWLEntity subject) |
Set<OWLDeclarationAxiom> |
ConcurrentOWLOntologyImpl.getDeclarationAxioms(OWLEntity owlEntity) |
boolean |
ConcurrentOWLOntologyImpl.isDeclared(OWLEntity owlEntity) |
boolean |
ConcurrentOWLOntologyImpl.isDeclared(OWLEntity owlEntity,
Imports imports) |
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
SyntacticLocalityModuleExtractor.extract(Set<OWLEntity> signature) |
Set<OWLAxiom> |
SyntacticLocalityModuleExtractor.extract(Set<OWLEntity> sig,
int superClassLevel,
int subClassLevel,
OWLReasoner reasoner)
Extracts a module from the associated ontology for a given signature and the associated
module type, and returns the module as a set of axioms.
|
OWLOntology |
SyntacticLocalityModuleExtractor.extractAsOntology(Set<OWLEntity> signature,
IRI iri) |
OWLOntology |
SyntacticLocalityModuleExtractor.extractAsOntology(Set<OWLEntity> signature,
IRI iri,
int superClassLevel,
int subClassLevel,
OWLReasoner reasoner) |
Copyright © 2020 The University of Manchester. All rights reserved.