Knowledge Representation Questions and Answers

Q: What does an existential restriction express?

Writing the concept of things having some child who is a doctor uses an existential restriction on the has child role, while the universal restriction says every child is a doctor, which is a different and weaker claim satisfied vacuously by the childless. Concept non-emptiness is a separate assertion. Distinguishing some from every, and noticing that the universal form is satisfied when the role is empty, is the commonest source of modelling error in these languages.

Q: Why is a universal restriction satisfied by an individual with no such role?

A claim that every child is a doctor holds trivially of someone with no children, exactly as a universally quantified statement over an empty set is true. Modellers intending to require a child must add an existential restriction as well. Assumed roles, closed world reading and default exclusion are misreadings. A logical convention that is correct and counter-intuitive will be a persistent source of error unless it is stated explicitly during training.

Q: What is a cardinality restriction?

Saying that a person has at most two biological parents, or a committee at least three members, uses a cardinality restriction on the relevant role. Such restrictions can render an ontology inconsistent when combined with assertions, which is precisely what makes them useful for detecting errors. Concept counts, domain size and inference limits are different notions. Constraints that can be violated are the ones that catch mistakes, which is why they are worth stating even when they seem obvious.

Q: How does a reasoner detect an inconsistent ontology?

Inconsistency shows as a concept being subsumed by the empty concept, meaning nothing could possibly satisfy its definition, which usually indicates a modelling error rather than a discovery about the world. Direct contradictions are the simplest case of the same thing. Axiom counts and timeouts are unrelated. A check that turns a modelling mistake into a mechanically detectable condition is what makes large ontologies maintainable at all.

Q: What is the practical value of automated consistency checking?

In an ontology of thousands of concepts a contradiction introduced by one axiom would never be found by reading, and a reasoner locates it in seconds. It says nothing about whether the ontology matches reality, which remains a matter of human judgement. Query correctness and review are not addressed. A mechanical check that catches a class of error completely, while saying nothing about correctness in the wider sense, is exactly as valuable as it is limited.

Q: What is a category in an ontological representation?

Categories are reified so that properties can be attributed to them, letting one say that the category of dogs is a subcategory of mammals or that it has many members. Membership and subclass relations then organise the whole knowledge base. Partitions, syntactic groupings and labels are different notions. Making a class into an object, so that facts about the class as such can be stated, is reification applied at the level of the taxonomy itself.

Q: What is the difference between membership and subclass?

Fido is a member of the category of dogs, and dogs are a subclass of mammals, and confusing the two produces the classic error of treating a class as an individual. Subclass is transitive and membership is not: Fido is not a member of mammals by transitivity but by the combination of the two relations. Assertion, physicality and transitivity are misstated in the other options. Two relations that look similar and behave differently deserve careful separation in any formalism.

Q: Why is a partition of a category useful to state?

Declaring that animals are exactly the union of vertebrates and invertebrates, and that nothing is both, licenses inferences that neither subclass statement alone permits, such as concluding invertebrate from not vertebrate. Storage, file organisation and category counts are unrelated. Stating disjointness and exhaustiveness explicitly, rather than leaving them implicit in the modeller's intention, is what converts a taxonomy from documentation into something a reasoner can use.

Q: What follows from omitting disjointness axioms in an ontology?

Without a statement that cats and dogs are disjoint, nothing prevents an individual from being both, and no negative conclusion about class membership can be drawn. Modellers consistently underestimate how many such axioms are needed. Inconsistency, classification failure and indistinguishability do not follow. That the absence of an axiom weakens conclusions silently, rather than producing an error, is what makes omissions of this kind so hard to notice.

41.

What does an existential restriction express?

A.That an individual is related by a role to some instance of a concept
B.That every individual related by the role is of some given concept
C.That an individual exists satisfying a given concept
D.That a concept has at least one instance in the domain

Answer: A

Writing the concept of things having some child who is a doctor uses an existential restriction on the has child role, while the universal restriction says every child is a doctor, which is a different and weaker claim satisfied vacuously by the childless. Concept non-emptiness is a separate assertion. Distinguishing some from every, and noticing that the universal form is satisfied when the role is empty, is the commonest source of modelling error in these languages.

Discuss in Forum

42.

Why is a universal restriction satisfied by an individual with no such role?

A.The individual is excluded from the concept by default
B.The statement is vacuously true when there is nothing to check
C.The reasoner assumes the role exists unless told otherwise
D.Universal restrictions are interpreted under the closed world assumption

Answer: B

A claim that every child is a doctor holds trivially of someone with no children, exactly as a universally quantified statement over an empty set is true. Modellers intending to require a child must add an existential restriction as well. Assumed roles, closed world reading and default exclusion are misreadings. A logical convention that is correct and counter-intuitive will be a persistent source of error unless it is stated explicitly during training.

Discuss in Forum

43.

What is a cardinality restriction?

A.A restriction on the size of the domain of interpretation
B.A bound on the number of inferences drawn from a fact
C.A constraint on how many individuals a role may relate to
D.A limit on the number of concepts in the ontology

Answer: C

Saying that a person has at most two biological parents, or a committee at least three members, uses a cardinality restriction on the relevant role. Such restrictions can render an ontology inconsistent when combined with assertions, which is precisely what makes them useful for detecting errors. Concept counts, domain size and inference limits are different notions. Constraints that can be violated are the ones that catch mistakes, which is why they are worth stating even when they seem obvious.

