Subject
Computer Science
Topic
Artificial Intelligence
An ontology declares Cat and Dog disjoint, but an individual is asserted to be both. What does a reasoner detect?
An ontology declares Cat and Dog disjoint, but an individual is asserted to be both. What does a reasoner detect?
a)
A new chromosomeb)
A search frontierc)
An inconsistencyd)
A default valueExplanation
Disjoint classes cannot share an instance, so the combined assertions make the knowledge base inconsistent.Related questions
In the figure, Bird is linked to Animal by is-a and Robin to Bird by instance-of. What can Robin inherit?A frame for Student has a default status of active, but Rina has status suspended. Which value should be used?A hospital needs explicitly defined concepts such as Patient, Doctor, and treats. Which representation is best?A rule system must store “if fever and rash then suspect measles.” Which form is most direct?Under an open-world assumption, the database does not state that Mina owns a car. What follows?A knowledge graph must describe that a meeting occurred at a time and had attendees. What technique can make the event an entity?A frame slot computes age from date of birth whenever requested. What is this attached procedure often called?Birds normally fly, but Penguin is a Bird that does not fly. What representation feature handles this cleanly?