ข้อ จำกัด บทบาท (allValues​​From)

จะใช้ในการกำหนดระดับชั้นที่ซับซ้อนตามบทบาท

<owl:Class rdf:ID="Exam">     <rdfs:subClassOf>         <owl:Restriction>             <owl:onProperty rdf:resource="#examiner"/>             <owl:allValuesFrom rdf:resource="#Professor"/>         </owl:Restriction>     </rdfs:subClassOf> </owl:Class> 

ไวยากรณ์แมนเชสเตอร์


:Pruefung             rdfs:subClassOf            [   rdf:type              owl:Restriction ;   owl:onProperty        :examiner ;   owl:allVauesFrom      :Professor </owl:Class> 
ไวยากรณ์เต่า
คือการตรวจสอบทั้งหมดจะต้องมีอาจารย์

ข้อ จำกัด บทบาท (someValues​​From)

<owl:Class rdf:ID="Exam">     <rdfs:subClassOf>         <owl:Restriction>             <owl:onProperty rdf:resource="#examiner"/>             <owl:someValuesFrom rdf:resource="#Person"/>         </owl:Restriction>     </rdfs:subClassOf> </owl:Class> 
ไวยากรณ์ RDF / XML
 Class: Exam   SubClassOf: examiner some Person  
ไวยากรณ์แมนเชสเตอร์
:Pruefung             rdfs:subClassOf            [   rdf:type              owl:Restriction ;   owl:onProperty        :examiner ;   owl:someVauesFrom     :Person ] . 
ไวยากรณ์เต่า
คือการทดสอบแต่ละคนจะต้องมีอย่างน้อยหนึ่งผู้ตรวจสอบ

ข้อ จำกัด บทบาท (cardinalities)

Class: Exam   SubClassOf: examiner max 2

ไวยากรณ์แมนเชสเตอร์


:Exam      rdf:type     owl:Class ;            rdfs:subClassOf [rdf:type owl:Restriction ;                 owl:onProperty :hatPruefer ;         owl:maxCardinality "2"^^xsd:nonNegativeInteger] . 
ไวยากรณ์เต่า

คือการทดสอบแต่ละคนสามารถมีที่มากที่สุดสองตรวจสอบ

คล้ายกับสูงสุด: ต่ำสุดตรง

ตัวอย่างการสร้างแบบจำลอง

การสร้างแบบจำลองงาน: ความต้องการประสิทธิภาพการทำงาน (จากผลิตภัณฑ์ซอฟต์แวร์) เป็นความต้องการซึ่งถูกสร้างขึ้นโดยลูกค้า จะนำไปสู่​​ความต้องการระบบ
Class: PerformanceRequirement    SubClassOf: Requirement                and (createdBy only Customer)                and (leadsTo some SystemRequirement 
โซลูชัน (ไวยากรณ์แมนเชสเตอร์)

ข้อ จำกัด บทบาท (hasVa​​lue)

<owl:Class rdf:ID="ExamAtFaehnrich">     <rdfs:equivalentClass>         <owl:Restriction>           <owl:onProperty rdf:resource="#hatPruefer"/>           <owl:hasValue rdf:datatype="#Faehnrich"/>         </owl:Restriction>     </rdfs:equivalentClass> </owl:Class> 
ไวยากรณ์ RDF / XML
Class: PruefungBeiFaehnrich   EquivalentTo: examiner value Faehnrich 
ไวยากรณ์แมนเชสเตอร์
:Exam           rdfs:equivalentClass        [     rdf:type           owl:Restriction ;     owl:onProperty     :examiner ;     owl:hasValue       :Faehnrich ] . 

ไวยากรณ์เต่า