Quiz: Advanced Modeling with OWL (TBoxes, ABoxes, & RBoxes)

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

A TBox states that a Department has at most one manager. The ABox then asserts that :SalesDept is managed by both :Alice and :AliceSmith. What does an OWL reasoner conclude?

It reports a cardinality violation, because two distinct URIs necessarily denote two distinct individuals.
Correct Incorrect Correct answer

It rejects the second assertion and retains only the first one.
Correct Incorrect Correct answer

It infers that :Alice and :AliceSmith are the same individual, because OWL makes no Unique Name Assumption; an inconsistency arises only if they are also declared owl:differentFrom.
Correct Incorrect Correct answer

It does nothing, because cardinality restrictions apply only to datatype properties.
Correct Incorrect Correct answer

Correct / 1 Points

Incorrect / 1 Points
Question 2 of 3

2. Question

An RBox declares :hasAncestor transitive. The modeller then adds a cardinality restriction saying a person has exactly 2 ancestors, and Protege reports an error. Why?

A transitive property, or one entailed by a property chain, is non-simple, and OWL 2 DL forbids cardinality, hasSelf, functional, inverse-functional, irreflexive and asymmetric axioms on non-simple properties.
Correct Incorrect Correct answer

The axiom is legal only if :hasAncestor is also declared symmetric.
Correct Incorrect Correct answer

The axiom is perfectly legal in OWL 2 DL and merely slows classification down.
Correct Incorrect Correct answer

The restriction is barred only in OWL 2 EL; OWL 2 DL allows cardinality on any property whatsoever.
Correct Incorrect Correct answer

Correct / 1 Points

Incorrect / 1 Points
Question 3 of 3

3. Question

An ontology containing universal restrictions and other constructs outside OWL 2 EL is deployed against an EL reasoner. What is the most likely outcome?

The reasoner halts with a profile violation error before classification begins.
Correct Incorrect Correct answer

The reasoner rewrites the out-of-profile axioms into logically equivalent EL axioms automatically.
Correct Incorrect Correct answer

The reasoner declares the ontology inconsistent and returns owl:Nothing for every class.
Correct Incorrect Correct answer

The reasoner typically runs with no error but silently ignores the out-of-profile axioms, so inferences are incomplete and queries quietly miss expected results.
Correct Incorrect Correct answer

Correct / 1 Points

Incorrect / 1 Points

Quiz: Advanced Modeling with OWL (TBoxes, ABoxes, & RBoxes)

Quiz Summary

Information

Results

Results

Categories

1. Question

2. Question

3. Question