# baseURI: http://example.org/catchall

@prefix : <http://example.org/catchall#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix spin: <http://spinrdf.org/spin#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://example.org/catchall>
  rdf:type owl:Ontology ;
  spin:imports <http://topbraid.org/spin/owlrl-all> ;
  spin:imports <http://topbraid.org/spin/rdfsplus> ;
  spin:imports <http://topbraid.org/spin/skosspin> ;
  spin:imports <http://topbraid.org/spin/spinowl> ;
  owl:versionInfo "Created with TopBraid Composer"^^xsd:string ;
.
:alcoholic
  rdf:type owl:Class ;
  rdfs:subClassOf :drink ;
.
:beer
  rdf:type :alcoholic ;
.
:caffeine
  rdf:type owl:Class ;
  rdfs:subClassOf :drink ;
.
:coffee
  rdf:type :caffeine ;
.
:coke
  rdf:type :caffeine ;
.
:drink
  rdf:type owl:Class ;
.
:fruit_juice
  rdf:type :drink ;
.
:healthy
  rdf:type owl:Class ;
  rdfs:subClassOf :drink ;
  owl:disjointWith :alcoholic ;
  owl:disjointWith :caffeine ;
  owl:equivalentClass :drink ;
.
:irish_coffee
  rdf:type :alcoholic ;
  rdf:type :caffeine ;
.
:milk
  rdf:type :drink ;
.
:mountain_dew
  rdf:type :caffeine ;
.
:spirit
  rdf:type :alcoholic ;
.
:tea
  rdf:type :caffeine ;
.
:unhealthy
  rdf:type owl:Class ;
  rdfs:subClassOf :drink ;
  owl:equivalentClass [
      rdf:type owl:Class ;
      owl:intersectionOf (
          :alcoholic
          :caffeine
        ) ;
    ] ;
.
:water
  rdf:type :drink ;
.
:wine
  rdf:type :alcoholic ;
.