Skip to content

Instantly share code, notes, and snippets.

@stain

stain/gist:3edb9c3beee930da7bff

Last active August 29, 2015 14:05
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save stain/3edb9c3beee930da7bff to your computer and use it in GitHub Desktop.
Save stain/3edb9c3beee930da7bff to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
@prefix : <http://localhost/issue-management/> .
@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 foaf: <http://xmlns.com/foaf/0.1/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://www.w3.org/2002/07/owl#> .
#################################################################
#
# Annotation properties
#
#################################################################
### http://www.w3.org/2002/07/owl#maxCardinality
owl:maxCardinality rdf:type owl:AnnotationProperty .
#################################################################
#
# Object Properties
#
#################################################################
### http://localhost/issue-management/hasAuthor
:hasAuthor rdf:type owl:ObjectProperty .
#################################################################
#
# Classes
#
#################################################################
### http://localhost/issue-management/Issue
:Issue rdf:type owl:Class ;
owl:disjointWith <http://www.co-ode.org/ontologies/ont.owl#Animal> ,
foaf:Person .
### http://www.co-ode.org/ontologies/ont.owl#Animal
<http://www.co-ode.org/ontologies/ont.owl#Animal> rdf:type owl:Class ;
owl:disjointWith foaf:Person .
### http://www.co-ode.org/ontologies/ont.owl#HasOnlyOneAuthor
<http://www.co-ode.org/ontologies/ont.owl#HasOnlyOneAuthor> rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty :hasAuthor ;
owl:cardinality "1"^^xsd:nonNegativeInteger
] .
### http://www.co-ode.org/ontologies/ont.owl#InvalidIssue
<http://www.co-ode.org/ontologies/ont.owl#InvalidIssue> rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:intersectionOf ( :Issue
[ rdf:type owl:Class ;
owl:complementOf <http://www.co-ode.org/ontologies/ont.owl#ValidIssue>
]
)
] .
### http://www.co-ode.org/ontologies/ont.owl#Monkey
<http://www.co-ode.org/ontologies/ont.owl#Monkey> rdf:type owl:Class ;
rdfs:subClassOf <http://www.co-ode.org/ontologies/ont.owl#Animal> .
### http://www.co-ode.org/ontologies/ont.owl#ValidIssue
<http://www.co-ode.org/ontologies/ont.owl#ValidIssue> rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:intersectionOf ( :Issue
[ rdf:type owl:Restriction ;
owl:onProperty :hasAuthor ;
owl:allValuesFrom foaf:Person
]
[ rdf:type owl:Restriction ;
owl:onProperty :hasAuthor ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger
]
)
] .
### http://xmlns.com/foaf/0.1/Person
foaf:Person rdf:type owl:Class .
#################################################################
#
# Individuals
#
#################################################################
### http://localhost/issue-management/Ex1
:Ex1 rdf:type :Issue ,
owl:NamedIndividual ;
:hasAuthor :Foobar ,
:Konrad .
### http://localhost/issue-management/Foobar
:Foobar rdf:type <http://www.co-ode.org/ontologies/ont.owl#Monkey> ,
owl:NamedIndividual .
### http://localhost/issue-management/Konrad
:Konrad rdf:type owl:NamedIndividual ,
foaf:Person .
### http://www.co-ode.org/ontologies/ont.owl#Ex2
<http://www.co-ode.org/ontologies/ont.owl#Ex2> rdf:type :Issue ,
<http://www.co-ode.org/ontologies/ont.owl#HasOnlyOneAuthor> ,
owl:NamedIndividual ;
:hasAuthor :Konrad .
#################################################################
#
# Annotations
#
#################################################################
:x2 owl:maxCardinality "1"^^xsd:int .
### Generated by the OWL API (version 3.5.0) http://owlapi.sourceforge.net
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment