Quiz: Reasoning and Inferencing Mechanics

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 class is defined so that it cannot possibly have instances, for example a VegetarianPizza that is required to contain meat, but no individual is asserted to belong to it. What does a DL reasoner do?

It declares the entire knowledge base inconsistent, so no further queries can be answered.
Correct Incorrect Correct answer

It deletes the contradictory class from the class hierarchy.
Correct Incorrect Correct answer

It leaves the class where the modeller put it and reports nothing, because classification only recomputes asserted subsumptions.
Correct Incorrect Correct answer

During classification it marks the class unsatisfiable and places it under owl:Nothing, while the ontology as a whole can remain consistent as long as no individual is asserted into that class.
Correct Incorrect Correct answer

Correct / 1 Points

Incorrect / 1 Points
Question 2 of 3

2. Question

Which statement about HermiT and Pellet is accurate?

HermiT uses a traditional tableau calculus while Pellet uses hypertableau, which is why Pellet classifies complex TBoxes faster.
Correct Incorrect Correct answer

HermiT uses a hypertableau calculus that cuts the nondeterministic branching of traditional tableau classification, while Pellet uses a traditional tableau algorithm and is preferred for incremental reasoning, SWRL rules and SPARQL-DL query answering.
Correct Incorrect Correct answer

Both reasoners strictly reject any input that violates OWL 2 DL structural constraints, so neither can produce silently incomplete inferences.
Correct Incorrect Correct answer

Pellet implements only the OWL 2 EL profile, which is why it scales to ontologies the size of SNOMED CT.
Correct Incorrect Correct answer

Correct / 1 Points

Incorrect / 1 Points
Question 3 of 3

3. Question

Which statement about SWRL rules is correct?

SWRL supports negation as failure, so a rule can classify a person as Carless whenever no hasCar assertion is present.
Correct Incorrect Correct answer

SWRL rules can assert new TBox axioms, for example entailing that one class is a subclass of another.
Correct Incorrect Correct answer

Under the DL-safe restriction, rule variables bind only to explicitly named individuals in the ABox, so anonymous individuals whose existence is merely implied by an existential restriction are ignored.
Correct Incorrect Correct answer

SWRL is non-monotonic, so adding new facts to the graph can retract inferences that were previously drawn.
Correct Incorrect Correct answer

Correct / 1 Points

Incorrect / 1 Points

Quiz: Reasoning and Inferencing Mechanics

Quiz Summary

Information

Results

Results

Categories

1. Question

2. Question

3. Question