Providing OntoObject-Z with Meta-schemas to Structure Specifications of Large Ontologies: A Case Study with Local Area Networks
The objective of this paper is threefold. First, we provide OntoObject-Z with meta-schemas that serve as a means to assist in structuring large ontologies ([Figueiredo, 18], [Shimizu, 23]) that support the specification of complex problem domains such as computer networks and their communication protocols. These meta-...