public interface ObjectPropertyExpression extends ObjectProperty<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty>, DescriptorGroundInterface<org.semanticweb.owlapi.model.OWLObjectProperty>
ObjectProperty
.
It allows to Axiom.Descriptor.readAxioms()
and Axiom.Descriptor.writeAxioms()
specifically for OWL DataProperties.
It contains several expressions that can be combined in any arbitrary way as they
rely on the same ground (ObjectGroundInstance
).
Modifier and Type | Interface and Description |
---|---|
static interface |
ObjectPropertyExpression.Disjoint<D extends ObjectPropertyExpression>
The
ObjectProperty.Disjoint expression for a Descriptor whose ground is OWLObjectProperty . |
static interface |
ObjectPropertyExpression.Domain
The
ObjectProperty.Domain expression for a Descriptor whose ground is OWLObjectProperty . |
static interface |
ObjectPropertyExpression.Equivalent<D extends ObjectPropertyExpression>
The
ObjectProperty.Equivalent expression for a Descriptor whose ground is OWLObjectProperty . |
static interface |
ObjectPropertyExpression.Inverse<D extends ObjectPropertyExpression>
The
ObjectProperty.Inverse expression for a Descriptor whose ground is OWLObjectProperty . |
static interface |
ObjectPropertyExpression.Range
The
ObjectProperty.Range expression for a Descriptor whose ground is OWLObjectProperty . |
static interface |
ObjectPropertyExpression.Sub<D extends ObjectPropertyExpression>
The
ObjectProperty.Sub expression for a Descriptor whose ground is OWLObjectProperty . |
static interface |
ObjectPropertyExpression.Super<D extends ObjectPropertyExpression>
The
ObjectProperty.Super expression for a Descriptor whose ground is OWLObjectProperty . |
Axiom.Descriptor.OntologyReference
DescriptorGroundInterface.ConceptGroundInstance, DescriptorGroundInterface.DataGroundInstance, DescriptorGroundInterface.GroundInstance<J extends org.semanticweb.owlapi.model.OWLObject>, DescriptorGroundInterface.IndividualGroundInstance, DescriptorGroundInterface.ObjectGroundInstance
Axiom.Descriptor<O,J>, Axiom.EntitySet<Y>, Axiom.ExpressionEntity<S,Y>, Axiom.ExpressionEntitySet<F extends Axiom.ExpressionEntity<?,Y>,Y>, Axiom.Ground<O,J>, Axiom.MappingIntent<I extends Axiom.Ground,C>
Modifier and Type | Method and Description |
---|---|
default org.semanticweb.owlapi.model.OWLObjectProperty |
getGroundInstance()
Deprecated.
use
Axiom.Descriptor.getInstance() instead. |
default it.emarolab.amor.owlInterface.OWLReferences |
getGroundOntology()
Deprecated.
use
Axiom.Descriptor.getGround() instead. |
default void |
setAsymmetric()
Make
Axiom.Descriptor.getInstance() as a asymmetric property. |
default void |
setFunctional()
Make
Axiom.Descriptor.getInstance() as a functional property. |
default void |
setInverseFunctional()
Make
Axiom.Descriptor.getInstance() as an inverse functional property. |
default void |
setIrreflexive()
Make
Axiom.Descriptor.getInstance() as an irreflexive property. |
default void |
setNotAsymmetric()
Make
Axiom.Descriptor.getInstance() to be not an asymmetric property anymore. |
default void |
setNotFunctional()
Make
Axiom.Descriptor.getInstance() to be not a functional property anymore. |
default void |
setNotInverseFunctional()
Make
Axiom.Descriptor.getInstance() to be not an inverse functional property anymore. |
default void |
setNotIrreflexive()
Make
Axiom.Descriptor.getInstance() to be not an irreflexive property anymore. |
default void |
setNotReflexive()
Make
Axiom.Descriptor.getInstance() to be no a reflexive property anymore. |
default void |
setNotSymmetric()
Make
Axiom.Descriptor.getInstance() to be no a symmetric property anymore. |
default void |
setNotTransitive()
Make
Axiom.Descriptor.getInstance() to be not a transitive property anymore. |
default void |
setReflexive()
Make
Axiom.Descriptor.getInstance() as a reflexive property. |
default void |
setSymmetric()
Make
Axiom.Descriptor.getInstance() as a symmetric property. |
default void |
setTransitive()
Make
Axiom.Descriptor.getInstance() as a transitive property. |
activateAMORlogging, getChangingIntent, getGround, getGroundInstanceName, getInstance, getIntent, getOntologyReference, groundReason, readAxioms, writeAxioms, writeAxiomsReasonReadAxioms, writeAxiomsReasonReadAxioms
getOntologyName, getOWLClass, getOWLDataFactory, getOWLDataProperty, getOWLDataType, getOWLIndividual, getOWLLiteral, getOWLName, getOWLName, getOWLObjectProperty, getOWLOntology, getOWLReasoner, isCompleteQuery, isReasonedQuery, reason, saveOntology, saveOntology, setCompleteQuery, setReasonedQuery
copyGround
@Deprecated default it.emarolab.amor.owlInterface.OWLReferences getGroundOntology()
Axiom.Descriptor.getGround()
instead.DescriptorGroundInterface
facilities.getGroundOntology
in interface Axiom.Ground<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty>
this
descriptor is working.@Deprecated default org.semanticweb.owlapi.model.OWLObjectProperty getGroundInstance()
Axiom.Descriptor.getInstance()
instead.DescriptorGroundInterface
facilities.getGroundInstance
in interface Axiom.Ground<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty>
this
descriptor.default void setFunctional()
ObjectProperty
Axiom.Descriptor.getInstance()
as a functional property.setFunctional
in interface ObjectProperty<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty>
default void setNotFunctional()
ObjectProperty
Axiom.Descriptor.getInstance()
to be not a functional property anymore.setNotFunctional
in interface ObjectProperty<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty>
default void setInverseFunctional()
ObjectProperty
Axiom.Descriptor.getInstance()
as an inverse functional property.setInverseFunctional
in interface ObjectProperty<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty>
default void setNotInverseFunctional()
ObjectProperty
Axiom.Descriptor.getInstance()
to be not an inverse functional property anymore.setNotInverseFunctional
in interface ObjectProperty<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty>
default void setTransitive()
ObjectProperty
Axiom.Descriptor.getInstance()
as a transitive property.setTransitive
in interface ObjectProperty<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty>
default void setNotTransitive()
ObjectProperty
Axiom.Descriptor.getInstance()
to be not a transitive property anymore.setNotTransitive
in interface ObjectProperty<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty>
default void setSymmetric()
ObjectProperty
Axiom.Descriptor.getInstance()
as a symmetric property.setSymmetric
in interface ObjectProperty<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty>
default void setNotSymmetric()
ObjectProperty
Axiom.Descriptor.getInstance()
to be no a symmetric property anymore.setNotSymmetric
in interface ObjectProperty<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty>
default void setAsymmetric()
ObjectProperty
Axiom.Descriptor.getInstance()
as a asymmetric property.setAsymmetric
in interface ObjectProperty<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty>
default void setNotAsymmetric()
ObjectProperty
Axiom.Descriptor.getInstance()
to be not an asymmetric property anymore.setNotAsymmetric
in interface ObjectProperty<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty>
default void setReflexive()
ObjectProperty
Axiom.Descriptor.getInstance()
as a reflexive property.setReflexive
in interface ObjectProperty<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty>
default void setNotReflexive()
ObjectProperty
Axiom.Descriptor.getInstance()
to be no a reflexive property anymore.setNotReflexive
in interface ObjectProperty<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty>
default void setIrreflexive()
ObjectProperty
Axiom.Descriptor.getInstance()
as an irreflexive property.setIrreflexive
in interface ObjectProperty<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty>
default void setNotIrreflexive()
ObjectProperty
Axiom.Descriptor.getInstance()
to be not an irreflexive property anymore.setNotIrreflexive
in interface ObjectProperty<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty>