Results 251 to 260 of about 81,395 (299)
Some of the next articles are maybe not open access.

Ontology or formal ontology

AIP Conference Proceedings, 2017
Ontology or formal ontology? Which word is correct? The aim of this article is to introduce correct terms and explain their basis. Ontology describes a particular area of interest (domain) in a formal way - defines the classes of objects that are in that area, and relationships that may exist between them.
openaire   +1 more source

Ontology formalisms

Proceedings of the 9th Workshop on Performance Metrics for Intelligent Systems, 2009
Ontologies can take many forms. There are ontologies that are extremely formal (e.g., using first order logic), and there are ontologies that are less formally defined (e.g., ontologies in the relational databases or dictionaries). Nonetheless, all of these can be considered ontologies and are appropriate in different situations.In this paper, I will ...
openaire   +1 more source

Ontological semantics, formal ontology, and ambiguity

Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001, 2001
Ontological semantics is a theory of meaning in natural language and an approach to natural language processing (NLP) which uses an ontology as the central resource for extracting and representing meaning of natural language texts, reasoning about knowledge derived from texts as well as generating natural language texts based on representations of ...
Sergei Nirenburg, Victor Raskin
openaire   +1 more source

Formal Ontologies, Exemplars, Prototypes

2011
The problem of concept representation is relevant for knowledge engineering and for ontology-based technologies. However, the notion of concept itself turns out to be highly disputed and problematic in cognitive science. In our opinion, one of the causes of this state of affairs is that the notion of concept is in some sense heterogeneous, and ...
FRIXIONE, Marcello, LIETO, ANTONIO
openaire   +2 more sources

Formalisms for ontology validation

2007 International Conference on Industrial and Information Systems, 2007
Ontology and its inferencing capabilities are critical for the modern semantic Web. Ontology validation is necessary due to the uncertainty of the description logic based inferences. Ontology validation should be independent of DL reasoners. To overcome this uncertainty of concepts and instances inference results, in this paper we describes some of the
O. W. H. Kumanayaka, D. N. Ranasinghe
openaire   +1 more source

Framework for formal ontology

Topoi, 1983
The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts.
Barry Smith, Kevin Mulligan
openaire   +1 more source

Husserl's conception of formal ontology

History and Philosophy of Logic, 1993
The concept of formal ontology was first developed by Husserl. It concerns problems relating to the notions of object, substance, property, part, whole, predication, nominalization, etc. The idea of formal ontology is present in many of Husserl’s works, with minor changes. This paper provides a reconstruction of such an idea.
openaire   +2 more sources

A Communication Standards Ontology Using Basic Formal Ontologies

2010
Working interoperability not only requires harmonized system's architectures, but also the same interpretation of technical specifications in order to guide the development process. This paper analyses the commonly used structures of communication standards elaborated with HL7 Version 3 and proposes an ontological structure resulting in the so-called ...
Frank, Oemig, Bernd, Blobel
openaire   +2 more sources

Formal contexts in ontologies

2011 6th International Conference on Computer Science & Education (ICCSE), 2011
In this paper, an ontology is regarded as an information system in formal concept analysis. Then, based on theories of concepts, a formal context in ontologies defined by a set of properties is conceptualized as a concept with the extent and the intent.
Sun Yu, Xia Youming, Zhiping Li
openaire   +1 more source

Descriptive, Formal and Formalized Ontologies

2003
I shall distinguish descriptive, formal and formalized ontology. Each of these ontologies comes in two guises: domain-dependent and domain-independent. Domain-dependent ontologies concern categorically closed regions of being; on the other hand, a domain-independent ontology may be properly called general ontology.
openaire   +2 more sources

Home - About - Disclaimer - Privacy