Modifier and Type | Method and Description |
---|---|
OWLDataRange |
AbstractDataVisitorEx.visit(OWLDatatypeRestriction node) |
Modifier and Type | Method and Description |
---|---|
static OWLDatatypeRestriction |
OWLFunctionalSyntaxFactory.DatatypeRestriction(OWLDatatype datatype,
OWLFacetRestriction... facetRestrictions) |
Modifier and Type | Method and Description |
---|---|
void |
DLSyntaxObjectRenderer.visit(OWLDatatypeRestriction node) |
Modifier and Type | Method and Description |
---|---|
void |
FunctionalSyntaxObjectRenderer.visit(OWLDatatypeRestriction node) |
Modifier and Type | Method and Description |
---|---|
void |
LatexObjectVisitor.visit(OWLDatatypeRestriction node) |
Modifier and Type | Method and Description |
---|---|
void |
ManchesterOWLSyntaxObjectRenderer.visit(OWLDatatypeRestriction node) |
Modifier and Type | Method and Description |
---|---|
default O |
OWLDataVisitorEx.visit(OWLDatatypeRestriction node)
visit OWLDatatypeRestriction type
|
default O |
OWLDataRangeVisitorEx.visit(OWLDatatypeRestriction node)
visit OWLDatatypeRestriction type
|
default void |
OWLDataRangeVisitor.visit(OWLDatatypeRestriction node)
visit OWLDatatypeRestriction type
|
Modifier and Type | Method and Description |
---|---|
default OWLDatatypeRestriction |
DatatypeExpressionProvider.getOWLDatatypeMaxExclusiveRestriction(double maxExclusive)
Creates a datatype restriction on xsd:double with a maxExclusive facet restriction
|
default OWLDatatypeRestriction |
DatatypeExpressionProvider.getOWLDatatypeMaxExclusiveRestriction(int maxExclusive)
Creates a datatype restriction on xsd:integer with a maxExclusive facet restriction
|
default OWLDatatypeRestriction |
DatatypeExpressionProvider.getOWLDatatypeMaxInclusiveRestriction(double maxInclusive)
Creates a datatype restriction on xsd:integer with a maxInclusive facet restriction
|
default OWLDatatypeRestriction |
DatatypeExpressionProvider.getOWLDatatypeMaxInclusiveRestriction(int maxInclusive)
Creates a datatype restriction on xsd:integer with a maxInclusive facet restriction
|
default OWLDatatypeRestriction |
DatatypeExpressionProvider.getOWLDatatypeMinExclusiveRestriction(double minExclusive)
Creates a datatype restriction on xsd:double with a minExclusive facet restriction
|
default OWLDatatypeRestriction |
DatatypeExpressionProvider.getOWLDatatypeMinExclusiveRestriction(int minExclusive)
Creates a datatype restriction on xsd:integer with a minExclusive facet restriction
|
default OWLDatatypeRestriction |
DatatypeExpressionProvider.getOWLDatatypeMinInclusiveRestriction(double minInclusive)
Creates a datatype restriction on xsd:double with a minInclusive facet restriction
|
default OWLDatatypeRestriction |
DatatypeExpressionProvider.getOWLDatatypeMinInclusiveRestriction(int minInclusive)
Creates a datatype restriction on xsd:integer with a minInclusive facet restriction
|
default OWLDatatypeRestriction |
DatatypeExpressionProvider.getOWLDatatypeMinMaxExclusiveRestriction(double minExclusive,
double maxExclusive)
Creates a datatype restriction on xsd:double with min and max exclusive facet restrictions
|
default OWLDatatypeRestriction |
DatatypeExpressionProvider.getOWLDatatypeMinMaxExclusiveRestriction(int minExclusive,
int maxExclusive)
Creates a datatype restriction on xsd:integer with min and max exclusive facet restrictions
|
default OWLDatatypeRestriction |
DatatypeExpressionProvider.getOWLDatatypeMinMaxInclusiveRestriction(double minInclusive,
double maxInclusive)
Creates a datatype restriction on xsd:double with min and max inclusive facet restrictions
|
default OWLDatatypeRestriction |
DatatypeExpressionProvider.getOWLDatatypeMinMaxInclusiveRestriction(int minInclusive,
int maxInclusive)
Creates a datatype restriction on xsd:integer with min and max inclusive facet restrictions
|
OWLDatatypeRestriction |
DatatypeExpressionProvider.getOWLDatatypeRestriction(OWLDatatype dataType,
Collection<OWLFacetRestriction> facetRestrictions)
OWLDatatypeRestriction see
specification
|
OWLDatatypeRestriction |
DatatypeExpressionProvider.getOWLDatatypeRestriction(OWLDatatype dataType,
OWLFacet facet,
OWLLiteral typedLiteral)
OWLDatatypeRestriction see
specification
|
default OWLDatatypeRestriction |
DatatypeExpressionProvider.getOWLDatatypeRestriction(OWLDatatype dataType,
OWLFacetRestriction... facetRestrictions) |
Modifier and Type | Method and Description |
---|---|
void |
OWLXMLObjectRenderer.visit(OWLDatatypeRestriction node) |
Modifier and Type | Method and Description |
---|---|
void |
ProfileVisitor.visit(OWLDatatypeRestriction node) |
Modifier and Type | Method and Description |
---|---|
OWLDatatypeRestriction |
UseOfDefinedDatatypeInDatatypeRestriction.getExpression() |
Constructor and Description |
---|
UseOfDefinedDatatypeInDatatypeRestriction(OWLOntology ontology,
OWLAxiom axiom,
OWLDatatypeRestriction restriction) |
UseOfIllegalFacetRestriction(OWLOntology ontology,
OWLAxiom axiom,
OWLDatatypeRestriction dtr,
OWLFacet facet) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractTranslator.visit(OWLDatatypeRestriction node) |
Modifier and Type | Method and Description |
---|---|
OWLDatatypeRestriction |
OWLObjectDuplicator.visit(OWLDatatypeRestriction node) |
OWLDatatypeRestriction |
OWLObjectDesharer.visit(OWLDatatypeRestriction node) |
Modifier and Type | Method and Description |
---|---|
void |
StructureWalker.visit(OWLDatatypeRestriction node) |
void |
SimpleRendererDebug.visit(OWLDatatypeRestriction node) |
void |
SimpleRenderer.visit(OWLDatatypeRestriction node) |
OWLDatatypeRestriction |
OWLObjectDuplicator.visit(OWLDatatypeRestriction node) |
OWLDatatypeRestriction |
OWLObjectDesharer.visit(OWLDatatypeRestriction node) |
void |
OWLAnnotationPropertyTransformer.visit(OWLDatatypeRestriction node) |
O |
DelegatingObjectVisitorEx.visit(OWLDatatypeRestriction node) |
void |
DLExpressivityChecker.visit(OWLDatatypeRestriction node) |
Modifier and Type | Method and Description |
---|---|
OWLDatatypeRestriction |
BuilderDatatypeRestriction.buildObject() |
Constructor and Description |
---|
BuilderDatatypeRestriction(OWLDatatypeRestriction expected,
OWLDataFactory df)
Builder initialized from an existing object.
|
Modifier and Type | Method and Description |
---|---|
void |
TopEquivalenceEvaluator.visit(OWLDatatypeRestriction node) |
Modifier and Type | Class and Description |
---|---|
class |
OWLDatatypeRestrictionImpl |
Modifier and Type | Method and Description |
---|---|
OWLDatatypeRestriction |
OWLDataFactoryImpl.getOWLDatatypeRestriction(OWLDatatype dataType,
Collection<OWLFacetRestriction> facetRestrictions) |
OWLDatatypeRestriction |
OWLDataFactoryImpl.getOWLDatatypeRestriction(OWLDatatype dataType,
OWLFacet facet,
OWLLiteral typedLiteral) |
Copyright © 2020 The University of Manchester. All rights reserved.