Package | Description |
---|---|
com.clarkparsia.owlapi.explanation |
Explanation package
|
org.semanticweb.owlapi.apibinding |
Binding package
|
org.semanticweb.owlapi.change |
Ontology change classes.
|
org.semanticweb.owlapi.debugging |
Debugging package
|
org.semanticweb.owlapi.latex.renderer |
LaTeX syntax renderer
|
org.semanticweb.owlapi.manchestersyntax.parser | |
org.semanticweb.owlapi.model |
Main API classes.
|
org.semanticweb.owlapi.normalform |
Normal form package
|
org.semanticweb.owlapi.rdf.rdfxml.parser | |
org.semanticweb.owlapi.reasoner.impl |
OWLReasoner implementation package
|
org.semanticweb.owlapi.util |
Utilities package
|
org.semanticweb.owlapi.vocab |
Vocabulary package
|
org.semanticweb.owlapitools.builders | |
uk.ac.manchester.cs.owl.owlapi |
OWL API reference implementation package
|
Constructor and Description |
---|
SatisfiabilityConverter(OWLDataFactory factory)
Instantiates a new satisfiability converter.
|
Modifier and Type | Method and Description |
---|---|
static OWLDataFactory |
OWLManager.getOWLDataFactory()
Gets a global data factory that can be used to create OWL API objects.
|
static OWLDataFactory |
OWLManager.getOWLDataFactory(OWLOntologyLoaderConfiguration config)
Gets a global data factory that can be used to create OWL API objects.
|
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.
|
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.
|
RemoveAllDisjointAxioms(OWLDataFactory dataFactory,
Set<OWLOntology> ontologies)
Instantiates a new removes the all disjoint axioms.
|
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.
|
SplitSubClassAxioms(Set<OWLOntology> ontologies,
OWLDataFactory dataFactory)
Creates a composite change to split subclass axioms into multiple more fine grained subclass
axioms.
|
Constructor and Description |
---|
DebuggerClassExpressionGenerator(OWLDataFactory dataFactory)
Instantiates a new debugger class expression generator.
|
Constructor and Description |
---|
LatexObjectVisitor(LatexWriter writer,
OWLDataFactory df) |
LatexOWLObjectRenderer(OWLDataFactory dataFactory) |
Constructor and Description |
---|
ManchesterOWLSyntaxClassExpressionParser(OWLDataFactory dataFactory,
OWLEntityChecker checker) |
ManchesterOWLSyntaxClassFrameParser(OWLDataFactory dataFactory,
OWLEntityChecker checker) |
ManchesterOWLSyntaxFramesParser(OWLDataFactory dataFactory,
OWLEntityChecker checker) |
ManchesterOWLSyntaxInlineAxiomParser(OWLDataFactory dataFactory,
OWLEntityChecker checker) |
ManchesterOWLSyntaxParserImpl(Supplier<OWLOntologyLoaderConfiguration> configurationProvider,
OWLDataFactory dataFactory) |
Modifier and Type | Method and Description |
---|---|
OWLDataFactory |
HasDataFactory.getOWLDataFactory()
Gets a data factory which can be used to create OWL API objects such as
classes, properties, individuals, axioms etc.
|
Constructor and Description |
---|
NegationalNormalFormConverter(OWLDataFactory dataFactory)
Instantiates a new negational normal form converter.
|
Modifier and Type | Method and Description |
---|---|
OWLDataFactory |
OWLRDFConsumer.getDataFactory()
Gets the data factory.
|
Modifier and Type | Method and Description |
---|---|
OWLDataFactory |
OWLReasonerBase.getOWLDataFactory() |
Constructor and Description |
---|
SatisfiabilityReducer(OWLDataFactory dataFactory) |
Modifier and Type | Method and Description |
---|---|
Set<A> |
InferredEntityAxiomGenerator.createAxioms(OWLDataFactory df,
OWLReasoner reasoner) |
Set<A> |
InferredAxiomGenerator.createAxioms(OWLDataFactory df,
OWLReasoner reasoner) |
void |
InferredOntologyGenerator.fillOntology(OWLDataFactory df,
OWLOntology ontology)
Adds 'inferred axioms' to an ontology using the generators that have been registered with
this
InferredAxiomGenerator . |
Constructor and Description |
---|
NNF(OWLDataFactory dataFactory) |
ObjectPropertySimplifier(OWLDataFactory dataFactory)
Deprecated.
|
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)
Creates an object duplicator that duplicates objects using the specified data factory.
|
OWLAnnotationPropertyTransformer(OWLDataFactory dataFactory,
Map<OWLEntity,OWLEntity> iriReplacementMap)
Creates an object duplicator that duplicates objects using the specified data factory and uri
replacement map.
|
OWLObjectDuplicator(Map<OWLEntity,IRI> entityIRIReplacementMap,
OWLDataFactory dataFactory)
Creates an object duplicator that duplicates objects using the specified data factory and uri
replacement map.
|
OWLObjectDuplicator(Map<OWLEntity,IRI> entityIRIReplacementMap,
OWLDataFactory dataFactory,
Map<OWLLiteral,OWLLiteral> literals)
Creates an object duplicator that duplicates objects using the specified data factory and uri
replacement map.
|
OWLObjectDuplicator(Map<OWLEntity,IRI> entityIRIReplacementMap,
OWLDataFactory dataFactory,
Map<OWLLiteral,OWLLiteral> literals,
RemappingIndividualProvider anonProvider)
Creates an object duplicator that duplicates objects using the specified data factory and uri
replacement map.
|
OWLObjectDuplicator(OWLDataFactory dataFactory)
Creates an object duplicator that duplicates objects using the specified data factory.
|
OWLObjectDuplicator(OWLDataFactory dataFactory,
Map<IRI,IRI> iriReplacementMap)
Creates an object duplicator that duplicates objects using the specified data factory and uri
replacement map.
|
OWLObjectDuplicator(OWLDataFactory dataFactory,
Map<IRI,IRI> iriReplacementMap,
Map<OWLLiteral,OWLLiteral> literals)
Creates an object duplicator that duplicates objects using the specified data factory and uri
replacement map.
|
OWLObjectTransformer(com.google.common.base.Predicate<Object> predicate,
com.google.common.base.Function<T,T> transformer,
OWLDataFactory df,
Class<T> witness) |
RemappingIndividualProvider(OWLDataFactory df) |
RemappingIndividualProvider(OWLDataFactory df,
boolean remapEnabled) |
StructuralTransformation(OWLDataFactory dataFactory) |
Modifier and Type | Method and Description |
---|---|
static Set<OWLAnnotationProperty> |
SKOSVocabulary.getAnnotationProperties(OWLDataFactory dataFactory) |
static Set<OWLClass> |
SKOSVocabulary.getClasses(OWLDataFactory dataFactory) |
static Set<OWLDataProperty> |
SKOSVocabulary.getDataProperties(OWLDataFactory dataFactory) |
OWLDatatype |
OWL2Datatype.getDatatype(OWLDataFactory factory)
Gets the equivalent OWLDatatype from the given factory.
|
static Set<OWLObjectProperty> |
SKOSVocabulary.getObjectProperties(OWLDataFactory dataFactory) |
Modifier and Type | Class and Description |
---|---|
class |
OWLDataFactoryImpl |
Modifier and Type | Method and Description |
---|---|
OWLDataFactory |
OWLOntologyManagerImpl.getOWLDataFactory() |
Constructor and Description |
---|
OWLOntologyManagerImpl(OWLDataFactory dataFactory,
ReadWriteLock readWriteLock) |
OWLOntologyManagerImpl(OWLDataFactory dataFactory,
ReadWriteLock readWriteLock,
PriorityCollectionSorting sorting) |
Copyright © 2020 The University of Manchester. All rights reserved.