manuel84/abrupt

@prefix : <http://wba.cs.hs-rm.de/AbRUPt/> .
@base <http://wba.cs.hs-rm.de/AbRUPt/> .
@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#> .

:RequiredFormElement a owl:Class;
    rdfs:subClassOf :FormElement .

[
    a owl:Restriction;
    rdfs:subClassOf :RequiredFormElement;
    owl:onDataRange xsd:boolean;
    owl:onProperty :required;
    owl:hasValue true
] .

[
    a owl:Restriction;
    rdfs:subClassOf :RequiredFormElement;
    owl:onDataRange xsd:string;
    owl:onProperty :name;
    owl:hasValue "agb"
] .

[
    a owl:Restriction;
    rdfs:subClassOf :RequiredFormElement;
    owl:onDataRange xsd:string;
    owl:onProperty :name;
    owl:hasValue "toc"
] .