O
- the type of ontology in which the axioms for classes will be applied.J
- the type of the described object property
(it also represents the type of Semantic.Axioms
managed by this Semantic.Descriptor
.D
- the type of the ObjectProperty
descriptor instantiated during
buildDisjointObjectProperty()
through getNewDisjointObjectProperty(Object, Object)
.public static interface ObjectProperty.Disjoint<O,J,D extends ObjectProperty<O,J>> extends ObjectProperty<O,J>
Semantic.Descriptor
for disjointed object properties.
This Semantic.Descriptor
synchronises the disjointed object properties of this
property (i.e.: the Semantic.Ground.getGroundInstance()
).
ObjectProperty.Disjoint<O,J,D extends ObjectProperty<O,J>>, ObjectProperty.Domain<O,J,Y>, ObjectProperty.Equivalent<O,J,D extends ObjectProperty<O,J>>, ObjectProperty.Inverse<O,J,D extends ObjectProperty<O,J>>, ObjectProperty.Range<O,J,Y>, ObjectProperty.Sub<O,J,D extends ObjectProperty<O,J>>, ObjectProperty.Super<O,J,D extends ObjectProperty<O,J>>
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 |
---|---|
default java.util.Set<D> |
buildDisjointObjectProperty()
Create an
Semantic.Descriptor set where each element
represents the disjointed object property of this property. |
Semantic.Axioms<J> |
getDisjointObjectProperty()
Returns the
Semantic.Axioms that describes all the disjoint object properties of
this grounded ObjectProperty ; from a no OOP point of view. |
D |
getNewDisjointObjectProperty(J instance,
O ontology)
This method is called by
buildDisjointObjectProperty() and
its purpose is to instantiate a new ObjectProperty to represent
a disjointed property of this ObjectProperty Semantic.Descriptor . |
Semantic.Axioms<J> |
queryDisjointObjectProperty()
Queries to the OWL representation for the disjoint properties of
this object property. |
default java.util.List<Semantic.MappingIntent> |
readSemantic()
This method is used to synchronise specific
Semantic.Axioms (or Semantic.SemanticAxioms )
from the ontology. |
default Semantic.Axioms.SynchronisationIntent<J> |
synchroniseDisjointObjectPropertyFromSemantic()
It calls
Semantic.SemanticAxioms.synchroniseFrom(Axioms) with queryDisjointObjectProperty()
as input parameter. |
default Semantic.Axioms.SynchronisationIntent<J> |
synchroniseDisjointObjectPropertyToSemantic()
It calls
Semantic.Axioms.synchroniseTo(Axioms) with queryDisjointObjectProperty()
as input parameter. |
setAsymmetric, setFunctional, setInverseFunctional, setIrreflexive, setNotAsymmetric, setNotFunctional, setNotInverseFunctional, setNotIrreflexive, setNotReflexive, setNotSymmetric, setNotTransitive, setReflexive, setSymmetric, setTransitive
getChangingIntent, getGround, getInstance, getIntent, getOntology, groundReason, writeSemantic, writeSemanticInconsistencySafe, writeSemanticInconsistencySafe
default java.util.List<Semantic.MappingIntent> readSemantic()
Semantic.Descriptor
Semantic.Axioms
(or Semantic.SemanticAxioms
)
from the ontology. It manipulates the OWLLOOP representation to be
equal to the queried OWL structure. It is based on Axioms#synchroniseFrom(Axioms)
.readSemantic
in interface Semantic.Descriptor<O,J>
Semantic.Axioms
during the reading.
Those objects may not have the Semantic.MappingIntent.getOntologyChanges()
field
initialised (i.e.: Void
).default java.util.Set<D> buildDisjointObjectProperty()
Semantic.Descriptor
set where each element
represents the disjointed object property of this
property.
Each of ObjectProperty
s are instantiated
through the method getNewDisjointObjectProperty(Object, Object)
;
this is called for all getDisjointObjectProperty()
.ObjectProperty
s that describes the
disjoint relations of this
described ontological property.D getNewDisjointObjectProperty(J instance, O ontology)
buildDisjointObjectProperty()
and
its purpose is to instantiate a new ObjectProperty
to represent
a disjointed property of this
ObjectProperty
Semantic.Descriptor
.instance
- the instance to ground the new disjoint ObjectProperty
.ontology
- the ontology in which ground the new ObjectProperty
.Semantic.Descriptor
for all the disjointed properties
of the one described by this
interface.Semantic.Axioms<J> getDisjointObjectProperty()
Semantic.Axioms
that describes all the disjoint object properties of
this
grounded ObjectProperty
; from a no OOP point of view.this
described property.Semantic.Axioms<J> queryDisjointObjectProperty()
this
object property.Semantic.Axioms
contained the disjoint properties of Semantic.Descriptor.getInstance()
,
into the OWL structure.default Semantic.Axioms.SynchronisationIntent<J> synchroniseDisjointObjectPropertyToSemantic()
Semantic.Axioms.synchroniseTo(Axioms)
with queryDisjointObjectProperty()
as input parameter. This computes the changes to be performed in the OWL representation
for synchronise it with respect to getDisjointObjectProperty()
. This should
be done by Semantic.Descriptor.writeSemantic()
.this
structure with
the disjoint properties of Semantic.Descriptor.getInstance()
; to the OWL representation.default Semantic.Axioms.SynchronisationIntent<J> synchroniseDisjointObjectPropertyFromSemantic()
Semantic.SemanticAxioms.synchroniseFrom(Axioms)
with queryDisjointObjectProperty()
as input parameter. This computes the changes to be performed into the getDisjointObjectProperty()
in order to synchronise it with respect to an OWL representation. This is
be done by readSemantic()
.Semantic.Descriptor.getInstance()
;
from an OWL representation to this
Semantic.Descriptor
.