public interface MORAxioms extends Semantic
Semantic.Axioms
implemented in the aMOR API.
This interface contains all the Semantic.Axioms
, Semantic.SemanticAxiom
and Semantic.SemanticAxioms
used in the Concept
, Individual
,
DataProperty
and ObjectProperty
Semantic.Descriptor
s for the
OWLOOP architecture implemented with the
aMOR framework.
All of those manage a collection of ontological entities, eventually attached with
a specific semantic. In particular all are based on MORAxioms.AxiomsBase
, which
implements the management of an HashSet
with a specified type. When the type
is an OWLObject
, the MORAxioms.OWLAxiomsBase
in used just to extend the
MORAxioms.AxiomsBase.toString()
method.
More in particular, the implemented axioms set are:
MORAxioms.Individuals
: for describing a set of ontological individuals.MORAxioms.Concepts
: for describing a set of ontological classes.MORAxioms.Literals
: for describing a set of ontological data values
(used by the MORAxioms.DataSemantic
axiom implementation).MORAxioms.DataLinks
: for describing a set of ontological data properties.MORAxioms.ObjectLinks
: for describing a set of ontological object properties.MORAxioms.Restrictions
: for describing a set of restriction
(i.e.: for concept definition as wel as data and property range or domain definition).MORAxioms.DataSemantic
: for describing a set of data values with a semantic
(i.e.: by MORAxioms.DataSemantics
).MORAxioms.ObjectSemantic
: for describing a set of data values with a semantic
(i.e.: by MORAxioms.ObjectSemantics
).Modifier and Type | Interface and Description |
---|---|
static class |
MORAxioms.AxiomsBase<T>
|
static class |
MORAxioms.Concepts
An extension of
MORAxioms.AxiomsBase for OWLClass . |
static class |
MORAxioms.DataLinks
An extension of
MORAxioms.AxiomsBase for OWLDataProperty . |
static class |
MORAxioms.DataSemantic
An implementation of
Semantic.SemanticAxiom for ontological data properties. |
static class |
MORAxioms.DataSemantics
An extension of
MORAxioms.AxiomsBase for Semantic.SemanticAxioms for data properties. |
static class |
MORAxioms.Individuals
An extension of
MORAxioms.AxiomsBase for OWLNamedIndividual . |
static class |
MORAxioms.Literals
An extension of
MORAxioms.AxiomsBase for OWLLiteral . |
static class |
MORAxioms.ObjectLinks
An extension of
MORAxioms.AxiomsBase for OWLObjectProperty . |
static class |
MORAxioms.ObjectSemantic
An implementation of
Semantic.SemanticAxiom for ontological object properties. |
static class |
MORAxioms.ObjectSemantics
An extension of
MORAxioms.AxiomsBase for Semantic.SemanticAxioms for object properties. |
static class |
MORAxioms.OWLAxiomsBase<T extends org.semanticweb.owlapi.model.OWLObject>
An extension of
MORAxioms.AxiomsBase for type extending OWLObject . |
static class |
MORAxioms.Restrictions
An extension of
MORAxioms.AxiomsBase for SemanticRestriction . |
static class |
MORAxioms.SemanticAxiomsBase<X extends Semantic.SemanticAxiom<S,A>,S extends org.semanticweb.owlapi.model.OWLProperty,A>
The base implementation for the
Semantic.SemanticAxioms . |
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>