|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface SSWAPType
Represents a type of an individual in SSWAP.
Method Summary | |
---|---|
void |
addAnnotationPredicate(SSWAPPredicate predicate,
SSWAPElement value)
Annotates a type with the given annotation predicate. |
void |
addDisjointUnionOf(java.util.Collection<SSWAPType> disjointClasses)
Adds an owl:disjointUnionOf axiom to this type |
void |
addDisjointWith(SSWAPType type)
Adds an owl:disjointWith axiom to this type. |
void |
addEquivalentClass(SSWAPType type)
Adds an owl:equivalentClass axiom to this type. |
void |
addIntersectionOf(java.util.Collection<SSWAPType> classes)
Adds an owl:intersectionOf axiom to this type. |
void |
addOneOf(java.util.Collection<java.net.URI> oneOf)
Adds an owl:oneOf axiom to this type |
void |
addRestrictionAllValuesFrom(SSWAPPredicate predicate,
SSWAPType type)
Adds an owl:allValuesFrom restriction to this type on the specified predicate |
void |
addRestrictionCardinality(SSWAPPredicate predicate,
int cardinality)
Adds a cardinality restriction to this type on the specified predicate. |
void |
addRestrictionHasSelf(SSWAPPredicate predicate,
boolean value)
Adds an owl:hasSelf restriction to this type on the specified predicate |
void |
addRestrictionHasValue(SSWAPPredicate predicate,
SSWAPElement element)
Adds an owl:hasValue restriction to this type on the specified predicate |
void |
addRestrictionMaxCardinality(SSWAPPredicate predicate,
int maxCardinality)
Adds a max cardinality restriction to this type on the specified predicate. |
void |
addRestrictionMinCardinality(SSWAPPredicate predicate,
int minCardinality)
Adds a min cardinality restriction to this type on the specified predicate. |
void |
addRestrictionSomeValuesFrom(SSWAPPredicate predicate,
SSWAPType type)
Adds an owl:someValuesFrom restriction to this type on the specified predicate |
void |
addSubClassOf(SSWAPType type)
Adds an rdfs:subClassOf axiom to this type. |
void |
addUnionOf(java.util.Collection<SSWAPType> classes)
Adds an owl:unionOf axiom to this type |
SSWAPType |
complementOf()
Creates the complement of the current type. |
SSWAPType |
intersectionOf(SSWAPType a)
Creates and returns a new type that is an intersection of this type and the given type. |
boolean |
isNothing()
Checks whether this type is unsatisfiable (i.e., whether it is a sub type of owl:Nothing). |
boolean |
isReserved()
Checks whether the given type belongs to restricted vocabulary (e.g., types defined in RDF, RDFS, OWL or SSWAP namespaces). |
boolean |
isStrictSubTypeOf(SSWAPType superType)
Checks whether this type is a strict subtype of the other. |
boolean |
isSubTypeOf(SSWAPType superType)
Checks whether this type is a subtype of the other. |
SSWAPType |
unionOf(SSWAPType a)
Creates and returns a new type that is a union of this type and the given type. |
Methods inherited from interface info.sswap.api.model.SSWAPElement |
---|
addComment, addLabel, asBoolean, asDouble, asIndividual, asInteger, asList, asLiteral, asString, getComment, getLabel, isIndividual, isList, isLiteral |
Methods inherited from interface info.sswap.api.model.SSWAPModel |
---|
addImport, checkProfile, dereference, dereference, doClosure, getDocument, getImports, getInputStream, getNsPrefixMap, getReasoningService, getTypeSignature, getURI, isDereferenced, removeImport, removeNsPrefix, serialize, serialize, setNsPrefix, validate |
Method Detail |
---|
SSWAPType unionOf(SSWAPType a)
a
- the other type, with which the union is taken.
SSWAPType intersectionOf(SSWAPType a)
a
- the other type, with which the intersection is taken
SSWAPType complementOf()
void addRestrictionAllValuesFrom(SSWAPPredicate predicate, SSWAPType type)
predicate
- predicate to which the restriction appliestype
- the argument for owl:allValuesFromvoid addRestrictionSomeValuesFrom(SSWAPPredicate predicate, SSWAPType type)
predicate
- predicate to which the restriction appliestype
- the argument for owl:someValuesFromvoid addRestrictionHasValue(SSWAPPredicate predicate, SSWAPElement element)
predicate
- predicate to which the restriction applieselement
- the value for owl:hasValuevoid addRestrictionHasSelf(SSWAPPredicate predicate, boolean value)
predicate
- predicate to which the restriction appliesvalue
- a boolean value (argument to owl:hasSelf)void addRestrictionMinCardinality(SSWAPPredicate predicate, int minCardinality)
predicate
- predicate to which the cardinality restriction appliesminCardinality
- the value of the minCardinalityvoid addRestrictionMaxCardinality(SSWAPPredicate predicate, int maxCardinality)
predicate
- predicate to which the cardinality restriction appliesmaxCardinality
- the value of the maxCardinalityvoid addRestrictionCardinality(SSWAPPredicate predicate, int cardinality)
predicate
- predicate to which the cardinality restriction appliescardinality
- the cardinality valuevoid addSubClassOf(SSWAPType type)
type
- the super typevoid addEquivalentClass(SSWAPType type)
type
- the equivalent typevoid addDisjointWith(SSWAPType type)
type
- the disjoint type with this onevoid addIntersectionOf(java.util.Collection<SSWAPType> classes)
classes
- SSWAPTypes that compose the intersectionvoid addUnionOf(java.util.Collection<SSWAPType> classes)
classes
- SSWAPTypes that compose the unionvoid addDisjointUnionOf(java.util.Collection<SSWAPType> disjointClasses)
disjointClasses
- SSWAPTypes that compose the disjointednessvoid addOneOf(java.util.Collection<java.net.URI> oneOf)
oneOf
- the collection of URIs that will be converted into argument to owl:oneOfvoid addAnnotationPredicate(SSWAPPredicate predicate, SSWAPElement value)
predicate
- the predicate to be used in annotationboolean isSubTypeOf(SSWAPType superType)
superType
- the potential super type
boolean isStrictSubTypeOf(SSWAPType superType)
superType
- the potential super type
boolean isNothing()
boolean isReserved()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |