|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SSWAPType | |
---|---|
info.sswap.api.input | |
info.sswap.api.input.io | |
info.sswap.api.model | Main package for SSWAP API |
info.sswap.impl.empire.model | |
info.sswap.ontologies.data.api | Data Ontology API |
info.sswap.ontologies.data.impl | Data Ontology Implementation |
Uses of SSWAPType in info.sswap.api.input |
---|
Methods in info.sswap.api.input with parameters of type SSWAPType | |
---|---|
static Input |
Inputs.fromSSWAP(SSWAPType type)
|
Uses of SSWAPType in info.sswap.api.input.io |
---|
Methods in info.sswap.api.input.io with parameters of type SSWAPType | |
---|---|
Input |
SSWAPDeserializer.deserialize(SSWAPType type)
|
Uses of SSWAPType in info.sswap.api.model |
---|
Methods in info.sswap.api.model that return SSWAPType | |
---|---|
SSWAPType |
SSWAPType.complementOf()
Creates the complement of the current type. |
SSWAPType |
SSWAPDocument.createAnonymousType()
Creates anonymous type. |
SSWAPType |
SSWAPDocument.createIntersectionOf(java.util.Collection<SSWAPType> types)
Creates a SSWAPType in the specified model that is an intersection of the given types. |
SSWAPType |
SSWAPDocument.createUnionOf(java.util.Collection<SSWAPType> types)
Creates a SSWAPType in the specified model that is a union of the given types. |
SSWAPType |
SSWAPIndividual.getDeclaredType()
Gets a single type for this individual that summarizes all the declared types. |
SSWAPType |
SSWAPPredicate.getDomain()
Retrieves information about the domain of the specified predicate. |
SSWAPType |
SSWAPPredicate.getObjectPredicateRange()
Gets the type for the range for an object predicate. |
SSWAPType |
SSWAPIndividual.getType()
Gets a single type for this individual that summarizes all the types for this individual (both explicitly declared and inferred). |
SSWAPType |
SSWAPDocument.getType(java.net.URI uri)
Gets a SSWAPType for an URI. |
SSWAPType |
SSWAPType.intersectionOf(SSWAPType a)
Creates and returns a new type that is an intersection of this type and the given type. |
SSWAPType |
SSWAPType.unionOf(SSWAPType a)
Creates and returns a new type that is a union of this type and the given type. |
Methods in info.sswap.api.model that return types with arguments of type SSWAPType | |
---|---|
java.util.Collection<SSWAPType> |
SSWAPIndividual.getDeclaredTypes()
Gets all declared types of the individual. |
java.util.Collection<SSWAPType> |
SSWAPPredicate.getObjectPredicateRanges()
Gets all the types for the range for an object predicate. |
java.util.Collection<SSWAPType> |
SSWAPIndividual.getTypes()
Gets all types for this individual (including both explicitly declared types and inferred types). |
Methods in info.sswap.api.model with parameters of type SSWAPType | |
---|---|
void |
SSWAPType.addDisjointWith(SSWAPType type)
Adds an owl:disjointWith axiom to this type. |
void |
SSWAPPredicate.addDomain(SSWAPType type)
Adds an rdfs:domain axiom to this predicate |
void |
SSWAPType.addEquivalentClass(SSWAPType type)
Adds an owl:equivalentClass axiom to this type. |
void |
SSWAPPredicate.addRange(SSWAPType type)
Adds an rdfs:range axiom to this predicate |
void |
SSWAPType.addRestrictionAllValuesFrom(SSWAPPredicate predicate,
SSWAPType type)
Adds an owl:allValuesFrom restriction to this type on the specified predicate |
void |
SSWAPType.addRestrictionSomeValuesFrom(SSWAPPredicate predicate,
SSWAPType type)
Adds an owl:someValuesFrom restriction to this type on the specified predicate |
void |
SSWAPType.addSubClassOf(SSWAPType type)
Adds an rdfs:subClassOf axiom to this type. |
void |
SSWAPIndividual.addType(SSWAPType type)
Adds a new declared type to the individual |
void |
SSWAPPredicate.addType(SSWAPType type)
Adds the type information to this property (i.e., whether this is a DatatypeProperty, an ObjectProperty, FunctionalProperty, InverseProperty etc.) |
SSWAPType |
SSWAPType.intersectionOf(SSWAPType a)
Creates and returns a new type that is an intersection of this type and the given type. |
boolean |
SSWAPIndividual.isCompatibleWith(SSWAPType type)
Checks whether this individual is compatible with the argument type; i.e., if the individual is asserted to be of this type (e.g., via addType(SSWAPType) method), would the ontology remain consistent or become inconsistent? |
boolean |
SSWAPIndividual.isOfType(SSWAPType type)
Checks whether this individual is of a given type. |
boolean |
SSWAPType.isStrictSubTypeOf(SSWAPType superType)
Checks whether this type is a strict subtype of the other. |
boolean |
SSWAPType.isSubTypeOf(SSWAPType superType)
Checks whether this type is a subtype of the other. |
void |
SSWAPIndividual.removeType(SSWAPType type)
Removes a type from the individual. |
SSWAPType |
SSWAPType.unionOf(SSWAPType a)
Creates and returns a new type that is a union of this type and the given type. |
Method parameters in info.sswap.api.model with type arguments of type SSWAPType | |
---|---|
void |
SSWAPType.addDisjointUnionOf(java.util.Collection<SSWAPType> disjointClasses)
Adds an owl:disjointUnionOf axiom to this type |
void |
SSWAPType.addIntersectionOf(java.util.Collection<SSWAPType> classes)
Adds an owl:intersectionOf axiom to this type. |
void |
SSWAPType.addUnionOf(java.util.Collection<SSWAPType> classes)
Adds an owl:unionOf axiom to this type |
SSWAPType |
SSWAPDocument.createIntersectionOf(java.util.Collection<SSWAPType> types)
Creates a SSWAPType in the specified model that is an intersection of the given types. |
SSWAPType |
SSWAPDocument.createUnionOf(java.util.Collection<SSWAPType> types)
Creates a SSWAPType in the specified model that is a union of the given types. |
Uses of SSWAPType in info.sswap.impl.empire.model |
---|
Classes in info.sswap.impl.empire.model that implement SSWAPType | |
---|---|
class |
TypeImpl
Implementation of SSWAPType. |
Fields in info.sswap.impl.empire.model declared as SSWAPType | |
---|---|
private SSWAPType |
IndividualImpl.declaredTypeIntersection
Contains a type that is intersection of all declared types. |
private SSWAPType |
IndividualImpl.inferredTypeIntersection
Contains a type that is intersection of all inferred types. |
Fields in info.sswap.impl.empire.model with type parameters of type SSWAPType | |
---|---|
private java.util.Map<java.util.Set<SSWAPType>,SSWAPType> |
SourceModelImpl.cachedIntersectionTypes
A cache for intersection types created via this source model (to avoid recreating them) The keys are set of the types in the intersection and the value is the corresponding intersection type |
private java.util.Map<java.util.Set<SSWAPType>,SSWAPType> |
SourceModelImpl.cachedIntersectionTypes
A cache for intersection types created via this source model (to avoid recreating them) The keys are set of the types in the intersection and the value is the corresponding intersection type |
private java.util.Set<SSWAPType> |
IndividualImpl.types
The list of all declared (told) types of this individual. |
Methods in info.sswap.impl.empire.model that return SSWAPType | |
---|---|
SSWAPType |
TypeImpl.complementOf()
|
SSWAPType |
SourceModelImpl.createAnonymousRestrictionType()
|
SSWAPType |
SourceModelImpl.createAnonymousType()
|
private static SSWAPType |
TypeImpl.createComplexType(SSWAPModel model,
com.hp.hpl.jena.rdf.model.Property connectingProperty,
java.util.Collection<SSWAPType> types)
|
SSWAPType |
SourceModelImpl.createIntersectionOf(java.util.Collection<SSWAPType> types)
|
SSWAPType |
SourceModelImpl.createUnionOf(java.util.Collection<SSWAPType> types)
|
SSWAPType |
IndividualImpl.getDeclaredType()
|
SSWAPType |
PredicateImpl.getDomain()
|
SSWAPType |
ReasoningServiceImpl.getDomain(SSWAPPredicate predicate)
|
SSWAPType |
SourceModelImpl.getIntersectionType(java.util.Set<SSWAPType> intersectionComponents)
|
SSWAPType |
PredicateImpl.getObjectPredicateRange()
|
SSWAPType |
IndividualImpl.getType()
|
SSWAPType |
SourceModelImpl.getType(java.net.URI uri)
|
static SSWAPType |
TypeImpl.intersectionOf(SSWAPModel model,
java.util.Collection<SSWAPType> types)
Creates a complex type that is an intersection of the specified types. |
SSWAPType |
TypeImpl.intersectionOf(SSWAPType a)
|
static SSWAPType |
TypeImpl.unionOf(SSWAPModel model,
java.util.Collection<SSWAPType> types)
Creates a complex type that is a union of the specified types. |
SSWAPType |
TypeImpl.unionOf(SSWAPType a)
|
Methods in info.sswap.impl.empire.model that return types with arguments of type SSWAPType | |
---|---|
java.util.Collection<SSWAPType> |
IndividualImpl.getDeclaredTypes()
Gets all declared (told) types of this individual. |
java.util.Collection<SSWAPType> |
ReasoningServiceImpl.getDomains(SSWAPPredicate predicate)
|
java.util.Collection<SSWAPType> |
PredicateImpl.getObjectPredicateRanges()
|
java.util.Collection<SSWAPType> |
IndividualImpl.getTypes()
|
Methods in info.sswap.impl.empire.model with parameters of type SSWAPType | |
---|---|
void |
TypeImpl.addDisjointWith(SSWAPType type)
|
void |
PredicateImpl.addDomain(SSWAPType type)
|
void |
TypeImpl.addEquivalentClass(SSWAPType type)
|
void |
PredicateImpl.addRange(SSWAPType type)
|
void |
TypeImpl.addRestrictionAllValuesFrom(SSWAPPredicate predicate,
SSWAPType type)
|
void |
TypeImpl.addRestrictionSomeValuesFrom(SSWAPPredicate predicate,
SSWAPType type)
|
void |
TypeImpl.addSubClassOf(SSWAPType type)
|
void |
IndividualImpl.addType(SSWAPType type)
|
void |
PredicateImpl.addType(SSWAPType type)
|
private void |
IndividualImpl.doAddType(SSWAPType type)
|
private void |
IndividualImpl.doRemoveType(SSWAPType type)
|
SSWAPType |
TypeImpl.intersectionOf(SSWAPType a)
|
boolean |
IndividualImpl.isCompatibleWith(SSWAPType type)
|
boolean |
IndividualImpl.isOfType(SSWAPType type)
|
boolean |
TypeImpl.isStrictSubTypeOf(SSWAPType superType)
|
boolean |
ReasoningServiceImpl.isStrictSubTypeOf(SSWAPType sub,
SSWAPType sup)
|
boolean |
TypeImpl.isSubTypeOf(SSWAPType superType)
|
boolean |
ReasoningServiceImpl.isSubTypeOf(SSWAPType sub,
SSWAPType sup)
|
void |
IndividualImpl.removeType(SSWAPType type)
|
SourceModel |
ReasoningServiceImpl.translate(SSWAPType type,
SSWAPElement individual)
Translates the individual into statements that are required and used by the specified class. |
SSWAPType |
TypeImpl.unionOf(SSWAPType a)
|
Method parameters in info.sswap.impl.empire.model with type arguments of type SSWAPType | |
---|---|
void |
TypeImpl.addDisjointUnionOf(java.util.Collection<SSWAPType> disjointClasses)
|
void |
TypeImpl.addIntersectionOf(java.util.Collection<SSWAPType> types)
|
void |
TypeImpl.addUnionOf(java.util.Collection<SSWAPType> types)
|
private static SSWAPType |
TypeImpl.createComplexType(SSWAPModel model,
com.hp.hpl.jena.rdf.model.Property connectingProperty,
java.util.Collection<SSWAPType> types)
|
private static void |
TypeImpl.createComplexType(SSWAPModel model,
TypeImpl resultType,
com.hp.hpl.jena.rdf.model.Property connectingProperty,
java.util.Collection<SSWAPType> types)
Creates a complex type that consists of multiple other types connected by a property (e.g., owl:intersectionOf or owl:unionOf). |
SSWAPType |
SourceModelImpl.createIntersectionOf(java.util.Collection<SSWAPType> types)
|
SSWAPType |
SourceModelImpl.createUnionOf(java.util.Collection<SSWAPType> types)
|
SSWAPType |
SourceModelImpl.getIntersectionType(java.util.Set<SSWAPType> intersectionComponents)
|
static SSWAPType |
TypeImpl.intersectionOf(SSWAPModel model,
java.util.Collection<SSWAPType> types)
Creates a complex type that is an intersection of the specified types. |
static SSWAPType |
TypeImpl.unionOf(SSWAPModel model,
java.util.Collection<SSWAPType> types)
Creates a complex type that is a union of the specified types. |
Uses of SSWAPType in info.sswap.ontologies.data.api |
---|
Methods in info.sswap.ontologies.data.api that return types with arguments of type SSWAPType | |
---|---|
java.util.Set<SSWAPType> |
Data.getFormats()
Get explicit and inferred subTypes of data:DataFormat |
Uses of SSWAPType in info.sswap.ontologies.data.impl |
---|
Fields in info.sswap.ontologies.data.impl declared as SSWAPType | |
---|---|
private SSWAPType |
DirectoryImpl.data_DataFormat
|
protected SSWAPType |
AbstractData.DataFormatType
|
Methods in info.sswap.ontologies.data.impl that return types with arguments of type SSWAPType | |
---|---|
java.util.Set<SSWAPType> |
AbstractData.getFormats()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |