@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix travel: <http://www.semwebtech.org/domains/2006/travel#>.
@prefix : <http://www.semwebtech.org/domains/2006/industry/cars#>.
@prefix vw: <http://www.semwebtech.org/domains/2006/industry/cars/vw/>.
@prefix audi: <http://www.semwebtech.org/domains/2006/industry/cars/audi/>.
@prefix opel: <http://www.semwebtech.org/domains/2006/industry/cars/opel/>.
@prefix ford: <http://www.semwebtech.org/domains/2006/industry/cars/ford/>.
@prefix mb: <http://www.semwebtech.org/domains/2006/industry/cars/mb/>.
@prefix bmw: <http://www.semwebtech.org/domains/2006/industry/cars/bmw/>.
@prefix citroen: <http://www.semwebtech.org/domains/2006/industry/cars/citroen/>.
@prefix toyota: <http://www.semwebtech.org/domains/2006/industry/cars/toyota/>.
@prefix vauxhall: <http://www.semwebtech.org/domains/2006/industry/cars/vauxhall/>.

:Producer a owl:Class.
:Model a owl:Class.
:Size a owl:Class.
:has-models owl:InverseFunctionalProperty; rdfs:domain :Producer; rdfs:range :Model.
:class owl:FunctionalProperty; rdfs:domain :Model; rdfs:range :Size.
:sameAs a owl:SymmetricProperty; rdfs:domain :Model; rdfs:range :Model.
owl:AllDifferent owl:distinctMembers (:A :B :C :D :E :G :S).
:A a :Size.
:B a :Size; owl:differentFrom :A, :C.
:C a :Size; owl:differentFrom :A, :B.
:D a :Size.
:E a :Size.
owl:AllDifferent owl:distinctMembers 
  (vw: audi: bmw: mb: ford: opel: citroen: vauxhall: toyota:).

vw: a :Producer;
:has-models vw:polo, vw:golf, vw:jetta,
  vw:passat, vw:touran, vw:touareg.
vw:polo :class :A.
vw:golf :class :B.
vw:jetta :class :B.
vw:touran :class :B.
vw:passat :class :C.
vw:touareg :class :G.

audi: a :Producer;
:has-models audi:A3, audi:A4, audi:A5, audi:A6, audi:A8; audi:Q7.
audi:A3 :class :B.
audi:A4 :class :C.
audi:A5 :class :C.
audi:A6 :class :D.
audi:A8 :class :E.
audi:Q7 :class :G.
audi:R8 :class :S.

bmw: a :Producer;
:has-models bmw:120d, bmw:320i, bmw:525i, bmw:730i, bmw:635i, bmw:Z4.
bmw:120d :class :B.
bmw:320i :class :C.
bmw:525i :class :D.
bmw:730i :class :E.
bmw:635i :class :S.
bmw:Z4 :class :S.

mb: a :Producer;
:has-models mb:A180, mb:C200, mb:E280, mb:S500, mb:SL500, mb:ML350.
mb:A180 :class :B.
mb:C200 :class :C.
mb:E280 :class :D.
mb:S500 :class :E.
mb:SL500 :class :S.
mb:ML350 :class :G.

ford: a :Producer;
:has-models ford:fiesta, ford:focus, ford:mondeo.
ford:fiesta :class :A.
ford:focus :class :B.
ford:mondeo :class :C.

opel: a :Producer;
:has-models opel:corsa, opel:astra, opel:zafira, opel:vectra.
opel:corsa :class :A.
opel:astra :class :B.
opel:zafira :class :B.
opel:vectra :class :C.

citroen: a :Producer;
:has-models citroen:c2, citroen:c3, citroen:c4, citroen:c5, citroen:c6.
citroen:c2 :class :A.
citroen:c3 :class :A.
citroen:c4 :class :B.
citroen:c5 :class :C.
citroen:c6 :class :D.

vauxhall: a :Producer;
:has-models vauxhall:corsa, vauxhall:astra, vauxhall:zafira, vauxhall:vectra.
vauxhall:corsa :class :A; :sameAs opel:corsa.
vauxhall:astra :class :B; :sameAs opel:astra.
vauxhall:zafira :class :B; :sameAs opel:zafira.
vauxhall:vectra :class :C; :sameAs opel:vectra.

toyota: a :Producer;
:has-models toyota:yaris, toyota:corolla, toyota:auris, toyota:avensis, toyota:landcruiser.
toyota:yaris :class :A.
toyota:corolla :class :B.
toyota:auris :class :B.
toyota:avensis :class :C.
toyota:landcruiser :class :G.