test.owl

@prefix : <http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#> .
@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 rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5> .

<http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5> rdf:type owl:Ontology .


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


###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#belongs_to

:belongs_to rdf:type owl:ObjectProperty ;
            
            rdfs:domain :Person ;
            
            rdfs:range :SocialNetwork .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#connects_to

:connects_to rdf:type owl:ObjectProperty ,
                      owl:SymmetricProperty ;
             
             rdfs:range :Person ;
             
             rdfs:domain :Person .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#generates

:generates rdf:type owl:ObjectProperty ;
           
           rdfs:range :Activity ;
           
           rdfs:domain :Person .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#has_member

:has_member rdf:type owl:ObjectProperty ;
            
            rdfs:domain :Group ;
            
            rdfs:range :Person .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#is_recommended

:is_recommended rdf:type owl:ObjectProperty ;
                
                rdfs:range :Group ;
                
                rdfs:domain :Person .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#post_has_sentiment

:post_has_sentiment rdf:type owl:FunctionalProperty ,
                             owl:ObjectProperty ;
                    
                    rdfs:domain :Post ;
                    
                    rdfs:range :Sentiment .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#publishes

:publishes rdf:type owl:ObjectProperty ;
           
           rdfs:domain :Person ;
           
           rdfs:range :Post .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#refers_to

:refers_to rdf:type owl:ObjectProperty ;
           
           rdfs:domain :Activity ;
           
           rdfs:range :Person .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#relates_to

:relates_to rdf:type owl:ObjectProperty ;
            
            rdfs:domain :Activity ;
            
            rdfs:range :Post .





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


###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#activity_description

:activity_description rdf:type owl:DatatypeProperty ;
                      
                      rdfs:domain :Activity ;
                      
                      rdfs:range xsd:string .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#activity_time

:activity_time rdf:type owl:DatatypeProperty ;
               
               rdfs:domain :Activity ;
               
               rdfs:range xsd:string .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#birthday

:birthday rdf:type owl:DatatypeProperty ;
          
          rdfs:domain :Person ;
          
          rdfs:range xsd:string .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#group_title

:group_title rdf:type owl:DatatypeProperty ,
                      owl:FunctionalProperty ;
             
             rdfs:domain :Group ;
             
             rdfs:range xsd:string .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#is_happy

:is_happy rdf:type owl:DatatypeProperty ;
          
          rdfs:domain :Sentiment ;
          
          owl:propertyDisjointWith :is_sad ;
          
          rdfs:subPropertyOf :is_sentiment ;
          
          rdfs:range xsd:boolean .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#is_sad

:is_sad rdf:type owl:DatatypeProperty ;
        
        rdfs:domain :Sentiment ;
        
        rdfs:subPropertyOf :is_sentiment ;
        
        rdfs:range xsd:boolean .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#is_sentiment

:is_sentiment rdf:type owl:DatatypeProperty .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#name

:name rdf:type owl:DatatypeProperty ;
      
      rdfs:domain :Person ;
      
      rdfs:range xsd:string .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#post_creation_time

:post_creation_time rdf:type owl:DatatypeProperty ;
                    
                    rdfs:domain :Post ;
                    
                    rdfs:range xsd:string .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#post_description

:post_description rdf:type owl:DatatypeProperty ;
                  
                  rdfs:domain :Post ;
                  
                  rdfs:range xsd:string .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#social_network_title

:social_network_title rdf:type owl:DatatypeProperty ,
                               owl:FunctionalProperty ;
                      
                      rdfs:domain :SocialNetwork ;
                      
                      rdfs:range xsd:string .





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


###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#Activity

:Activity rdf:type owl:Class .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#Group

:Group rdf:type owl:Class .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#Person

:Person rdf:type owl:Class .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#Post

:Post rdf:type owl:Class .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#Sentiment

:Sentiment rdf:type owl:Class .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#SocialNetwork

:SocialNetwork rdf:type owl:Class .





#################################################################
#
#    Individuals
#
#################################################################


###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#Feeling_Relaxed

:Feeling_Relaxed rdf:type :Post ,
                          owl:NamedIndividual ;
                 
                 :post_creation_time "11AM on 01/01/2015"^^xsd:string ;
                 
                 :post_description "Sahil posted \" Feeling_Relaxed \" at 11 AM on 01/01/2015"^^xsd:string ;
                 
                 rdfs:comment "post1" ;
                 
                 :post_has_sentiment :sentiment_post1 .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#IIITD_Football

:IIITD_Football rdf:type :Group ,
                         owl:NamedIndividual ;
                
                :group_title "IIIT Delhi Football Group"^^xsd:string ;
                
                :has_member :Sahil .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#I_Love_Liverpool

