Skip to content

Instantly share code, notes, and snippets.

@Richard-Degenne
Created June 15, 2019 10:48
Show Gist options
  • Save Richard-Degenne/3b4c7c7c24b85e0c3b5b37d269c5fc56 to your computer and use it in GitHub Desktop.
Save Richard-Degenne/3b4c7c7c24b85e0c3b5b37d269c5fc56 to your computer and use it in GitHub Desktop.
@prefix : <http://www.richarddegenne.com/ontology/astronomy#> .
@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.richarddegenne.com/ontology/astronomy> .
<http://www.richarddegenne.com/ontology/astronomy> rdf:type owl:Ontology .
#################################################################
# Object Properties
#################################################################
### http://www.richarddegenne.com/ontology/astronomy#hasCoordinates
:hasCoordinates rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf owl:topObjectProperty ;
rdf:type owl:FunctionalProperty ;
rdfs:domain :Star ;
rdfs:range :Coordinates .
### http://www.richarddegenne.com/ontology/astronomy#hasSpectralType
:hasSpectralType rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf owl:topObjectProperty ;
rdf:type owl:FunctionalProperty ;
rdfs:domain :Star ;
rdfs:range :SpectralType .
#################################################################
# Data properties
#################################################################
### http://www.richarddegenne.com/ontology/astronomy#name
:name rdf:type owl:DatatypeProperty ;
rdfs:subPropertyOf owl:topDataProperty ;
rdf:type owl:FunctionalProperty ;
rdfs:domain :Star ;
rdfs:range xsd:string .
### http://www.richarddegenne.com/ontology/astronomy#temperature
:temperature rdf:type owl:DatatypeProperty ;
rdfs:subPropertyOf owl:topDataProperty ;
rdf:type owl:FunctionalProperty ;
rdfs:domain :Star ;
rdfs:range xsd:float .
#################################################################
# Classes
#################################################################
### http://www.richarddegenne.com/ontology/astronomy#Coordinates
:Coordinates rdf:type owl:Class .
### http://www.richarddegenne.com/ontology/astronomy#SpectralType
:SpectralType rdf:type owl:Class .
### http://www.richarddegenne.com/ontology/astronomy#Star
:Star rdf:type owl:Class .
#################################################################
# Individuals
#################################################################
### http://www.richarddegenne.com/ontology/astronomy#star1086
:star1086 rdf:type owl:NamedIndividual ,
:Star ;
:hasCoordinates :sunCoordinates ;
:hasSpectralType :yellowDwarf ;
:name "Sun"@en ;
:temperature "5750.0"^^xsd:float .
### http://www.richarddegenne.com/ontology/astronomy#sunCoordinates
:sunCoordinates rdf:type owl:NamedIndividual ,
:Coordinates .
### http://www.richarddegenne.com/ontology/astronomy#yellowDwarf
:yellowDwarf rdf:type owl:NamedIndividual ,
:SpectralType .
### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment