Ontology-Based Multiple Choice Question Generation

Table 1

Sample facts and axioms from the bibtex ontology.

	Terminology	Assertions
Facts	A book is an entry; A novel is a book; has_author is a kind of human-creator; has_editor is a kind of human-creator	A Tale of Two Cities is a novel; A Tale of Two Cities has the author “Charles Dickens”; A Tale of Two Cities has the year “1859”
Axioms	A book has a minimum of one human-creator; A book has a minimum of one title; A book has a minimum of one publisher; A book has a minimum of one year