A minimal and specialized ontology, i.e., a list of questions, answers to which describe what exists in the world. This includes only what is required for some narrow range of actions; e.g., a library card catalogue schema asks librarians only to provide enough information about the book to help library users decide if they want to browse through it, and if so, how to find it. By contrast, an ontology enables a much broader range of actions, e.g., all of those normally associated with a working trade or profession.
Part of a formal specification written in the Z formal specification language.
Content on this web site is provided
for informational purposes only. We accept no responsibility for any loss, injury
or inconvenience sustained by any person resulting from information published
on this site. We encourage you to verify any critical information with the relevant