Uses of Class
org.processmining.plugins.ltlchecker.OntologyModel

Packages that use OntologyModel

Package	Description
org.processmining.plugins.ltlchecker

Uses of OntologyModel in org.processmining.plugins.ltlchecker

Methods in org.processmining.plugins.ltlchecker that return OntologyModel

Modifier and Type	Method and Description
OntologyModel	OntologyCollection.createOntology(java.lang.String namespace, java.lang.String name) Creates a new ontology and adds it to the collection.
OntologyModel	ConceptModel.getOntology()

Methods in org.processmining.plugins.ltlchecker that return types with arguments of type OntologyModel

Modifier and Type	Method and Description
java.util.List<OntologyModel>	OntologyCollection.getOntologies()