LBFO: toward an artificial language for ontology development

Abstract

AbstractThe syntax of LBFO represents the initial step toward the creation of a rigorously characterized, recursively defined, artificial language for the sole purpose of ontology development. The underlying idea is that maximally fruitful application of ontology requires accurate representation of reality in accordance with current textbook science. Hence, creating a robust, accurate representation of reality is a fundamental concern. An ontology represents general types of entities and relations between them. A domain ontology represents the general types and relations for a given domain of research. A top-level ontology represents the general types of entities in any domain of research. Ontologies serve many purposes in computerized collection, management, and storage of data. These applications include enhancement of storage and retrieval in a data system, integration of diverse systems, integration of semantic content on the web, and annotation of publications in a library setting.Successful application of ontologies has led to the creation of languages with the special purpose of implementing ontologies. A formalized ontology is an ontology expressed in accordance with the grammatical formation rules of an artificial language. Some existing ontology languages have been developed in order to serve specific functions that require expressibility limitations and expression of information in a manner that contributes to human misunderstanding and error. The most potentially detrimental effect is risked when an ontology is constructed in a language designed exclusively for computerized implementation. The result is a skewed representation of salient features of reality. An ontology development language has two purposes: one is to represent reality as accurately and completely as possible, the other is to achieve this in a manner that facilitates computerized implementation: these goals conflict. Validation requires expert human consensus, hence, an ontology should be developed in a language that is understandable to domain experts. However, such a language must be computer tractable, i.e., there must be a correspondence between the information expressed with a sentence and its grammatical structure such that information can be processed on the basis of syntax alone. LBFO will facilitate providing definitions and characterizations of features of reality in a way conformant with Basic Formal Ontology (BFO) thus ensuring maximal rigor and clarity. Since LBFO is a multi-sorted language, LBFO has resources to represent the ontological categories found in BFO and the universals defined in their terms in an economical and at the same time user-friendly way. BFO is a realist ontology in that it recognizes universals as an part of the world. BFO also recognizes the existence of both processes and continuants. A continuant is an individual that exists in full at each point in time in which it exists, a process is an individual that exists in stages and happens through time. Unlike a continuant, a process cannot be identified with any single stage at which it exists at a specific point in time. Capitalized variables range over universals, while lower-case variables range over individuals. Universal constants are upper-case. Individual constants are lower-case. The syntax of LBFO also distinguishes in a straightforward manner between variables for continuants, processes, and times. The syntax of LBFO contains precisely expressed grammatical-formation rules, so that its variables cannot be combined in a manner that results in category errors. The predicates of LBFO are such that the ontological category from which terms representing entities can be taken as arguments is specified in advance. Sentences which express category errors are not grammatically correct in LBFO.Since the demand for implementation often outstrips the demand for accurate representation, stand-alone ontologies are often left by the wayside. LBFO can serve as a bridge between domain experts, knowledge engineers, and implementation languages. The semantic apparatus of an FOL system serves as the basis for the models developed for implementation languages such as OWL and RDF. FOL is also a segregated dialect of Common Logic so there is a link to that international standard; hence, there is potential to develop middle-ware that maps LBFO to the variety of implementation languages that exist both now and in the future. Though there is much work to be done in perfecting LBFO, this first step in the process provides hope for achieving the goal of facilitating maximally accurate, rigorous representations of general features of reality.