Document information
- University
- Politecnico di Milano
- Degree programme
- Computer Engineering
- Subject
- Knowledge Engineering
- Academic year
- 2014-2015
- Classification
- Exam · Full exam
- Content
- Exam paper only
- Original format
- Text
- Searchable text
← Back
ExamFull examExam paper only
03 07 15 1
Full exam for Knowledge Engineering in the Computer Engineering degree programme at Politecnico di Milano. The document covers: School of Industrial and Information Engineering Knowledge Engineering 2014–15 Test 1 – 3rd July 2015 Part I 2!!!!15!pt.!Please'read'carefully'before'starting:!a. read! the! requirements! below!very' carefully!and!represent!them! in! SROIQ(D)! using!the! DL! notation;! if!
Knowledge EngineeringFull exam
Document information
What's included in this study material
Full exam for Knowledge Engineering in the Computer Engineering degree programme at Politecnico di Milano. The document covers: School of Industrial and Information Engineering Knowledge Engineering 2014–15 Test 1 – 3rd July 2015 Part I 2!!!!15!pt.!Please'read'carefully'before'starting:!a. read! the! requirements! below!very' carefully!and!represent!them! in! SROIQ(D)! using!the! DL! notation;! if!
Import quality: text was extracted directly from the original document.
Extracted content from the document
Representative passages recognised in different parts of the material. The full extracted text remains available to search, while this compact preview makes the page easier to read.
Page 1
School of Industrial and Information Engineering Knowledge Engineering 2014–15 Test 1 – 3rd July 2015 Part I 2!!!!15!pt.!Please'read'carefully'before'starting:!a. read! the! requirements! below!very' carefully!and!represent!them! in! SROIQ(D)! using!the! DL! notation;! if! a!requirement!cannot!be!specified!in!SROIQ(D)!explain!why,!and!if!possible!provide!a!SROIQ(D)!approximation!b. domain!and!ranges!can!be!specified!in!any!of!the!forms!presented!in!the!lecture!notes!c. use!ABox!assertions!whenever!possible,!adding'different(individuals'assertions'whenever'this'is'reasonable!even!if!such!requirement!is!not!explicitly!stated!d. for!every!DL!query:!(i),!say!which!reasoning!service!is!invoked;!(ii),!give!the!answer!that!would!be'derived!from'your'ontology,'inclusive'of'the'ABox'that'you'have'specified'but'without'any'further'addition;!and!(iii),!provide!a!justification!for!the!answer!by!listing!the!axioms!involved!in!the!proof.!Requirements:!!!1. A!group!has!at!least!two!persons!as!members.!Groups!and!persons!are!disjoint.!2. A!band!is! a! group! whose! members!are!musicians.!ThreeOparts! rock! bands! are! bands! that! have! exactly! three!members,!who!are:!(i)!a!guitarist;!(ii)!a!drummer;!and!(iii)!either!a!bassist!or!a!keyboardist.!3. Persons!may!play!in!concerts.!Bands!may!participate!in!concerts.!If!a!band!participates!in!a!concert,!then!every!member!of!the!band!plays!in!that!concert.!4. No!musician!can!be!member!of!more!than!one!band.!5. The!bands!that!participate!in!Concert1!are!Band1!and!Band2.!6. Alice!and!Brad!are!respectively!guitarist!and!bassist!in!Band1;!Claire!is!drummer!in!Band2.!DL'queries:!7. List!all!the!musicians!who!played!in!a!concert!in!which!Alice!played.!!8.…
Preview
First page of the document.