Discuss in Forum

44.

How does a reasoner detect an inconsistent ontology?

A.It finds two assertions that contradict one another directly
B.It counts the number of axioms and finds it excessive
C.It fails to compute the subsumption hierarchy in time
D.It derives that some concept can have no instances at all

Answer: D

Inconsistency shows as a concept being subsumed by the empty concept, meaning nothing could possibly satisfy its definition, which usually indicates a modelling error rather than a discovery about the world. Direct contradictions are the simplest case of the same thing. Axiom counts and timeouts are unrelated. A check that turns a modelling mistake into a mechanically detectable condition is what makes large ontologies maintainable at all.

Discuss in Forum

45.

What is the practical value of automated consistency checking?

A.Modelling errors are found mechanically rather than by inspection
B.It proves that the ontology correctly describes the whole real world
C.It guarantees the ontology will answer every query correctly
D.It removes the need for human review of the ontology

Answer: A

In an ontology of thousands of concepts a contradiction introduced by one axiom would never be found by reading, and a reasoner locates it in seconds. It says nothing about whether the ontology matches reality, which remains a matter of human judgement. Query correctness and review are not addressed. A mechanical check that catches a class of error completely, while saying nothing about correctness in the wider sense, is exactly as valuable as it is limited.

Discuss in Forum

46.

What is a category in an ontological representation?

A.A label attached to an individual for retrieval purposes
B.A class of objects sharing properties, itself an object
C.A partition of the knowledge base into separate files
D.A syntactic grouping of the terms used in a language

Answer: B

Categories are reified so that properties can be attributed to them, letting one say that the category of dogs is a subcategory of mammals or that it has many members. Membership and subclass relations then organise the whole knowledge base. Partitions, syntactic groupings and labels are different notions. Making a class into an object, so that facts about the class as such can be stated, is reification applied at the level of the taxonomy itself.

Discuss in Forum

47.

What is the difference between membership and subclass?

A.Membership applies to physical objects and subclass to the abstract ones
B.Membership is transitive whereas subclass is not
C.Membership relates an individual to a category, subclass two categories
D.Membership is asserted while subclass is always inferred

Answer: C

Fido is a member of the category of dogs, and dogs are a subclass of mammals, and confusing the two produces the classic error of treating a class as an individual. Subclass is transitive and membership is not: Fido is not a member of mammals by transitivity but by the combination of the two relations. Assertion, physicality and transitivity are misstated in the other options. Two relations that look similar and behave differently deserve careful separation in any formalism.

Discuss in Forum

48.

Why is a partition of a category useful to state?

A.It divides the knowledge base into manageable sections
B.It reduces the number of categories that must be defined
C.It allows the category to be stored more efficiently
D.It asserts that the subclasses are disjoint and exhaustive

Answer: D

Declaring that animals are exactly the union of vertebrates and invertebrates, and that nothing is both, licenses inferences that neither subclass statement alone permits, such as concluding invertebrate from not vertebrate. Storage, file organisation and category counts are unrelated. Stating disjointness and exhaustiveness explicitly, rather than leaving them implicit in the modeller's intention, is what converts a taxonomy from documentation into something a reasoner can use.

Discuss in Forum

49.

What follows from omitting disjointness axioms in an ontology?

A.A reasoner cannot conclude that an individual is not in a class
B.The ontology becomes inconsistent and cannot be used
C.The subsumption hierarchy cannot be computed at all
D.The individuals in the ontology all become indistinguishable

Answer: A

Without a statement that cats and dogs are disjoint, nothing prevents an individual from being both, and no negative conclusion about class membership can be drawn. Modellers consistently underestimate how many such axioms are needed. Inconsistency, classification failure and indistinguishability do not follow. That the absence of an axiom weakens conclusions silently, rather than producing an error, is what makes omissions of this kind so hard to notice.

Discuss in Forum

50.

What is a defined concept in a description logic?

A.One that appears in the definition of another concept
B.One with necessary and sufficient conditions for membership
C.One that has been given a name in the ontology
D.One whose instances have all been enumerated quite explicitly

Answer: B

A defined concept states conditions that anything satisfying them must fall under, so individuals are classified automatically, whereas a primitive concept states only necessary conditions and membership must be asserted. The distinction determines whether the reasoner can infer membership or merely check it. Naming, enumeration and usage are different matters. Choosing between a definition and a primitive is the modelling decision that determines how much work the reasoner can do.

Discuss in Forum

Loading…

Topics

Other Subjects

Tags: Knowledge Representation Questions and Answers || Knowledge Representation MCQ Questions and Answers || Knowledge Representation GK Questions and Answers || Knowledge Representation GK MCQ Questions || Knowledge Representation Multiple Choice Questions and Answers || Knowledge Representation GK || GK on Knowledge Representation || Artificial Intelligence Questions and Answers || Artificial Intelligence MCQ Questions and Answers || Artificial Intelligence GK Questions and Answers || GK on Artificial Intelligence

Knowledge Representation Questions and Answers

Topics

Other Subjects

About Us

Stay informed about all important Dates & Notifications