implied axioms from prov-o
authorStian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Tue, 03 Jul 2012 12:03:54 +0100
changeset 3672 a068151bca91
parent 3671 7c98759592a5
child 3673 4a7c73115235
child 3675 b4a69a5ebce5
implied axioms from prov-o
examples/eg-24-prov-o-html-examples/rdf/create/implied-provo.owl
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/eg-24-prov-o-html-examples/rdf/create/implied-provo.owl	Tue Jul 03 12:03:54 2012 +0100
@@ -0,0 +1,1114 @@
[email protected] : <http://www.semanticweb.org/stain/ontologies/2012/6/untitled-ontology-2#> .
[email protected] owl: <http://www.w3.org/2002/07/owl#> .
[email protected] rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
[email protected] xml: <http://www.w3.org/XML/1998/namespace> .
[email protected] xsd: <http://www.w3.org/2001/XMLSchema#> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] <http://www.semanticweb.org/stain/ontologies/2012/6/untitled-ontology-2> .
+
+<http://www.semanticweb.org/stain/ontologies/2012/6/untitled-ontology-2> rdf:type owl:Ontology .
+
+
+#################################################################
+#
+#    Object Properties
+#
+#################################################################
+
+
+###  http://www.w3.org/2002/07/owl#topObjectProperty
+
+owl:topObjectProperty rdf:type owl:ReflexiveProperty ,
+                               owl:SymmetricProperty ,
+                               owl:TransitiveProperty ;
+                      
+                      owl:inverseOf owl:topObjectProperty .
+
+
+
+###  http://www.w3.org/ns/prov#actedOnBehalfOf
+
+<http://www.w3.org/ns/prov#actedOnBehalfOf> rdf:type owl:ObjectProperty ;
+                                            
+                                            rdfs:subPropertyOf <http://www.w3.org/ns/prov#wasInfluencedBy> ;
+                                            
+                                            owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#actedOnBehalfOf>
+                                                          ] ;
+                                            
+                                            rdfs:subPropertyOf [ owl:inverseOf <http://www.w3.org/ns/prov#influenced>
+                                                               ] .
+
+
+
+###  http://www.w3.org/ns/prov#activity
+
+<http://www.w3.org/ns/prov#activity> rdf:type owl:ObjectProperty ;
+                                     
+                                     rdfs:subPropertyOf <http://www.w3.org/ns/prov#influencer> ;
+                                     
+                                     owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#activity>
+                                                   ] .
+
+
+
+###  http://www.w3.org/ns/prov#agent
+
+<http://www.w3.org/ns/prov#agent> rdf:type owl:ObjectProperty ;
+                                  
+                                  rdfs:subPropertyOf <http://www.w3.org/ns/prov#influencer> ;
+                                  
+                                  owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#agent>
+                                                ] .
+
+
+
+###  http://www.w3.org/ns/prov#alternateOf
+
+<http://www.w3.org/ns/prov#alternateOf> rdf:type owl:ObjectProperty ;
+                                        
+                                        rdfs:subPropertyOf owl:topObjectProperty ;
+                                        
+                                        owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#alternateOf>
+                                                      ] .
+
+
+
+###  http://www.w3.org/ns/prov#asInBundle
+
+<http://www.w3.org/ns/prov#asInBundle> rdf:type owl:ObjectProperty ;
+                                       
+                                       rdfs:subPropertyOf owl:topObjectProperty ;
+                                       
+                                       owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#asInBundle>
+                                                     ] .
+
+
+
+###  http://www.w3.org/ns/prov#atLocation
+
+<http://www.w3.org/ns/prov#atLocation> rdf:type owl:ObjectProperty ;
+                                       
+                                       rdfs:subPropertyOf owl:topObjectProperty ;
+                                       
+                                       owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#atLocation>
+                                                     ] .
+
+
+
+###  http://www.w3.org/ns/prov#entity
+
+<http://www.w3.org/ns/prov#entity> rdf:type owl:ObjectProperty ;
+                                   
+                                   rdfs:subPropertyOf <http://www.w3.org/ns/prov#influencer> ;
+                                   
+                                   owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#entity>
+                                                 ] .
+
+
+
+###  http://www.w3.org/ns/prov#generated
+
+<http://www.w3.org/ns/prov#generated> rdf:type owl:AsymmetricProperty ,
+                                               owl:IrreflexiveProperty ,
+                                               owl:ObjectProperty ,
+                                               owl:TransitiveProperty ;
+                                      
+                                      rdfs:subPropertyOf <http://www.w3.org/ns/prov#influenced> ;
+                                      
+                                      owl:inverseOf <http://www.w3.org/ns/prov#wasGeneratedBy> ;
+                                      
+                                      owl:equivalentProperty [ owl:inverseOf <http://www.w3.org/ns/prov#wasGeneratedBy>
+                                                             ] ;
+                                      
+                                      rdfs:subPropertyOf [ owl:inverseOf <http://www.w3.org/ns/prov#wasInfluencedBy>
+                                                         ] ;
+                                      
+                                      owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#generated>
+                                                    ] .
+
+
+
+###  http://www.w3.org/ns/prov#hadActivity
+
+<http://www.w3.org/ns/prov#hadActivity> rdf:type owl:ObjectProperty ;
+                                        
+                                        rdfs:subPropertyOf owl:topObjectProperty ;
+                                        
+                                        owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#hadActivity>
+                                                      ] .
+
+
+
+###  http://www.w3.org/ns/prov#hadGeneration
+
+<http://www.w3.org/ns/prov#hadGeneration> rdf:type owl:AsymmetricProperty ,
+                                                   owl:IrreflexiveProperty ,
+                                                   owl:ObjectProperty ,
+                                                   owl:TransitiveProperty ;
+                                          
+                                          rdfs:subPropertyOf owl:topObjectProperty ;
+                                          
+                                          owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#hadGeneration>
+                                                        ] .
+
+
+
+###  http://www.w3.org/ns/prov#hadMember
+
+<http://www.w3.org/ns/prov#hadMember> rdf:type owl:ObjectProperty ;
+                                      
+                                      rdfs:subPropertyOf owl:topObjectProperty ;
+                                      
+                                      owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#hadMember>
+                                                    ] .
+
+
+
+###  http://www.w3.org/ns/prov#hadPlan
+
+<http://www.w3.org/ns/prov#hadPlan> rdf:type owl:ObjectProperty ;
+                                    
+                                    rdfs:subPropertyOf owl:topObjectProperty ;
+                                    
+                                    owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#hadPlan>
+                                                  ] .
+
+
+
+###  http://www.w3.org/ns/prov#hadPrimarySource
+
+<http://www.w3.org/ns/prov#hadPrimarySource> rdf:type owl:ObjectProperty ;
+                                             
+                                             rdfs:subPropertyOf <http://www.w3.org/ns/prov#wasDerivedFrom> ;
+                                             
+                                             owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#hadPrimarySource>
+                                                           ] .
+
+
+
+###  http://www.w3.org/ns/prov#hadRole
+
+<http://www.w3.org/ns/prov#hadRole> rdf:type owl:ObjectProperty ;
+                                    
+                                    rdfs:subPropertyOf owl:topObjectProperty ;
+                                    
+                                    owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#hadRole>
+                                                  ] .
+
+
+
+###  http://www.w3.org/ns/prov#hadUsage
+
+<http://www.w3.org/ns/prov#hadUsage> rdf:type owl:ObjectProperty ;
+                                     
+                                     rdfs:subPropertyOf owl:topObjectProperty ;
+                                     
+                                     owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#hadUsage>
+                                                   ] .
+
+
+
+###  http://www.w3.org/ns/prov#hasAnchor
+
+<http://www.w3.org/ns/prov#hasAnchor> rdf:type owl:ObjectProperty ;
+                                      
+                                      rdfs:subPropertyOf owl:topObjectProperty ;
+                                      
+                                      owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#hasAnchor>
+                                                    ] .
+
+
+
+###  http://www.w3.org/ns/prov#hasProvenance
+
+<http://www.w3.org/ns/prov#hasProvenance> rdf:type owl:ObjectProperty ;
+                                          
+                                          rdfs:subPropertyOf owl:topObjectProperty ;
+                                          
+                                          owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#hasProvenance>
+                                                        ] .
+
+
+
+###  http://www.w3.org/ns/prov#hasProvenanceService
+
+<http://www.w3.org/ns/prov#hasProvenanceService> rdf:type owl:ObjectProperty ;
+                                                 
+                                                 rdfs:subPropertyOf owl:topObjectProperty ;
+                                                 
+                                                 owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#hasProvenanceService>
+                                                               ] .
+
+
+
+###  http://www.w3.org/ns/prov#influenced
+
+<http://www.w3.org/ns/prov#influenced> rdf:type owl:ObjectProperty ;
+                                       
+                                       rdfs:subPropertyOf owl:topObjectProperty ;
+                                       
+                                       owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#influenced>
+                                                     ] ;
+                                       
+                                       owl:equivalentProperty [ owl:inverseOf <http://www.w3.org/ns/prov#wasInfluencedBy>
+                                                              ] .
+
+
+
+###  http://www.w3.org/ns/prov#influencer
+
+<http://www.w3.org/ns/prov#influencer> rdf:type owl:ObjectProperty ;
+                                       
+                                       rdfs:subPropertyOf owl:topObjectProperty ;
+                                       
+                                       owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#influencer>
+                                                     ] .
+
+
+
+###  http://www.w3.org/ns/prov#invalidated
+
+<http://www.w3.org/ns/prov#invalidated> rdf:type owl:AsymmetricProperty ,
+                                                 owl:IrreflexiveProperty ,
+                                                 owl:ObjectProperty ,
+                                                 owl:TransitiveProperty ;
+                                        
+                                        rdfs:subPropertyOf <http://www.w3.org/ns/prov#influenced> ;
+                                        
+                                        owl:inverseOf <http://www.w3.org/ns/prov#wasInvalidatedBy> ,
+                                                      [ owl:inverseOf <http://www.w3.org/ns/prov#invalidated>
+                                                      ] ;
+                                        
+                                        rdfs:subPropertyOf [ owl:inverseOf <http://www.w3.org/ns/prov#wasInfluencedBy>
+                                                           ] ;
+                                        
+                                        owl:equivalentProperty [ owl:inverseOf <http://www.w3.org/ns/prov#wasInvalidatedBy>
+                                                               ] .
+
+
+
+###  http://www.w3.org/ns/prov#mentionOf
+
+<http://www.w3.org/ns/prov#mentionOf> rdf:type owl:ObjectProperty ;
+                                      
+                                      rdfs:subPropertyOf <http://www.w3.org/ns/prov#specializationOf> ;
+                                      
+                                      owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#mentionOf>
+                                                    ] .
+
+
+
+###  http://www.w3.org/ns/prov#qualifiedAssociation
+
+<http://www.w3.org/ns/prov#qualifiedAssociation> rdf:type owl:ObjectProperty ;
+                                                 
+                                                 rdfs:subPropertyOf owl:topObjectProperty ;
+                                                 
+                                                 owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#qualifiedAssociation>
+                                                               ] .
+
+
+
+###  http://www.w3.org/ns/prov#qualifiedAttribution
+
+<http://www.w3.org/ns/prov#qualifiedAttribution> rdf:type owl:ObjectProperty ;
+                                                 
+                                                 rdfs:subPropertyOf owl:topObjectProperty ;
+                                                 
+                                                 owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#qualifiedAttribution>
+                                                               ] .
+
+
+
+###  http://www.w3.org/ns/prov#qualifiedCommunication
+
+<http://www.w3.org/ns/prov#qualifiedCommunication> rdf:type owl:ObjectProperty ;
+                                                   
+                                                   rdfs:subPropertyOf owl:topObjectProperty ;
+                                                   
+                                                   owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#qualifiedCommunication>
+                                                                 ] .
+
+
+
+###  http://www.w3.org/ns/prov#qualifiedDelegation
+
+<http://www.w3.org/ns/prov#qualifiedDelegation> rdf:type owl:ObjectProperty ;
+                                                
+                                                rdfs:subPropertyOf owl:topObjectProperty ;
+                                                
+                                                owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#qualifiedDelegation>
+                                                              ] .
+
+
+
+###  http://www.w3.org/ns/prov#qualifiedDerivation
+
+<http://www.w3.org/ns/prov#qualifiedDerivation> rdf:type owl:ObjectProperty ;
+                                                
+                                                rdfs:subPropertyOf owl:topObjectProperty ;
+                                                
+                                                owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#qualifiedDerivation>
+                                                              ] .
+
+
+
+###  http://www.w3.org/ns/prov#qualifiedEnd
+
+<http://www.w3.org/ns/prov#qualifiedEnd> rdf:type owl:ObjectProperty ;
+                                         
+                                         rdfs:subPropertyOf owl:topObjectProperty ;
+                                         
+                                         owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#qualifiedEnd>
+                                                       ] .
+
+
+
+###  http://www.w3.org/ns/prov#qualifiedGeneration
+
+<http://www.w3.org/ns/prov#qualifiedGeneration> rdf:type owl:AsymmetricProperty ,
+                                                         owl:IrreflexiveProperty ,
+                                                         owl:ObjectProperty ,
+                                                         owl:TransitiveProperty ;
+                                                
+                                                rdfs:subPropertyOf owl:topObjectProperty ;
+                                                
+                                                owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#qualifiedGeneration>
+                                                              ] .
+
+
+
+###  http://www.w3.org/ns/prov#qualifiedInfluence
+
+<http://www.w3.org/ns/prov#qualifiedInfluence> rdf:type owl:ObjectProperty ;
+                                               
+                                               rdfs:subPropertyOf owl:topObjectProperty ;
+                                               
+                                               owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#qualifiedInfluence>
+                                                             ] .
+
+
+
+###  http://www.w3.org/ns/prov#qualifiedInvalidation
+
+<http://www.w3.org/ns/prov#qualifiedInvalidation> rdf:type owl:AsymmetricProperty ,
+                                                           owl:IrreflexiveProperty ,
+                                                           owl:ObjectProperty ,
+                                                           owl:TransitiveProperty ;
+                                                  
+                                                  rdfs:subPropertyOf owl:topObjectProperty ;
+                                                  
+                                                  owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#qualifiedInvalidation>
+                                                                ] .
+
+
+
+###  http://www.w3.org/ns/prov#qualifiedQuotation
+
+<http://www.w3.org/ns/prov#qualifiedQuotation> rdf:type owl:ObjectProperty ;
+                                               
+                                               rdfs:subPropertyOf owl:topObjectProperty ;
+                                               
+                                               owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#qualifiedQuotation>
+                                                             ] .
+
+
+
+###  http://www.w3.org/ns/prov#qualifiedRevision
+
+<http://www.w3.org/ns/prov#qualifiedRevision> rdf:type owl:ObjectProperty ;
+                                              
+                                              rdfs:subPropertyOf owl:topObjectProperty ;
+                                              
+                                              owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#qualifiedRevision>
+                                                            ] .
+
+
+
+###  http://www.w3.org/ns/prov#qualifiedSource
+
+<http://www.w3.org/ns/prov#qualifiedSource> rdf:type owl:ObjectProperty ;
+                                            
+                                            rdfs:subPropertyOf owl:topObjectProperty ;
+                                            
+                                            owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#qualifiedSource>
+                                                          ] .
+
+
+
+###  http://www.w3.org/ns/prov#qualifiedStart
+
+<http://www.w3.org/ns/prov#qualifiedStart> rdf:type owl:ObjectProperty ;
+                                           
+                                           rdfs:subPropertyOf owl:topObjectProperty ;
+                                           
+                                           owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#qualifiedStart>
+                                                         ] .
+
+
+
+###  http://www.w3.org/ns/prov#qualifiedUsage
+
+<http://www.w3.org/ns/prov#qualifiedUsage> rdf:type owl:ObjectProperty ;
+                                           
+                                           rdfs:subPropertyOf owl:topObjectProperty ;
+                                           
+                                           owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#qualifiedUsage>
+                                                         ] .
+
+
+
+###  http://www.w3.org/ns/prov#specializationOf
+
+<http://www.w3.org/ns/prov#specializationOf> rdf:type owl:ObjectProperty ;
+                                             
+                                             rdfs:subPropertyOf <http://www.w3.org/ns/prov#alternateOf> ;
+                                             
+                                             owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#specializationOf>
+                                                           ] .
+
+
+
+###  http://www.w3.org/ns/prov#used
+
+<http://www.w3.org/ns/prov#used> rdf:type owl:AsymmetricProperty ,
+                                          owl:IrreflexiveProperty ,
+                                          owl:ObjectProperty ,
+                                          owl:TransitiveProperty ;
+                                 
+                                 rdfs:subPropertyOf <http://www.w3.org/ns/prov#wasInfluencedBy> ,
+                                                    [ owl:inverseOf <http://www.w3.org/ns/prov#influenced>
+                                                    ] ;
+                                 
+                                 owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#used>
+                                               ] .
+
+
+
+###  http://www.w3.org/ns/prov#wasAssociatedWith
+
+<http://www.w3.org/ns/prov#wasAssociatedWith> rdf:type owl:ObjectProperty ;
+                                              
+                                              rdfs:subPropertyOf <http://www.w3.org/ns/prov#wasInfluencedBy> ;
+                                              
+                                              owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#wasAssociatedWith>
+                                                            ] ;
+                                              
+                                              rdfs:subPropertyOf [ owl:inverseOf <http://www.w3.org/ns/prov#influenced>
+                                                                 ] .
+
+
+
+###  http://www.w3.org/ns/prov#wasAttributedTo
+
+<http://www.w3.org/ns/prov#wasAttributedTo> rdf:type owl:ObjectProperty ;
+                                            
+                                            rdfs:subPropertyOf <http://www.w3.org/ns/prov#wasInfluencedBy> ;
+                                            
+                                            owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#wasAttributedTo>
+                                                          ] ;
+                                            
+                                            rdfs:subPropertyOf [ owl:inverseOf <http://www.w3.org/ns/prov#influenced>
+                                                               ] .
+
+
+
+###  http://www.w3.org/ns/prov#wasDerivedFrom
+
+<http://www.w3.org/ns/prov#wasDerivedFrom> rdf:type owl:ObjectProperty ;
+                                           
+                                           rdfs:subPropertyOf <http://www.w3.org/ns/prov#wasInfluencedBy> ;
+                                           
+                                           owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#wasDerivedFrom>
+                                                         ] ;
+                                           
+                                           rdfs:subPropertyOf [ owl:inverseOf <http://www.w3.org/ns/prov#influenced>
+                                                              ] .
+
+
+
+###  http://www.w3.org/ns/prov#wasEndedBy
+
+<http://www.w3.org/ns/prov#wasEndedBy> rdf:type owl:AsymmetricProperty ,
+                                                owl:IrreflexiveProperty ,
+                                                owl:ObjectProperty ,
+                                                owl:TransitiveProperty ;
+                                       
+                                       rdfs:subPropertyOf <http://www.w3.org/ns/prov#wasInfluencedBy> ,
+                                                          [ owl:inverseOf <http://www.w3.org/ns/prov#influenced>
+                                                          ] ;
+                                       
+                                       owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#wasEndedBy>
+                                                     ] .
+
+
+
+###  http://www.w3.org/ns/prov#wasGeneratedBy
+
+<http://www.w3.org/ns/prov#wasGeneratedBy> rdf:type owl:AsymmetricProperty ,
+                                                    owl:IrreflexiveProperty ,
+                                                    owl:ObjectProperty ,
+                                                    owl:TransitiveProperty ;
+                                           
+                                           rdfs:subPropertyOf <http://www.w3.org/ns/prov#wasInfluencedBy> ;
+                                           
+                                           owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#wasGeneratedBy>
+                                                         ] ;
+                                           
+                                           rdfs:subPropertyOf [ owl:inverseOf <http://www.w3.org/ns/prov#influenced>
+                                                              ] ;
+                                           
+                                           owl:equivalentProperty [ owl:inverseOf <http://www.w3.org/ns/prov#generated>
+                                                                  ] .
+
+
+
+###  http://www.w3.org/ns/prov#wasInfluencedBy
+
+<http://www.w3.org/ns/prov#wasInfluencedBy> rdf:type owl:ObjectProperty ;
+                                            
+                                            rdfs:subPropertyOf owl:topObjectProperty ;
+                                            
+                                            owl:inverseOf <http://www.w3.org/ns/prov#influenced> ;
+                                            
+                                            owl:equivalentProperty [ owl:inverseOf <http://www.w3.org/ns/prov#influenced>
+                                                                   ] ;
+                                            
+                                            owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#wasInfluencedBy>
+                                                          ] .
+
+
+
+###  http://www.w3.org/ns/prov#wasInformedBy
+
+<http://www.w3.org/ns/prov#wasInformedBy> rdf:type owl:ObjectProperty ;
+                                          
+                                          rdfs:subPropertyOf <http://www.w3.org/ns/prov#wasInfluencedBy> ,
+                                                             [ owl:inverseOf <http://www.w3.org/ns/prov#influenced>
+                                                             ] ;
+                                          
+                                          owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#wasInformedBy>
+                                                        ] .
+
+
+
+###  http://www.w3.org/ns/prov#wasInvalidatedBy
+
+<http://www.w3.org/ns/prov#wasInvalidatedBy> rdf:type owl:AsymmetricProperty ,
+                                                      owl:IrreflexiveProperty ,
+                                                      owl:ObjectProperty ,
+                                                      owl:TransitiveProperty ;
+                                             
+                                             rdfs:subPropertyOf <http://www.w3.org/ns/prov#wasInfluencedBy> ,
+                                                                [ owl:inverseOf <http://www.w3.org/ns/prov#influenced>
+                                                                ] ;
+                                             
+                                             owl:equivalentProperty [ owl:inverseOf <http://www.w3.org/ns/prov#invalidated>
+                                                                    ] ;
+                                             
+                                             owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#wasInvalidatedBy>
+                                                           ] .
+
+
+
+###  http://www.w3.org/ns/prov#wasQuotedFrom
+
+<http://www.w3.org/ns/prov#wasQuotedFrom> rdf:type owl:ObjectProperty ;
+                                          
+                                          rdfs:subPropertyOf <http://www.w3.org/ns/prov#wasDerivedFrom> ;
+                                          
+                                          owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#wasQuotedFrom>
+                                                        ] .
+
+
+
+###  http://www.w3.org/ns/prov#wasRevisionOf
+
+<http://www.w3.org/ns/prov#wasRevisionOf> rdf:type owl:ObjectProperty ;
+                                          
+                                          rdfs:subPropertyOf <http://www.w3.org/ns/prov#wasDerivedFrom> ;
+                                          
+                                          owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#wasRevisionOf>
+                                                        ] .
+
+
+
+###  http://www.w3.org/ns/prov#wasStartedBy
+
+<http://www.w3.org/ns/prov#wasStartedBy> rdf:type owl:AsymmetricProperty ,
+                                                  owl:IrreflexiveProperty ,
+                                                  owl:ObjectProperty ,
+                                                  owl:TransitiveProperty ;
+                                         
+                                         rdfs:subPropertyOf <http://www.w3.org/ns/prov#wasInfluencedBy> ;
+                                         
+                                         owl:inverseOf [ owl:inverseOf <http://www.w3.org/ns/prov#wasStartedBy>
+                                                       ] ;
+                                         
+                                         rdfs:subPropertyOf [ owl:inverseOf <http://www.w3.org/ns/prov#influenced>
+                                                            ] .
+
+
+
+
+
+#################################################################
+#
+#    Data properties
+#
+#################################################################
+
+
+###  http://www.w3.org/ns/prov#atTime
+
+<http://www.w3.org/ns/prov#atTime> rdf:type owl:DatatypeProperty ,
+                                            owl:FunctionalProperty .
+
+
+
+###  http://www.w3.org/ns/prov#endedAtTime
+
+<http://www.w3.org/ns/prov#endedAtTime> rdf:type owl:DatatypeProperty ,
+                                                 owl:FunctionalProperty .
+
+
+
+###  http://www.w3.org/ns/prov#generatedAtTime
+
+<http://www.w3.org/ns/prov#generatedAtTime> rdf:type owl:DatatypeProperty ,
+                                                     owl:FunctionalProperty .
+
+
+
+###  http://www.w3.org/ns/prov#invalidatedAtTime
+
+<http://www.w3.org/ns/prov#invalidatedAtTime> rdf:type owl:DatatypeProperty ,
+                                                       owl:FunctionalProperty .
+
+
+
+###  http://www.w3.org/ns/prov#provenanceUriTemplate
+
+
+
+
+###  http://www.w3.org/ns/prov#startedAtTime
+
+<http://www.w3.org/ns/prov#startedAtTime> rdf:type owl:DatatypeProperty ,
+                                                   owl:FunctionalProperty .
+
+
+
+###  http://www.w3.org/ns/prov#value
+
+<http://www.w3.org/ns/prov#value> rdf:type owl:DatatypeProperty ,
+                                           owl:FunctionalProperty .
+
+
+
+
+
+#################################################################
+#
+#    Classes
+#
+#################################################################
+
+
+###  http://www.w3.org/2002/07/owl#Nothing
+
+owl:Nothing owl:disjointWith owl:Thing ,
+                             <http://www.w3.org/ns/prov#Activity> ,
+                             <http://www.w3.org/ns/prov#ActivityInfluence> ,
+                             <http://www.w3.org/ns/prov#Agent> ,
+                             <http://www.w3.org/ns/prov#AgentInfluence> ,
+                             <http://www.w3.org/ns/prov#Association> ,
+                             <http://www.w3.org/ns/prov#Attribution> ,
+                             <http://www.w3.org/ns/prov#Bundle> ,
+                             <http://www.w3.org/ns/prov#Collection> ,
+                             <http://www.w3.org/ns/prov#Communication> ,
+                             <http://www.w3.org/ns/prov#Delegation> ,
+                             <http://www.w3.org/ns/prov#Derivation> ,
+                             <http://www.w3.org/ns/prov#End> ,
+                             <http://www.w3.org/ns/prov#Entity> ,
+                             <http://www.w3.org/ns/prov#EntityInfluence> ,
+                             <http://www.w3.org/ns/prov#Generation> ,
+                             <http://www.w3.org/ns/prov#Influence> ,
+                             <http://www.w3.org/ns/prov#InstantaneousEvent> ,
+                             <http://www.w3.org/ns/prov#Invalidation> ,
+                             <http://www.w3.org/ns/prov#Location> ,
+                             <http://www.w3.org/ns/prov#Organization> ,
+                             <http://www.w3.org/ns/prov#Person> ,
+                             <http://www.w3.org/ns/prov#Plan> ,
+                             <http://www.w3.org/ns/prov#ProvenanceService> ,
+                             <http://www.w3.org/ns/prov#Quotation> ,
+                             <http://www.w3.org/ns/prov#Revision> ,
+                             <http://www.w3.org/ns/prov#Role> ,
+                             <http://www.w3.org/ns/prov#SoftwareAgent> ,
+                             <http://www.w3.org/ns/prov#Source> ,
+                             <http://www.w3.org/ns/prov#Start> ,
+                             <http://www.w3.org/ns/prov#Usage> .
+
+
+
+###  http://www.w3.org/2002/07/owl#Thing
+
+
+
+
+###  http://www.w3.org/ns/prov#Activity
+
+<http://www.w3.org/ns/prov#Activity> rdf:type owl:Class ;
+                                     
+                                     rdfs:subClassOf owl:Thing ;
+                                     
+                                     owl:disjointWith <http://www.w3.org/ns/prov#Bundle> ,
+                                                      <http://www.w3.org/ns/prov#Collection> ,
+                                                      <http://www.w3.org/ns/prov#Entity> ,
+                                                      <http://www.w3.org/ns/prov#Plan> .
+
+
+
+###  http://www.w3.org/ns/prov#ActivityInfluence
+
+<http://www.w3.org/ns/prov#ActivityInfluence> rdf:type owl:Class ;
+                                              
+                                              rdfs:subClassOf <http://www.w3.org/ns/prov#Influence> ;
+                                              
+                                              owl:disjointWith <http://www.w3.org/ns/prov#Derivation> ,
+                                                               <http://www.w3.org/ns/prov#End> ,
+                                                               <http://www.w3.org/ns/prov#EntityInfluence> ,
+                                                               <http://www.w3.org/ns/prov#Quotation> ,
+                                                               <http://www.w3.org/ns/prov#Revision> ,
+                                                               <http://www.w3.org/ns/prov#Source> ,
+                                                               <http://www.w3.org/ns/prov#Start> ,
+                                                               <http://www.w3.org/ns/prov#Usage> .
+
+
+
+###  http://www.w3.org/ns/prov#Agent
+
+<http://www.w3.org/ns/prov#Agent> rdf:type owl:Class ;
+                                  
+                                  rdfs:subClassOf owl:Thing ;
+                                  
+                                  owl:disjointWith <http://www.w3.org/ns/prov#End> ,
+                                                   <http://www.w3.org/ns/prov#Generation> ,
+                                                   <http://www.w3.org/ns/prov#InstantaneousEvent> ,
+                                                   <http://www.w3.org/ns/prov#Invalidation> ,
+                                                   <http://www.w3.org/ns/prov#Start> ,
+                                                   <http://www.w3.org/ns/prov#Usage> .
+
+
+
+###  http://www.w3.org/ns/prov#AgentInfluence
+
+<http://www.w3.org/ns/prov#AgentInfluence> rdf:type owl:Class ;
+                                           
+                                           rdfs:subClassOf <http://www.w3.org/ns/prov#Influence> .
+
+
+
+###  http://www.w3.org/ns/prov#Association
+
+<http://www.w3.org/ns/prov#Association> rdf:type owl:Class ;
+                                        
+                                        rdfs:subClassOf <http://www.w3.org/ns/prov#AgentInfluence> .
+
+
+
+###  http://www.w3.org/ns/prov#Attribution
+
+<http://www.w3.org/ns/prov#Attribution> rdf:type owl:Class ;
+                                        
+                                        rdfs:subClassOf <http://www.w3.org/ns/prov#AgentInfluence> .
+
+
+
+###  http://www.w3.org/ns/prov#Bundle
+
+<http://www.w3.org/ns/prov#Bundle> rdf:type owl:Class ;
+                                   
+                                   rdfs:subClassOf <http://www.w3.org/ns/prov#Entity> ;
+                                   
+                                   owl:disjointWith <http://www.w3.org/ns/prov#End> ,
+                                                    <http://www.w3.org/ns/prov#Generation> ,
+                                                    <http://www.w3.org/ns/prov#InstantaneousEvent> ,
+                                                    <http://www.w3.org/ns/prov#Invalidation> ,
+                                                    <http://www.w3.org/ns/prov#Start> ,
+                                                    <http://www.w3.org/ns/prov#Usage> .
+
+
+
+###  http://www.w3.org/ns/prov#Collection
+
+<http://www.w3.org/ns/prov#Collection> rdf:type owl:Class ;
+                                       
+                                       rdfs:subClassOf <http://www.w3.org/ns/prov#Entity> ;
+                                       
+                                       owl:disjointWith <http://www.w3.org/ns/prov#End> ,
+                                                        <http://www.w3.org/ns/prov#Generation> ,
+                                                        <http://www.w3.org/ns/prov#InstantaneousEvent> ,
+                                                        <http://www.w3.org/ns/prov#Invalidation> ,
+                                                        <http://www.w3.org/ns/prov#Start> ,
+                                                        <http://www.w3.org/ns/prov#Usage> .
+
+
+
+###  http://www.w3.org/ns/prov#Communication
+
+<http://www.w3.org/ns/prov#Communication> rdf:type owl:Class ;
+                                          
+                                          rdfs:subClassOf <http://www.w3.org/ns/prov#ActivityInfluence> ;
+                                          
+                                          owl:disjointWith <http://www.w3.org/ns/prov#Derivation> ,
+                                                           <http://www.w3.org/ns/prov#End> ,
+                                                           <http://www.w3.org/ns/prov#EntityInfluence> ,
+                                                           <http://www.w3.org/ns/prov#Quotation> ,
+                                                           <http://www.w3.org/ns/prov#Revision> ,
+                                                           <http://www.w3.org/ns/prov#Source> ,
+                                                           <http://www.w3.org/ns/prov#Start> ,
+                                                           <http://www.w3.org/ns/prov#Usage> .
+
+
+
+###  http://www.w3.org/ns/prov#Delegation
+
+<http://www.w3.org/ns/prov#Delegation> rdf:type owl:Class ;
+                                       
+                                       rdfs:subClassOf <http://www.w3.org/ns/prov#AgentInfluence> .
+
+
+
+###  http://www.w3.org/ns/prov#Derivation
+
+<http://www.w3.org/ns/prov#Derivation> rdf:type owl:Class ;
+                                       
+                                       rdfs:subClassOf <http://www.w3.org/ns/prov#EntityInfluence> ;
+                                       
+                                       owl:disjointWith <http://www.w3.org/ns/prov#Generation> ,
+                                                        <http://www.w3.org/ns/prov#Invalidation> .
+
+
+
+###  http://www.w3.org/ns/prov#End
+
+<http://www.w3.org/ns/prov#End> rdf:type owl:Class ;
+                                
+                                rdfs:subClassOf <http://www.w3.org/ns/prov#EntityInfluence> ,
+                                                <http://www.w3.org/ns/prov#InstantaneousEvent> ;
+                                
+                                owl:disjointWith <http://www.w3.org/ns/prov#Entity> ,
+                                                 <http://www.w3.org/ns/prov#Generation> ,
+                                                 <http://www.w3.org/ns/prov#Invalidation> ,
+                                                 <http://www.w3.org/ns/prov#Organization> ,
+                                                 <http://www.w3.org/ns/prov#Person> ,
+                                                 <http://www.w3.org/ns/prov#Plan> ,
+                                                 <http://www.w3.org/ns/prov#ProvenanceService> ,
+                                                 <http://www.w3.org/ns/prov#SoftwareAgent> .
+
+
+
+###  http://www.w3.org/ns/prov#Entity
+
+<http://www.w3.org/ns/prov#Entity> rdf:type owl:Class ;
+                                   
+                                   rdfs:subClassOf owl:Thing ;
+                                   
+                                   owl:disjointWith <http://www.w3.org/ns/prov#Generation> ,
+                                                    <http://www.w3.org/ns/prov#InstantaneousEvent> ,
+                                                    <http://www.w3.org/ns/prov#Invalidation> ,
+                                                    <http://www.w3.org/ns/prov#Start> ,
+                                                    <http://www.w3.org/ns/prov#Usage> .
+
+
+
+###  http://www.w3.org/ns/prov#EntityInfluence
+
+<http://www.w3.org/ns/prov#EntityInfluence> rdf:type owl:Class ;
+                                            
+                                            rdfs:subClassOf <http://www.w3.org/ns/prov#Influence> ;
+                                            
+                                            owl:disjointWith <http://www.w3.org/ns/prov#Generation> ,
+                                                             <http://www.w3.org/ns/prov#Invalidation> .
+
+
+
+###  http://www.w3.org/ns/prov#Generation
+
+<http://www.w3.org/ns/prov#Generation> rdf:type owl:Class ;
+                                       
+                                       rdfs:subClassOf <http://www.w3.org/ns/prov#ActivityInfluence> ,
+                                                       <http://www.w3.org/ns/prov#InstantaneousEvent> ;
+                                       
+                                       owl:disjointWith <http://www.w3.org/ns/prov#Organization> ,
+                                                        <http://www.w3.org/ns/prov#Person> ,
+                                                        <http://www.w3.org/ns/prov#Plan> ,
+                                                        <http://www.w3.org/ns/prov#ProvenanceService> ,
+                                                        <http://www.w3.org/ns/prov#Quotation> ,
+                                                        <http://www.w3.org/ns/prov#Revision> ,
+                                                        <http://www.w3.org/ns/prov#SoftwareAgent> ,
+                                                        <http://www.w3.org/ns/prov#Source> ,
+                                                        <http://www.w3.org/ns/prov#Start> ,
+                                                        <http://www.w3.org/ns/prov#Usage> .
+
+
+
+###  http://www.w3.org/ns/prov#Influence
+
+<http://www.w3.org/ns/prov#Influence> rdf:type owl:Class ;
+                                      
+                                      rdfs:subClassOf owl:Thing .
+
+
+
+###  http://www.w3.org/ns/prov#InstantaneousEvent
+
+<http://www.w3.org/ns/prov#InstantaneousEvent> rdf:type owl:Class ;
+                                               
+                                               rdfs:subClassOf owl:Thing ;
+                                               
+                                               owl:disjointWith <http://www.w3.org/ns/prov#Organization> ,
+                                                                <http://www.w3.org/ns/prov#Person> ,
+                                                                <http://www.w3.org/ns/prov#Plan> ,
+                                                                <http://www.w3.org/ns/prov#ProvenanceService> ,
+                                                                <http://www.w3.org/ns/prov#SoftwareAgent> .
+
+
+
+###  http://www.w3.org/ns/prov#Invalidation
+
+<http://www.w3.org/ns/prov#Invalidation> rdf:type owl:Class ;
+                                         
+                                         rdfs:subClassOf <http://www.w3.org/ns/prov#ActivityInfluence> ,
+                                                         <http://www.w3.org/ns/prov#InstantaneousEvent> ;
+                                         
+                                         owl:disjointWith <http://www.w3.org/ns/prov#Organization> ,
+                                                          <http://www.w3.org/ns/prov#Person> ,
+                                                          <http://www.w3.org/ns/prov#Plan> ,
+                                                          <http://www.w3.org/ns/prov#ProvenanceService> ,
+                                                          <http://www.w3.org/ns/prov#Quotation> ,
+                                                          <http://www.w3.org/ns/prov#Revision> ,
+                                                          <http://www.w3.org/ns/prov#SoftwareAgent> ,
+                                                          <http://www.w3.org/ns/prov#Source> ,
+                                                          <http://www.w3.org/ns/prov#Start> ,
+                                                          <http://www.w3.org/ns/prov#Usage> .
+
+
+
+###  http://www.w3.org/ns/prov#Location
+
+<http://www.w3.org/ns/prov#Location> rdf:type owl:Class ;
+                                     
+                                     rdfs:subClassOf owl:Thing .
+
+
+
+###  http://www.w3.org/ns/prov#Organization
+
+<http://www.w3.org/ns/prov#Organization> rdf:type owl:Class ;
+                                         
+                                         rdfs:subClassOf <http://www.w3.org/ns/prov#Agent> ;
+                                         
+                                         owl:disjointWith <http://www.w3.org/ns/prov#Start> ,
+                                                          <http://www.w3.org/ns/prov#Usage> .
+
+
+
+###  http://www.w3.org/ns/prov#Person
+
+<http://www.w3.org/ns/prov#Person> rdf:type owl:Class ;
+                                   
+                                   rdfs:subClassOf <http://www.w3.org/ns/prov#Agent> ;
+                                   
+                                   owl:disjointWith <http://www.w3.org/ns/prov#Start> ,
+                                                    <http://www.w3.org/ns/prov#Usage> .
+
+
+
+###  http://www.w3.org/ns/prov#Plan
+
+<http://www.w3.org/ns/prov#Plan> rdf:type owl:Class ;
+                                 
+                                 rdfs:subClassOf <http://www.w3.org/ns/prov#Entity> ;
+                                 
+                                 owl:disjointWith <http://www.w3.org/ns/prov#Start> ,
+                                                  <http://www.w3.org/ns/prov#Usage> .
+
+
+
+###  http://www.w3.org/ns/prov#ProvenanceService
+
+<http://www.w3.org/ns/prov#ProvenanceService> rdf:type owl:Class ;
+                                              
+                                              rdfs:subClassOf <http://www.w3.org/ns/prov#SoftwareAgent> ;
+                                              
+                                              owl:disjointWith <http://www.w3.org/ns/prov#Start> ,
+                                                               <http://www.w3.org/ns/prov#Usage> .
+
+
+
+###  http://www.w3.org/ns/prov#Quotation
+
+<http://www.w3.org/ns/prov#Quotation> rdf:type owl:Class ;
+                                      
+                                      rdfs:subClassOf <http://www.w3.org/ns/prov#EntityInfluence> .
+
+
+
+###  http://www.w3.org/ns/prov#Revision
+
+<http://www.w3.org/ns/prov#Revision> rdf:type owl:Class ;
+                                     
+                                     rdfs:subClassOf <http://www.w3.org/ns/prov#EntityInfluence> .
+
+
+
+###  http://www.w3.org/ns/prov#Role
+
+<http://www.w3.org/ns/prov#Role> rdf:type owl:Class ;
+                                 
+                                 rdfs:subClassOf owl:Thing .
+
+
+
+###  http://www.w3.org/ns/prov#SoftwareAgent
+
+<http://www.w3.org/ns/prov#SoftwareAgent> rdf:type owl:Class ;
+                                          
+                                          rdfs:subClassOf <http://www.w3.org/ns/prov#Agent> ;
+                                          
+                                          owl:disjointWith <http://www.w3.org/ns/prov#Start> ,
+                                                           <http://www.w3.org/ns/prov#Usage> .
+
+
+
+###  http://www.w3.org/ns/prov#Source
+
+<http://www.w3.org/ns/prov#Source> rdf:type owl:Class ;
+                                   
+                                   rdfs:subClassOf <http://www.w3.org/ns/prov#EntityInfluence> .
+
+
+
+###  http://www.w3.org/ns/prov#Start
+
+<http://www.w3.org/ns/prov#Start> rdf:type owl:Class ;
+                                  
+                                  rdfs:subClassOf <http://www.w3.org/ns/prov#EntityInfluence> ,
+                                                  <http://www.w3.org/ns/prov#InstantaneousEvent> .
+
+
+
+###  http://www.w3.org/ns/prov#Usage
+
+<http://www.w3.org/ns/prov#Usage> rdf:type owl:Class ;
+                                  
+                                  rdfs:subClassOf <http://www.w3.org/ns/prov#EntityInfluence> ,
+                                                  <http://www.w3.org/ns/prov#InstantaneousEvent> .
+
+
+
+
+###  Generated by the OWL API (version 3.3.1957) http://owlapi.sourceforge.net
+