celestial.owl

@prefix dbo: <http://dbpedia.org/ontology/> .
@prefix dbp: <http://dbpedia.org/property/> .
@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#> .

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

###  http://dbpedia.org/ontology/discoverer
dbo:discoverer rdf:type owl:ObjectProperty ;
               rdfs:domain owl:Thing ;
               rdfs:range dbo:Person .


###  http://dbpedia.org/property/satelliteOf
dbp:satelliteOf rdf:type owl:ObjectProperty .


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

###  http://dbpedia.org/ontology/CelestialBody
dbo:CelestialBody rdf:type owl:Class .


###  http://dbpedia.org/ontology/Person
dbo:Person rdf:type owl:Class .


###  http://dbpedia.org/ontology/Planet
dbo:Planet rdf:type owl:Class ;
           rdfs:subClassOf dbo:CelestialBody .


###  http://dbpedia.org/ontology/Satellite
dbo:Satellite rdf:type owl:Class ;
              rdfs:subClassOf [ rdf:type owl:Restriction ;
                                owl:onProperty dbp:satelliteOf ;
                                owl:allValuesFrom dbo:Planet
                              ] ;
              rdfs:subClassOf [ rdf:type owl:Restriction ;
                                owl:onProperty dbp:satelliteOf ;
                                owl:cardinality "1"^^xsd:nonNegativeInteger
                              ] .