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

namespace { _"http://www.tripcom.org/ontologies/tsonto#",
    rdf _"http://www.w3.org/1999/02/22-rdf-syntax-ns#",
    rdfs _"http://www.w3.org/2000/01/rdf-schema#",
    xsd _"http://www.w3.org/2001/XMLSchema#",
    foaf _"http://xmlns.com/foaf/0.1/",
    dc _"http://purl.org/dc/elements/1.1/",
    part _"http://www.w3.org/2001/sw/BestPractices/OEP/SimplePartWhole/part.owl#" }

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

concept Triple subConceptOf {rdf#Statement, Data}
  part#isPartOf impliesType Graph

concept Graph subConceptOf Data
  part#hasPart impliesType (1 *) Triple

concept Data
  isContainedIn inverseOf(contains) impliesType (1 *) Space
  hasAccessLogEntry impliesType (1 *) AccessLogEntry
  dc#format impliesType (0 1) rdfs#Resource
    nfp
        dc#description hasValue "Every piece of data is encoded by a particular
            formalism and should preferably be interpreted by an engine understanding
            this formalism. Example are
                rdfs: http://www.w3.org/2000/01/rdf-schema\#
                owl: http://www.w3.org/2002/07/owl\#
                wsml: http://www.wsmo.org/wsml/wsml-syntax\#"
    endnfp

concept Space
  contains impliesType Data
  hasSubspace inverseOf(isSubspaceOf) impliesType Space
  isSubspaceOf inverseOf(hasSubspace) impliesType (0 1) Space
  isSharedAtKernel inverseOf(sharesSpace) impliesType (1 *) Kernel
  rdfs#seeAlso impliesType rdfs#Resource
    nfp
        dc#description hasValue "This is used to indicate a resource that might provide
            additional information about the subject resource: e.g., a topic of the
            content of the space."
    endnfp
  rdfs#isDefinedBy impliesType rdfs#Resource
    nfp
        dc#description hasValue "This is used to indicate a resource defining the
        subject resource. This property may be used to indicate an RDF vocabulary in
        which a resource is described. In the case of the TS ontology, the source
        would be the ontology or schema from which the data in the space is derived,
        hence the range is the URI of an ontology."
    endnfp

concept Agent
  foaf#name impliesType (0 1) xsd#string
    nfp
        dc#description hasValue "A human readable name for the agent"
    endnfp

concept AccessLogEntry
  dc#publisher impliesType (1) Agent
  dc#date impliesType (1) xsd#dateTime
  refersToData inverseOf(hasAccessLog) impliesType (1 *) Data
  type impliesType (1) AccessType

instance Read memberOf AccessType instance Modify memberOf AccessType instance
Write memberOf AccessType instance Delete memberOf AccessType

concept Kernel
  sharesSpace inverseOf(isSharedAtKernel) impliesType Space
  hasQueryEngine impliesType (1 *) QueryEngine

concept Repository

concept QueryEngine
  dc#language impliesType (1) rdfs#Resource
  accessesRepository impliesType Repository