wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-flight"

namespace { _"http://www.tripcom.org/ontologies/tsonto#" }

ontology _"http://www.tripcom.org/ontologies/tsonto-distr.wsml"

importsOntology _"http://www.tripcom.org/ontologies/tsonto-core.wsml"

concept Data
  isStoredInRepository impliesType (1 *) Repository
  isManagedAtKernel inverseOf(manages) impliesType (1 *) Kernel

concept Kernel
  manages inverseOf(isManagedAtKernel) impliesType Data
  seeAlsoKernel symmetric transitive impliesType Kernel