This paper is devoted to the problems of ontology-based mathematical knowledge management and representation. The main attention paid development a formal model for representation statements in Open Linked Data cloud. proposed intended applications that extract facts from natural language texts represent these as Data. used new version OntoMath${}^{\mathrm{PRO}}$ ontology professional mathemati...

An Informed Consent Ontology (ICO) was developed to support informed consent data integration and reasoning. ICO is aligned with the Basic Formal Ontology (BFO), and logically represent the terms and their relations related to informed consent processes and contents. ICO contains 471 terms including 137 ICO-specific terms and the other terms imported from existing reliable ontologies. The ontol...

(1) Person x is financially dependent on person y (i.e., x cannot be solvent unless y is solvent). (2) Clause x of this contract depends on clause y (i.e., x does not apply unless y applies). (3) Sentence x depends for its truth on sentence y (i.e., x cannot be true if y is false). (4) The pressure x of a given mass of ideal gas depends on its temperature y and on its volume z (i.e., x cannot v...

After briefly addressing the origin of the word ontology, I will ask what formal ontology might be. I will first argue that formal ontology is not the same as formalized or general ontology. In order to understand the meaning of the epithet “formal,” I will then look for a suitable way of distinguishing form from matter. Formal ontology will be shown to be formal insofar as it does not refer to...

Subject-based classi®cation is an important part of information retrieval, and has a long history in libraries, where a subject taxonomy was used to determine the location of books on the shelves. We have been studying the notion of subject itself, in order to determine a formal ontology of subjects for a large-scale digital library card catalog system. Deep analysis reveals a lot of ambiguity ...

Abstract: We discuss the development of an environment for formal knowledge engineering. The Sigma system is an advance over previously developed systems in that it integrates a number of modern ontology development tools, which has motivated a number of research issues. Primary components include an ontology browsing and editing environment, a first order logic inference system and a natural l...

In the last fifteen years Formal Ontology has become a fruitful area of research and, perhaps more importantly, has attracted interest from practitioners in a variety of applicative domains like business and knowledge management, conceptual modeling, engineering and medical science, just to name a few. Such a success should not hide a dismaying fact, namely that after all these years, after the...

This chapter examines the field of applied ontology and the characterization of the notion of artefact within this same domain. It begins with a brief discussion of the basic issues that are of special relevance to formal ontology before then going on to present the main existing systems and emphasize their differences. The situation regarding the formalization of artefacts is discussed and the...