Results 261 to 270 of about 81,395 (299)
Some of the next articles are maybe not open access.
2011
Formal-ontological frameworks such as mereology and mereotopology are increasingly applied in medical knowledge-based systems. But they are based on classical logic, and therefore, not useful in fuzzy environments. An attempt has been made in the present paper to conceive an approach to fuzzy formal ontology. The result is the core of a fuzzy mereology.
openaire +1 more source
Formal-ontological frameworks such as mereology and mereotopology are increasingly applied in medical knowledge-based systems. But they are based on classical logic, and therefore, not useful in fuzzy environments. An attempt has been made in the present paper to conceive an approach to fuzzy formal ontology. The result is the core of a fuzzy mereology.
openaire +1 more source
Biosemiotics and formal ontology
semi, 1999L'A. montre dans quelle mesure la biosemiotique peut etre consideree comme une ontologie formelle et, ainsi, cesse d'etre specifique a la biologie et devient une ontologie formelle pour le comportement des systemes complexes en general. La reconnaissance de la semiotique comme ontologie formelle permet de confirmer la necessaire omnipresence de la ...
openaire +1 more source
Data & Knowledge Engineering, 1999
Summary: Subject-based classification 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 ...
Welty, Christopher A., Jenkins, Jessica
openaire +2 more sources
Summary: Subject-based classification 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 ...
Welty, Christopher A., Jenkins, Jessica
openaire +2 more sources
Formalizing Ontological Commitments
1994Formalizing the ontological commitment of a logical language means offering a way to specify the intended meaning of its vocabulary by constraining the set of its models, giving explicit information about the intended nature of the modelling primitives and their a priori relationships. We present here a formal definition of ontological commitment which
CARRARA, MASSIMILIANO +1 more
openaire +1 more source
Formal Semantics and Ontologies
2008Formal ontology relies on representation languages for expressing ontologies. This involves the formal semantics of these languages which is typically based on a limited set of abstract mathematical notions. In this paper, we discuss the interplay between formal semantics and the intended role of ontologies as semantic foundation.
Loebe Frank, Herre Heinrich
openaire +1 more source
Formalization of terminological ontologies
2010The applicability of thesauri in the classification and information retrieval context has promoted the creation and diffusion of well-established thesauri in many different domains. These simple models are useful for most of classification and retrieval systems where search requisites are not very elaborated; however, in contexts with an information ...
Javier Lacasta +2 more
openaire +1 more source
Formal ontology meets industry
Applied Ontology: An Interdisciplinary Journal of Ontological Analysis and Conceptual Modeling, 2006Borgo S, Cristani M, Cuel R
openaire +3 more sources
1996
We owe the concept of formal ontology to Husserl, who called it the ‘formal theory’ of objects. However, the concept of formal as used by Husserl in his definition should not be understood in the conventional sense, since in his thought ‘formal’ is equivalent to ‘categorial’; it is closely connected with the structures of the intentional acts and, as ...
openaire +1 more source
We owe the concept of formal ontology to Husserl, who called it the ‘formal theory’ of objects. However, the concept of formal as used by Husserl in his definition should not be understood in the conventional sense, since in his thought ‘formal’ is equivalent to ‘categorial’; it is closely connected with the structures of the intentional acts and, as ...
openaire +1 more source
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022, Yang Liu
exaly