# baseURI: http://www.workingontologist.org/Examples/Chapter12/ADA90

@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix ada90:       <http://www.workingontologist.org/Examples/Chapter12/ADA90#> .
@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .

<http://www.workingontologist.org/Examples/Chapter12/ADA90>
      a       owl:Ontology .


ada90:DesktopApplication a owl:Class ; rdfs:label "Desktop Application" ;
    rdfs:subClassOf ada90:ConformantApplication ;
    owl:equivalentClass [a owl:Restriction ; rdfs:label "runsOn value Desktop" ;
    			 owl:hasValue ada90:Desktop ;
			 owl:onProperty ada90:runsOn ]
			 .
			 

ada90:ConformantApplication a owl:Class ; rdfs:label "ConformantApplication" ;
   owl:equivalentClass [ a owl:Restriction ; rdfs:label "conformsTo value ADA90" ;
                         owl:onProperty ada90:conformsTo ;
			 owl:hasValue ada90:ADA90 ]
 .
			 

ada90:Desktop a ada90:Platform; ada90:supports ada90:MSExcel ; rdfs:label "Desktop" .

ada90:ADA90 a ada90:Regulation ; rdfs:label "Americans with Disabilities Act of 1990" .

ada90:Platform a owl:Class ; rdfs:label "Platform" .

ada90:Application a owl:Class ; rdfs:label "Application" .

ada90:runsOn a owl:ObjectProperty ; rdfs:label "runs on" .
ada90:supports a owl:ObjectProperty ; rdfs:label "supports" ; owl:inverseOf ada90:runsOn ;
rdfs:domain ada90:Platform ; rdfs:range ada90:Application . 
ada90:conformsTo a owl:ObjectProperty ; rdfs:label "conforms to" .