Package | Description |
---|---|
org.processmining.plugins.ltlchecker |
Modifier and Type | Method and Description |
---|---|
ConceptModel |
OntologyModel.addConcept(java.lang.String conceptShortName)
Adds a new concept with the given name to this ontology.
|
ConceptModel |
OntologyModel.findConcept(java.lang.String conceptShortName)
Returns the concept with the given short name, or null if no such concept
exists in this ontology.
|
ConceptModel |
OntologyCollection.findConceptByUriInLog(java.lang.String uriInLog) |
ConceptModel |
OntologyCollection.findConceptByUriInOntology(java.lang.String uriInOntology) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<ConceptModel> |
OntologyModel.getAllConcepts()
Returns a list of all concepts which are directly referenced in the log,
or which are superconcepts of any concept which is directly referenced in
the log.
|
java.util.Collection<ConceptModel> |
OntologyModel.getAllDirectSubConcepts(ConceptModel concept)
Returns a collection of all direct subconcepts, including concepts which
are not directly referenced in the log.
|
java.util.Collection<ConceptModel> |
OntologyModel.getAllDirectSuperConcepts(ConceptModel concept)
Returns a collection of all direct superconcepts, including concepts
which are not directly referenced in the log.
|
java.util.Collection<ConceptModel> |
OntologyModel.getConcepts()
Returns a list of all concepts which are directly referenced in the log.
|
java.util.Collection<ConceptModel> |
OntologyModel.getDirectSubConcepts(ConceptModel concept)
Returns a collection of the direct subconcepts which are directly
referenced in the log.
|
java.util.Collection<ConceptModel> |
OntologyModel.getDirectSuperConcepts(ConceptModel concept)
Returns a collection of the direct superconcepts which are directly
referenced in the log.
|
java.util.Collection<ConceptModel> |
OntologyModel.getSubConcepts(ConceptModel concept)
Returns a collection of all subconcepts of a given concept.
|
java.util.Collection<ConceptModel> |
OntologyModel.getSuperConcepts(ConceptModel concept)
Returns a collection of all superconcepts of a given concept.
|
Modifier and Type | Method and Description |
---|---|
void |
ConceptModel.addSuperConcept(ConceptModel superConcept) |
int |
ConceptModel.compareTo(ConceptModel other) |
java.util.Collection<ConceptModel> |
OntologyModel.getAllDirectSubConcepts(ConceptModel concept)
Returns a collection of all direct subconcepts, including concepts which
are not directly referenced in the log.
|
java.util.Collection<ConceptModel> |
OntologyModel.getAllDirectSuperConcepts(ConceptModel concept)
Returns a collection of all direct superconcepts, including concepts
which are not directly referenced in the log.
|
java.lang.String |
OntologyModel.getConceptURIInLog(ConceptModel c)
Returns the model reference of the given concept as it is used in the
log.
|
java.util.Collection<ConceptModel> |
OntologyModel.getDirectSubConcepts(ConceptModel concept)
Returns a collection of the direct subconcepts which are directly
referenced in the log.
|
java.util.Collection<ConceptModel> |
OntologyModel.getDirectSuperConcepts(ConceptModel concept)
Returns a collection of the direct superconcepts which are directly
referenced in the log.
|
java.util.Collection<ConceptModel> |
OntologyModel.getSubConcepts(ConceptModel concept)
Returns a collection of all subconcepts of a given concept.
|
java.util.Collection<ConceptModel> |
OntologyModel.getSuperConcepts(ConceptModel concept)
Returns a collection of all superconcepts of a given concept.
|