| Package | Description |
|---|---|
| org.semanticweb.owlapi.model | |
| org.semanticweb.owlapi.util | |
| org.semanticweb.owlapi.vocab |
| 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) |
| Modifier and Type | Field and Description |
|---|---|
protected OWLDataFactory |
StructuralTransformation.df |
| Modifier and Type | Method and Description |
|---|---|
protected abstract void |
InferredEntityAxiomGenerator.addAxioms(E entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<A> result)
Adds inferred axioms to a results set.
|
protected void |
InferredDisjointClassesAxiomGenerator.addAxioms(OWLClass entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLDisjointClassesAxiom> result) |
protected void |
InferredEquivalentClassAxiomGenerator.addAxioms(OWLClass entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLEquivalentClassesAxiom> result) |
protected void |
InferredSubClassAxiomGenerator.addAxioms(OWLClass entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLSubClassOfAxiom> result) |
protected void |
InferredDataPropertyCharacteristicAxiomGenerator.addAxioms(OWLDataProperty entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLDataPropertyCharacteristicAxiom> result) |
protected void |
InferredEquivalentDataPropertiesAxiomGenerator.addAxioms(OWLDataProperty entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLEquivalentDataPropertiesAxiom> result) |
protected void |
InferredSubDataPropertyAxiomGenerator.addAxioms(OWLDataProperty entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLSubDataPropertyOfAxiom> result) |
protected void |
InferredClassAssertionAxiomGenerator.addAxioms(OWLNamedIndividual entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLClassAssertionAxiom> result) |
protected void |
InferredPropertyAssertionGenerator.addAxioms(OWLNamedIndividual entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLPropertyAssertionAxiom<?,?>> result) |
protected void |
InferredEquivalentObjectPropertyAxiomGenerator.addAxioms(OWLObjectProperty entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLEquivalentObjectPropertiesAxiom> result) |
protected void |
InferredInverseObjectPropertiesAxiomGenerator.addAxioms(OWLObjectProperty entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLInverseObjectPropertiesAxiom> result) |
protected void |
InferredObjectPropertyCharacteristicAxiomGenerator.addAxioms(OWLObjectProperty entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLObjectPropertyCharacteristicAxiom> result) |
protected void |
InferredSubObjectPropertyAxiomGenerator.addAxioms(OWLObjectProperty entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLSubObjectPropertyOfAxiom> result) |
protected void |
InferredObjectPropertyCharacteristicAxiomGenerator.addTransitiveAxiomIfEntailed(OWLObjectProperty property,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLObjectPropertyCharacteristicAxiom> result) |
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.
|
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) |
Copyright © 2014 The University of Manchester. All Rights Reserved.