:I_Love_Liverpool rdf:type :Post ,
                           owl:NamedIndividual ;
                  
                  :post_creation_time "11AM on 02/01/2015"^^xsd:string ;
                  
                  :post_description "Sahil posted \" I_Love_Liverpool\" at 11AM on 02/01/2015"^^xsd:string ;
                  
                  rdfs:comment "post2" ;
                  
                  :post_has_sentiment :sentiment_post2 .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#I_Love_Liverpool_too

:I_Love_Liverpool_too rdf:type :Post ,
                               owl:NamedIndividual ;
                      
                      :post_creation_time "10AM on 02/01/2015"^^xsd:string ;
                      
                      :post_description "Shubham posted \"I_Love_Liverpool_too\" at 10AM on 02/01/2015"^^xsd:string ;
                      
                      rdfs:comment "post3" ;
                      
                      :post_has_sentiment :sentiment_post3 .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#Sahil

:Sahil rdf:type :Person ,
                owl:NamedIndividual ;
       
       :birthday "11/01/1995"^^xsd:string ;
       
       :name "Sahil Shekhawat"^^xsd:string ;
       
       :publishes :Feeling_Relaxed ,
                  :I_Love_Liverpool ;
       
       :connects_to :Shubham ;
       
       :generates :activity_post1 ,
                  :activity_post2 ;
       
       :belongs_to :facebook .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#Shubham

:Shubham rdf:type :Person ,
                  owl:NamedIndividual ;
         
         :birthday "12/08/1995"^^xsd:string ;
         
         :name "Shubham Sharma"^^xsd:string ;
         
         :is_recommended :IIITD_Football ;
         
         :publishes :I_Love_Liverpool_too ;
         
         :connects_to :Sahil ;
         
         :generates :activity_post3 ;
         
         :belongs_to :facebook .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#activity_post1

:activity_post1 rdf:type :Activity ,
                         owl:NamedIndividual ;
                
                :activity_time "11AM on 01/01/2015"^^xsd:string ;
                
                :activity_description "Sahil posted \"Feeling Relaxed\" on facebook at 10 AM on 01/01/2015"^^xsd:string ;
                
                :relates_to :Feeling_Relaxed ;
                
                :refers_to :Sahil .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#activity_post2

:activity_post2 rdf:type :Activity ,
                         owl:NamedIndividual ;
                
                :activity_time "11 AM on 02/01/2015"^^xsd:string ;
                
                :activity_description "Sahil posted \" I Love Liverpool \" at 11 AM on 02/01/2015"^^xsd:string ;
                
                :relates_to :I_Love_Liverpool ;
                
                :refers_to :Sahil .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#activity_post3

:activity_post3 rdf:type :Activity ,
                         owl:NamedIndividual ;
                
                :activity_time "02/01/2015"^^xsd:string ;
                
                :activity_description "Shubham posted \" I_Love_Liverpool_too\" at 10 AM on 02/01/2015"^^xsd:string ;
                
                :relates_to :I_Love_Liverpool_too ;
                
                :refers_to :Shubham .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#facebook

:facebook rdf:type :SocialNetwork ,
                   owl:NamedIndividual ;
          
          :social_network_title "Facebook"^^xsd:string .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#sentiment_post1

:sentiment_post1 rdf:type :Sentiment ,
                          owl:NamedIndividual ;
                 
                 :is_sad "false"^^xsd:boolean ;
                 
                 :is_happy "true"^^xsd:boolean .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#sentiment_post2

:sentiment_post2 rdf:type :Sentiment ,
                          owl:NamedIndividual ;
                 
                 :is_sad "false"^^xsd:boolean ;
                 
                 :is_happy "true"^^xsd:boolean .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#sentiment_post3

:sentiment_post3 rdf:type :Sentiment ,
                          owl:NamedIndividual ;
                 
                 :is_sad "false"^^xsd:boolean ;
                 
                 :is_happy "true"^^xsd:boolean .



###  http://www.semanticweb.org/shubham/ontologies/2015/9/untitled-ontology-5#twitter

:twitter rdf:type :SocialNetwork ,
                  owl:NamedIndividual ;
         
         :social_network_title "Twitter"^^xsd:string .





#################################################################
#
#    General axioms
#
#################################################################


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( :activity_post1
                        :activity_post3
                      )
] .
[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( :facebook
                        :twitter
                      )
] .
[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( :activity_post1
                        :activity_post2
                      )
] .
[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( :sentiment_post1
                        :sentiment_post2
                        :sentiment_post3
                      )
] .
[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( :Sahil
                        :Shubham
                      )
] .
[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( :Feeling_Relaxed
                        :I_Love_Liverpool
                        :I_Love_Liverpool_too
                      )
] .
[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( :activity_post2
                        :activity_post3
                      )
] .




###  Generated by the OWL API (version 3.5.1) http://owlapi.sourceforge.net