O
- the type of ontology in which the axioms for classes will be applied.J
- the type of instance (i.e.: data properties) for the axioms.public interface DataProperty<O,J> extends Semantic.Descriptor<O,J>
Semantic.Descriptor
.
This interface contains all the Semantic.Descriptor
that
can be applied to an ontological data property (e.g.: OWLDataProperty
)
in any arbitrary combination since all of them should rely on the same Semantic.Ground
type.
More in particular, for the Semantic.Descriptor.getInstance()
entities in the Semantic.Descriptor.getOntology()
, those are:
DataProperty.Disjoint
: for describing disjointed properties from the specific
grounded DataProperty
.DataProperty.Equivalent
: for describing equivalent properties from the specific
grounded DataProperty
.DataProperty.Sub
: for representing the sub data properties of
this grounded DataProperty
.DataProperty.Super
: for representing the super data properties of
this grounded DataProperty
.DataProperty.Domain
: for representing the domain restrictions of the
this grounded DataProperty
.DataProperty.Range
: for representing the range restrictions of the
this grounded DataProperty
.Modifier and Type | Interface and Description |
---|---|
static interface |
DataProperty.Disjoint<O,J,D extends DataProperty<O,J>>
The
Semantic.Descriptor for disjointed data properties. |
static interface |
DataProperty.Domain<O,J,Y>
The
Semantic.Descriptor for the definition of an ontological data property domain. |
static interface |
DataProperty.Equivalent<O,J,D extends DataProperty<O,J>>
The
Semantic.Descriptor for equivalent data properties. |
static interface |
DataProperty.Range<O,J,Y>
The
Semantic.Descriptor for the definition of an ontological data property range. |
static interface |
DataProperty.Sub<O,J,D extends DataProperty<O,J>>
The
Semantic.Descriptor for sub data properties. |
static interface |
DataProperty.Super<O,J,D extends DataProperty<O,J>>
The
Semantic.Descriptor for super data properties. |
Semantic.Axioms<Y>, Semantic.Descriptor<O,J>, Semantic.Ground<O,J>, Semantic.MappingIntent<I extends Semantic.Ground,C>, Semantic.SemanticAxiom<S,Y>, Semantic.SemanticAxioms<F extends Semantic.SemanticAxiom<?,Y>,Y>
Modifier and Type | Method and Description |
---|---|
void |
setFunctional()
Make
Semantic.Descriptor.getInstance() as a functional property. |
void |
setNotFunctional()
Make
Semantic.Descriptor.getInstance() to be no a functional property anymore. |
getChangingIntent, getGround, getInstance, getIntent, getOntology, groundReason, readSemantic, writeSemantic, writeSemanticInconsistencySafe, writeSemanticInconsistencySafe
void setFunctional()
Semantic.Descriptor.getInstance()
as a functional property.void setNotFunctional()
Semantic.Descriptor.getInstance()
to be no a functional property anymore.