Modifier and Type | Method and Description |
---|---|
void |
KRSSObjectRenderer.visit(OWLDatatypeRestriction node) |
void |
KRSS2OWLObjectRenderer.visit(OWLDatatypeRestriction node) |
Modifier and Type | Method and Description |
---|---|
void |
OWLObjectRenderer.visit(OWLDatatypeRestriction node) |
Modifier and Type | Method and Description |
---|---|
void |
LatexObjectVisitor.visit(OWLDatatypeRestriction node) |
Modifier and Type | Method and Description |
---|---|
void |
OWLXMLObjectRenderer.visit(OWLDatatypeRestriction node) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractTranslator.visit(OWLDatatypeRestriction node) |
Modifier and Type | Method and Description |
---|---|
static OWLDatatypeRestriction |
OWLFunctionalSyntaxFactory.DatatypeRestriction(OWLDatatype datatype,
OWLFacetRestriction... facetRestrictions) |
Modifier and Type | Method and Description |
---|---|
OWLDatatypeRestriction |
OWLDataFactory.getOWLDatatypeMaxExclusiveRestriction(double maxExclusive)
Creates a datatype restriction on xsd:double with a maxExclusive facet
restriction
|
OWLDatatypeRestriction |
OWLDataFactory.getOWLDatatypeMaxExclusiveRestriction(int maxExclusive)
Creates a datatype restriction on xsd:integer with a maxExclusive facet
restriction
|
OWLDatatypeRestriction |
OWLDataFactory.getOWLDatatypeMaxInclusiveRestriction(double maxInclusive)
Creates a datatype restriction on xsd:double with a maxInclusive facet
restriction
|
OWLDatatypeRestriction |
OWLDataFactory.getOWLDatatypeMaxInclusiveRestriction(int maxInclusive)
Creates a datatype restriction on xsd:integer with a maxInclusive facet
restriction
|
OWLDatatypeRestriction |
OWLDataFactory.getOWLDatatypeMinExclusiveRestriction(double minExclusive)
Creates a datatype restriction on xsd:double with a minExclusive facet
restriction
|
OWLDatatypeRestriction |
OWLDataFactory.getOWLDatatypeMinExclusiveRestriction(int minExclusive)
Creates a datatype restriction on xsd:integer with a minExclusive facet
restriction
|
OWLDatatypeRestriction |
OWLDataFactory.getOWLDatatypeMinInclusiveRestriction(double minInclusive)
Creates a datatype restriction on xsd:double with a minInclusive facet
restriction
|
OWLDatatypeRestriction |
OWLDataFactory.getOWLDatatypeMinInclusiveRestriction(int minInclusive)
Creates a datatype restriction on xsd:integer with a minInclusive facet
restriction
|
OWLDatatypeRestriction |
OWLDataFactory.getOWLDatatypeMinMaxExclusiveRestriction(double minExclusive,
double maxExclusive)
Creates a datatype restriction on xsd:double with min and max exclusive
facet restrictions
|
OWLDatatypeRestriction |
OWLDataFactory.getOWLDatatypeMinMaxExclusiveRestriction(int minExclusive,
int maxExclusive)
Creates a datatype restriction on xsd:integer with min and max exclusive
facet restrictions
|
OWLDatatypeRestriction |
OWLDataFactory.getOWLDatatypeMinMaxInclusiveRestriction(double minInclusive,
double maxInclusive)
Creates a datatype restriction on xsd:double with min and max inclusive
facet restrictions
|
OWLDatatypeRestriction |
OWLDataFactory.getOWLDatatypeMinMaxInclusiveRestriction(int minInclusive,
int maxInclusive)
Creates a datatype restriction on xsd:integer with min and max inclusive
facet restrictions
|
OWLDatatypeRestriction |
OWLDataFactory.getOWLDatatypeRestriction(OWLDatatype dataRange,
OWLFacet facet,
OWLLiteral typedLiteral)
OWLDatatypeRestriction see
spec
|
OWLDatatypeRestriction |
OWLDataFactory.getOWLDatatypeRestriction(OWLDatatype dataRange,
OWLFacetRestriction... facetRestrictions) |
OWLDatatypeRestriction |
OWLDataFactory.getOWLDatatypeRestriction(OWLDatatype dataRange,
Set<OWLFacetRestriction> facetRestrictions)
OWLDatatypeRestriction see
spec
|
Modifier and Type | Method and Description |
---|---|
O |
OWLDataVisitorEx.visit(OWLDatatypeRestriction node)
visit OWLDatatypeRestriction type
|
O |
OWLDataRangeVisitorEx.visit(OWLDatatypeRestriction node)
visit OWLDatatypeRestriction type
|
void |
OWLDataRangeVisitor.visit(OWLDatatypeRestriction node)
visit OWLDatatypeRestriction type
|
Modifier and Type | Method and Description |
---|---|
OWLDatatypeRestriction |
UseOfIllegalFacetRestriction.getDatatypeRestriction() |
OWLDatatypeRestriction |
UseOfDefinedDatatypeInDatatypeRestriction.getOWLDatatypeRestriction() |
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 |
StructureWalker.visit(OWLDatatypeRestriction node) |
void |
SimpleRenderer.visit(OWLDatatypeRestriction node) |
O |
OWLObjectVisitorExAdapter.visit(OWLDatatypeRestriction node) |
void |
OWLObjectVisitorAdapter.visit(OWLDatatypeRestriction node) |
void |
OWLObjectTypeIndexProvider.visit(OWLDatatypeRestriction node) |
void |
OWLObjectDuplicator.visit(OWLDatatypeRestriction node) |
void |
OWLObjectComponentCollector.visit(OWLDatatypeRestriction node) |
void |
OWLEntityCollector.visit(OWLDatatypeRestriction node) |
Set<OWLClassExpression> |
OWLClassExpressionCollector.visit(OWLDatatypeRestriction node) |
void |
OWLAnonymousIndividualsWithMultipleOccurrences.visit(OWLDatatypeRestriction node) |
OWLDataRange |
NNF.visit(OWLDatatypeRestriction node) |
Integer |
MaximumModalDepthFinder.visit(OWLDatatypeRestriction node) |
void |
HashCode.visit(OWLDatatypeRestriction node) |
O |
DelegatingObjectVisitorEx.visit(OWLDatatypeRestriction node) |
void |
DLExpressivityChecker.visit(OWLDatatypeRestriction node) |
Modifier and Type | Class and Description |
---|---|
class |
OWLDatatypeRestrictionImpl |
Modifier and Type | Method and Description |
---|---|
void |
OWLEntityCollectionContainerCollector.visit(OWLDatatypeRestriction node) |
void |
AbstractEntityRegistrationManager.visit(OWLDatatypeRestriction node) |
Modifier and Type | Method and Description |
---|---|
void |
ManchesterOWLSyntaxObjectRenderer.visit(OWLDatatypeRestriction node) |
Modifier and Type | Method and Description |
---|---|
void |
DLSyntaxObjectRenderer.visit(OWLDatatypeRestriction node) |
Copyright © 2017 The University of Manchester. All Rights Reserved.