transaction.ttl

@prefix : <http://emmo.info/datamodel#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix emmo: <http://emmo.info/emmo#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@base <http://emmo.info/datamodel/transaction> .

<http://emmo.info/datamodel/transaction> rdf:type owl:Ontology ;
                                          owl:versionIRI <http://emmo.info/datamodel/0.0.2/transaction> ;
                                          owl:imports <http://emmo.info/datamodel/0.0.2/metamodel> ;
                                          dcterms:abstract "An extension of the metamodel adding transactions."@en ;
                                          dcterms:creator "Jesper Friis, SINTEF"@en ,
                                                          "Thomas Hagelien, SINTEF"@en ;
                                          dcterms:license "https://creativecommons.org/licenses/by/4.0/legalcode" ;
                                          dcterms:title "Transaction module of the datamodel ontology"@en .

#################################################################
#    Object Properties
#################################################################

###  http://emmo.info/datamodel/transaction#hasParent
:hasParent rdf:type owl:ObjectProperty ;
           rdfs:subPropertyOf :aggregation ;
           rdfs:domain :Transaction ;
           rdfs:range :Instance ;
           rdfs:comment "Relates an transaction instance to its parent instance."@en ;
           <http://www.w3.org/2004/02/skos/core#prefLabel> "hasParent"@en .


#################################################################
#    Data properties
#################################################################

###  http://emmo.info/datamodel#hasHash
:hasHash rdf:type owl:DatatypeProperty ;
         rdfs:subPropertyOf :dataRelation ;
         rdfs:domain :Instance ;
         rdfs:range rdfs:Literal ;
         rdfs:comment "The hash of an instance."@en ;
         <http://www.w3.org/2004/02/skos/core#prefLabel> "hasHash"@en .


###  http://emmo.info/datamodel#hasParentHash
:hasParentHash rdf:type owl:DatatypeProperty ;
               rdfs:subPropertyOf :dataRelation ;
               rdfs:domain :Transaction ;
               rdfs:range rdfs:Literal ;
               rdfs:comment "Hash of the parent instance of a transaction."@en ;
               <http://www.w3.org/2004/02/skos/core#prefLabel> "hasParentHash"@en .


#################################################################
#    Classes
#################################################################

###  http://emmo.info/datamodel#Transaction
:Transaction rdf:type owl:Class ;
             rdfs:subClassOf :Instance ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty :hasParent ;
                               owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                               owl:onClass :Instance
                             ] ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty :hasParentHash ;
                               owl:cardinality "1"^^xsd:nonNegativeInteger
                             ] ;
             rdfs:comment """A transaction is an instance who has a parent.

The concept of transactions introduces provenance into series of instances. An instance can only have one parent, but the same instance can be the parent of several instances (transactions). 
The parent of a transaction is immutable."""@en ;
             <http://www.w3.org/2004/02/skos/core#prefLabel> "Transaction"@en .


###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi