O
- the type of ontology in which the axioms for classes will be applied.J
- the type of instance (i.e.: object properties) for the axioms.public interface ObjectProperty<O,J> extends Semantic.Descriptor<O,J>
Semantic.Descriptor
.
This interface contains all the Semantic.Descriptor
that
can be applied to an ontological object property (e.g.: OWLObjectProperty
)
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:
ObjectProperty.Inverse
: for describing the inverse properties.ObjectProperty.Disjoint
: for describing disjointed properties from the specific
grounded ObjectProperty
.ObjectProperty.Equivalent
: for describing equivalent properties from the specific
grounded ObjectProperty
.ObjectProperty.Sub
: for representing the sub object properties of
this grounded ObjectProperty
.ObjectProperty.Super
: for representing the super object properties of
this grounded ObjectProperty
.ObjectProperty.Domain
: for representing the domain restrictions of the
this grounded ObjectProperty
.ObjectProperty.Range
: for representing the range restrictions of the
this grounded ObjectProperty
.Modifier and Type | Interface and Description |
---|---|
static interface |
ObjectProperty.Disjoint<O,J,D extends ObjectProperty<O,J>>
The
Semantic.Descriptor for disjointed object properties. |
static interface |
ObjectProperty.Domain<O,J,Y>
The
Semantic.Descriptor for the definition of an ontological object property domain. |
static interface |
ObjectProperty.Equivalent<O,J,D extends ObjectProperty<O,J>>
The
Semantic.Descriptor for equivalent object properties. |
static interface |
ObjectProperty.Inverse<O,J,D extends ObjectProperty<O,J>>
The
Semantic.Descriptor for inverse object properties. |
static interface |
ObjectProperty.Range<O,J,Y>
The
Semantic.Descriptor for the definition of an ontological object property range. |
static interface |
ObjectProperty.Sub<O,J,D extends ObjectProperty<O,J>>
The
Semantic.Descriptor for sub object properties. |
static interface |
ObjectProperty.Super<O,J,D extends ObjectProperty<O,J>>
The
Semantic.Descriptor for super object 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 |
setAsymmetric()
Make
Semantic.Descriptor.getInstance() as a asymmetric property. |
void |
setFunctional()
Make
Semantic.Descriptor.getInstance() as a functional property. |
void |
setInverseFunctional()
Make
Semantic.Descriptor.getInstance() as an inverse functional property. |
void |
setIrreflexive()
Make
Semantic.Descriptor.getInstance() as an irreflexive property. |
void |
setNotAsymmetric()
Make
Semantic.Descriptor.getInstance() to be no an asymmetric property anymore. |
void |
setNotFunctional()
Make
Semantic.Descriptor.getInstance() to be no a functional property anymore. |
void |
setNotInverseFunctional()
Make
Semantic.Descriptor.getInstance() to be no an inverse functional property anymore. |
void |
setNotIrreflexive()
Make
Semantic.Descriptor.getInstance() to be no an irreflexive property anymore. |
void |
setNotReflexive()
Make
Semantic.Descriptor.getInstance() to be no a reflexive property anymore. |
void |
setNotSymmetric()
Make
Semantic.Descriptor.getInstance() to be no a symmetric property anymore. |
void |
setNotTransitive()
Make
Semantic.Descriptor.getInstance() to be no a transitive property anymore. |
void |
setReflexive()
Make
Semantic.Descriptor.getInstance() as a reflexive property. |
void |
setSymmetric()
Make
Semantic.Descriptor.getInstance() as a symmetric property. |
void |
setTransitive()
Make
Semantic.Descriptor.getInstance() as a transitive property. |
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.void setInverseFunctional()
Semantic.Descriptor.getInstance()
as an inverse functional property.void setNotInverseFunctional()
Semantic.Descriptor.getInstance()
to be no an inverse functional property anymore.void setTransitive()
Semantic.Descriptor.getInstance()
as a transitive property.void setNotTransitive()
Semantic.Descriptor.getInstance()
to be no a transitive property anymore.void setSymmetric()
Semantic.Descriptor.getInstance()
as a symmetric property.void setNotSymmetric()
Semantic.Descriptor.getInstance()
to be no a symmetric property anymore.void setAsymmetric()
Semantic.Descriptor.getInstance()
as a asymmetric property.void setNotAsymmetric()
Semantic.Descriptor.getInstance()
to be no an asymmetric property anymore.void setReflexive()
Semantic.Descriptor.getInstance()
as a reflexive property.void setNotReflexive()
Semantic.Descriptor.getInstance()
to be no a reflexive property anymore.void setIrreflexive()
Semantic.Descriptor.getInstance()
as an irreflexive property.void setNotIrreflexive()
Semantic.Descriptor.getInstance()
to be no an irreflexive property anymore.