Quiz: RDFS and OWL 2: From Vocabularies to Description Logic

Quiz Summary

0 of 3 Questions completed

Questions:

You have already completed the quiz before. Hence you can not start it again.

Quiz is loading…

You must sign in or sign up to start the quiz.

You must first complete the following:

Results

Quiz complete. Results are being recorded.

Results

0 of 3 Questions answered correctly

Your time:

You have reached 0 of 0 point(s), (0)

Question 1 of 3

1. Question

You assert ex:installedAt rdfs:domain ex:Equipment, then load the triple ex:Contract42 ex:installedAt ex:Aberdeen2. Under RDFS semantics, what happens?

The triple is rejected, because it violates the declared domain
Correct Incorrect Correct answer

Nothing, because rdfs:domain is a documentation annotation with no formal semantics
Correct Incorrect Correct answer

A reasoner infers that Contract42 is Equipment, silently reclassifying data rather than flagging an error
Correct Incorrect Correct answer

The reasoner reports an inconsistency, because a contract cannot be equipment
Correct Incorrect Correct answer

Correct / 1 Points

Incorrect / 1 Points
Question 2 of 3

2. Question

What is the trap in the OWL class expression hasTopping only VegetableTopping?

It requires at least one vegetable topping, so it means the same thing as hasTopping some VegetableTopping
Correct Incorrect Correct answer

It is disallowed in OWL 2 DL, because universal restrictions break decidability
Correct Incorrect Correct answer

It counts toppings, so it is really a cardinality restriction written in Manchester syntax
Correct Incorrect Correct answer

It is satisfied vacuously by things with no toppings at all, so it says nothing about existence; expressing must have a vegetable topping needs a some restriction as well
Correct Incorrect Correct answer

Correct / 1 Points

Incorrect / 1 Points
Question 3 of 3

3. Question

Why does the lesson say that an ontology made entirely of primitive subclass axioms gives a reasoner nothing to do?

Because subclass axioms fall outside OWL 2 DL and are skipped during classification
Correct Incorrect Correct answer

Because a subclass axiom states only a necessary condition, whereas an equivalence axiom states necessary and sufficient conditions, and only the latter lets a reasoner classify unseen individuals and discover subsumptions
Correct Incorrect Correct answer

Because reasoners process only property characteristics such as transitivity and functionality, never class axioms
Correct Incorrect Correct answer

Because asserted subclass axioms are already materialised, and reasoners refuse to re-derive anything asserted
Correct Incorrect Correct answer

Correct / 1 Points

Incorrect / 1 Points

Quiz: RDFS and OWL 2: From Vocabularies to Description Logic

Quiz Summary

Information

Results

Results

Categories

1. Question

2. Question

3. Question