Constructor and Description |
---|
SatisfiabilityConverter(OWLDataFactory factory)
Instantiates a new satisfiability converter.
|
Modifier and Type | Method and Description |
---|---|
void |
KRSS2Parser.setOntology(OWLOntology ontology,
OWLDataFactory dataFactory)
Sets the ontology.
|
Modifier and Type | Method and Description |
---|---|
void |
KRSSParser.setOntology(OWLOntology ontology,
OWLDataFactory dataFactory)
Sets the ontology.
|
Constructor and Description |
---|
LatexObjectVisitor(LatexWriter writer,
OWLDataFactory df) |
LatexOWLObjectRenderer(OWLDataFactory dataFactory) |
Constructor and Description |
---|
ManchesterOWLSyntaxClassExpressionParser(OWLDataFactory dataFactory,
OWLEntityChecker checker) |
ManchesterOWLSyntaxClassFrameParser(OWLDataFactory dataFactory,
OWLEntityChecker checker) |
ManchesterOWLSyntaxEditorParser(OWLDataFactory dataFactory,
String s) |
ManchesterOWLSyntaxEditorParser(OWLOntologyLoaderConfiguration configuration,
OWLDataFactory dataFactory,
String s) |
ManchesterOWLSyntaxFramesParser(OWLDataFactory dataFactory,
OWLEntityChecker checker) |
ManchesterOWLSyntaxInlineAxiomParser(OWLDataFactory dataFactory,
OWLEntityChecker checker) |
Modifier and Type | Method and Description |
---|---|
OWLDataFactory |
OWLXMLParserHandler.getDataFactory() |
Modifier and Type | Method and Description |
---|---|
OWLDataFactory |
OWLRDFConsumer.getDataFactory()
Gets the data factory.
|
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) |
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) |
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 |
---|---|
OWLDataFactory |
OWLManager.getFactory() |
static OWLDataFactory |
OWLManager.getOWLDataFactory()
Gets a global data factory that can be used to create OWL API objects.
|
Modifier and Type | Method and Description |
---|---|
OWLOntologyManager |
OWLManager.buildOWLOntologyManager(OWLDataFactory f) |
static OWLOntologyManager |
OWLManager.createOWLOntologyManager(OWLDataFactory dataFactory)
Creates an OWL ontology manager that is configured with standard parsers,
storeres etc.
|
Constructor and Description |
---|
DebuggerClassExpressionGenerator(OWLDataFactory dataFactory) |
Modifier and Type | Method and Description |
---|---|
OWLDataFactory |
OWLOntologyManagerFactory.getFactory() |
OWLDataFactory |
OWLOntologyManager.getOWLDataFactory()
Gets a data factory which can be used to create OWL API objects such as
classes, properties, individuals, axioms etc.
|
OWLDataFactory |
HasDataFactory.getOWLDataFactory() |
Modifier and Type | Method and Description |
---|---|
OWLOntologyManager |
OWLOntologyManagerFactory.buildOWLOntologyManager(OWLDataFactory f) |
Constructor and Description |
---|
NegationalNormalFormConverter(OWLDataFactory dataFactory) |
Modifier and Type | Method and Description |
---|---|
OWLDataFactory |
OWLReasonerBase.getOWLDataFactory() |
Constructor and Description |
---|
SatisfiabilityReducer(OWLDataFactory dataFactory) |
Modifier and Type | Method and Description |
---|---|
static <N extends Number> |
OWLDataUtil.getDatatype(OWLDataFactory dataFactory,
N n)
Given a
Number , this method returns the datatype of that number. |
static OWLDatatype |
OWLDataUtil.getDoubleDatatype(OWLDataFactory dataFactory) |
static Set<OWLFacetRestriction> |
OWLDataUtil.getFacetRestrictionSet(OWLDataFactory dataFactory,
OWLFacet facet,
OWLLiteral facetValue) |
static OWLDatatype |
OWLDataUtil.getFloatDatatype(OWLDataFactory dataFactory) |
static OWLDatatype |
OWLDataUtil.getIntDatatype(OWLDataFactory dataFactory) |
static OWLDatatype |
OWLDataUtil.getLongDatatype(OWLDataFactory dataFactory) |
static <N extends Number> |
OWLDataUtil.getMaxExclusiveRestrictedInteger(OWLDataFactory dataFactory,
N maxExclusive) |
static <N extends Number> |
OWLDataUtil.getMaxInclusiveRestrictedInteger(OWLDataFactory dataFactory,
N maxInclusive) |
static <N extends Number> |
OWLDataUtil.getMinExclusiveRestrictedInt(OWLDataFactory dataFactory,
N minExclusive) |
static <N extends Number> |
OWLDataUtil.getMinInclusiveRestrictedInt(OWLDataFactory dataFactory,
N minInclusive) |
static <N extends Number> |
OWLDataUtil.getMinMaxExclusiveRestrictedInteger(OWLDataFactory dataFactory,
N minExclusive,
N maxExclusive) |
static <N extends Number> |
OWLDataUtil.getMinMaxInclusiveRestrictedInteger(OWLDataFactory dataFactory,
N minInclusive,
N maxInclusive) |
static <N extends Number> |
OWLDataUtil.getTypedConstant(OWLDataFactory dataFactory,
N val)
Given a number, returns a typed constant that represent the number.
|
Constructor and Description |
---|
NNF(OWLDataFactory dataFactory) |
ObjectPropertySimplifier(OWLDataFactory dataFactory) |
OWLObjectDuplicator(Map<OWLEntity,IRI> entityIRIReplacementMap,
OWLDataFactory dataFactory)
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.
|
RemappingIndividualProvider(OWLDataFactory df) |
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 |
---|---|
static OWLDataFactory |
OWLDataFactoryImpl.getInstance()
Deprecated.
Do not create data factories directly; use
OWLOntologyManager::getOWLDataFactory()
|
OWLDataFactory |
OWLOntologyManagerImpl.getOWLDataFactory() |
Constructor and Description |
---|
OWLOntologyManagerImpl(OWLDataFactory dataFactory) |
SWRLDifferentIndividualsAtomImpl(OWLDataFactory dataFactory,
SWRLIArgument arg0,
SWRLIArgument arg1) |
SWRLSameIndividualAtomImpl(OWLDataFactory dataFactory,
SWRLIArgument arg0,
SWRLIArgument arg1) |
Modifier and Type | Method and Description |
---|---|
void |
DLSyntaxParser.setOWLDataFactory(OWLDataFactory factory)
Sets the oWL data factory.
|
Copyright © 2017 The University of Manchester. All Rights Reserved.